Formal Language Rt-z Integration And Its Application In Real-time Systems

The formal languages have become an important method of the analysis, design of real-time system and of writing system software sepecification. We can get a complete, consistent, unambiguous and precise specification with formal method. In addition to these, the presupposition of software automation is the formalism. Therefore,formal method has become a research field deeply.Advances in hardware technology have led to the introduction of software into new application domains and , within particular domains, to its use to solve increasingly complex problems; this hods particularly for embedded systems. Many reai-time embedded systems in the area of process control are of a safety-critical nature, ie they have the potential to threat the safety of property or even of human life. Because of the high degree of reliability required of such systems, formal methods have widespread use. As embedded systems usually exhibit complex interrelations with their external environment in addition to complex internal structures, a chosen specification language must mainly cope with several aspects: the static structure,the dynamic behaviour and data-related characteristics.The Z language is a formal language for specifying data-related characteristics of transformational systems.however, it is not designed to model behaviour. Timed CSP is a powerful language for specifying behaviour, but it lacks adequate constructs to model data. These two formalisms can hence be considered as complementary in specifying serval main aspects of real-time embedded system . So the thesis presents integrating Z and timed CSP. The integrated formalism, called RT-Z, is a formal specification language. In accordance with the classification about component-oriented approaches and viewpoint-oriented approaches,where there are viewpoint-oriented combinations, Conserving Integrations and Monolithic Integrations among viewpoint-oriented approaches, RT-Z is a conserving Integration and it can clearly , precisely express requirement, constraints and design. Its abstract and concrete specification units invovle requirement analysis and design in different abstract level, covering each phrase during...