The design of real-time systems: from specification to implementation and verification
- 1 January 1991
- journal article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 6 (3) , 72-82
- https://doi.org/10.1049/sej.1991.0011
Abstract
This paper presents an engineering approach to the design of distributed real-time systems, which guarantee hard deadlines and can tolerate a specified set of faults. The methodology covers the stepwise refinement of the given requirements, expressed in the form of real-time transactions, to task and protocol executions. It also includes a timing analysis and dependability evaluation of the still incomplete design. The testability of the evolving system is considered to be of essential concern. A set of coherent tools for the support of the methodology is described in some detail. The methodology assumes that the runtime architecture is based on static scheduling, and a globally synchronised time-base is available to co-ordinate the system actions in the domain of real time.Keywords
This publication has 5 references indexed in Scilit:
- A computer-aided design environment for distributed realtime systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Tolerating transient faults in MARSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Modeling of PMS—Structures in SharpeIFAC Proceedings Volumes, 1989
- The CCITT-specification and description language SDLComputer Networks and ISDN Systems, 1989
- Dependability Prediction: Comparison of Tools and TechniquesIFAC Proceedings Volumes, 1986