Real-time and safety critical systems specification: A Z-based specification environment

Conference · Tue Dec 31 00:00:00 EST 1996

OSTI ID:459057

Bruel, J M; Benzekri, A ^[1]; France, R B ^[2]

---

1. Universite Paul Sabatier, Toulouse (France)
2. Florida Atlantic Univ., Boca Raton, FL (United States)

A real-time system is a system which must produce its outputs within specified time intervals. Generally, the failure of such systems has catastrophic consequences. The critical nature of such systems suggests the use of formal specification techniques (FSTs) in their development. In developing industrial-strength FSTs it is imperative that they enhance and/or strengthen good industrial habits and practice. FSTs that utilize notations and concepts that are not familiar to system developers would invariably lead to mistakes. In this paper the authors present an environment for developing formal system models in a manner consistent with good industrial practices.

• OSTI ID: 459057
• Report Number(s): CONF-961225-; CNN: Grant CCR-9410396; TRN: 97:001158-0004
• Resource Relation: Conference: 9. International Society for Computers and Their Applications (ISCA) conference on computer applications in industry and engineering, Orlando, FL (United States), 11-13 Dec 1996; Other Information: PBD: 1996; Related Information: Is Part Of Computer applications in industry and engineering; Lee, G.K. [ed.]; PB: 192 p.
• Country of Publication: United States
• Language: English

Related Subjects

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATION
REAL TIME SYSTEMS
SAFETY
SPECIFICATIONS
STANDARDIZATION