An Overview of the Integrated Formalism RT-Z |
| |
Authors: | Carsten Sühl |
| |
Affiliation: | (1) Fraunhofer Institute for Computer Architecture and Software Technology (FIRST), Berlin, Germany, DE |
| |
Abstract: | We present an integration of the formal specification languages Z and timed CSP, called RT-Z, incorporating their combined
strengths in a coherent frame. To cope with complex systems, RT-Z is equipped with structuring constructs built on top of
the integration, because both Z and timed CSP lack appropriate facilities. The formal semantics of RT-Z, based on the denotational
semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour. RT-Z is intended to be used in the
requirements definition and design phases of the system and software development process. The envisaged application area is
the development of real-time embedded systems.
Received September 2000 / Accepted in revised form June 2001 |
| |
Keywords: | : Embedded systems Formal methods Real-time Timed CSP Z |
本文献已被 SpringerLink 等数据库收录! |
|