DocumentCode
2593057
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
fYear
1997
fDate
5-7 Feb 1997
Firstpage
26
Lastpage
31
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/WORDS.1997.609922
Filename
609922
Link To Document