Title :
A framework for adding time into formal object models
Author :
Dong, Jin Song ; Zucconi, Lin
Author_Institution :
Div. of Inf. Technol., CSIRO, Canberra, ACT, Australia
Abstract :
Real-time safety-critical systems have both functional and timing requirements. Producing the correct result at the right time is the goal of such systems. The creation of a precise specification of a real-time system is essential for the development of the system. This paper presents a framework that extends the formal specification language Object-Z to incorporate the notion of timing behaviour for specifying real-time systems
Keywords :
formal specification; object-oriented languages; object-oriented methods; real-time systems; safety-critical software; specification languages; Object-Z; formal object models; formal specification language; functional requirements; real-time safety-critical systems; real-time system specification; timing requirements; Australia; Buildings; Concurrent computing; Helium; Information technology; Object oriented modeling; Real time systems; Safety; Software systems; Timing;
Conference_Titel :
Object-Oriented Real-Time Dependable Systems, 1997. Proceedings., Third International Workshop on
Conference_Location :
Newport Beach, CA
Print_ISBN :
0-8186-8046-6
DOI :
10.1109/WORDS.1997.609922
