Formal methods for the specification and design of real-time safety critical systems

Jonathan S. Ostroff
1992 Journal of Systems and Software  
Safety critical computers increasingly a ect nearly every aspect of our lives. Computers control the planes we y on, monitor our health in hospitals and do our work in hazardous environments. Computers with software de ciencies that fail to meet stringent timing constraints have resulted in catastrophic failures. This paper surveys formal methods for specifying, designing and verifying real-time systems, so as to improve their safety and reliability.
doi:10.1016/0164-1212(92)90045-l fatcat:zgh4zhmpjbbarecagzor3cxkh4