Abstract
Formal aid in specification and verification techniques have become an accepted approach to achieving reliable software for life-critical real-time systems, in which testing may be impossible or too dangerous, since the real inputs to the systems come from the real world. Modelling, assertion languages, and proof systems are three major components that are employed to accomplish the confidence of safe real-time environments. This paper examines these currently available techniques that are used for safety analysis of real-time systems.
Recommended Citation
Tsai, Su-Mei and McMillin, Bruce M., "Formal Methods of Real-Time Systems" (1991). Computer Science Technical Reports. 105.
https://scholarsmine.mst.edu/comsci_techreports/105
Department(s)
Computer Science
Report Number
CSc-91-17
Document Type
Technical Report
Document Version
Final Version
File Type
text
Language(s)
English
Rights
© 1991 University of Missouri - Rolla, All rights reserved
Publication Date
6 August 1991
Comments
This work was supported in part by the National Science Foundation under Grant Numbers MIP-8909749 and CDA-8820714, and in part by the AMOCO Faculty Development Program.