DocumentCode
2164566
Title
Specifying parallel and distributed real-time systems in Z
Author
Baumann, Peter ; Lermer, Karl
Author_Institution
Inst. fur Inf., Zurich Univ., Switzerland
fYear
1996
fDate
15-16 Apr 1996
Firstpage
216
Lastpage
222
Abstract
A framework for the specification of parallel and distributed real time systems is presented by using the formal specification language Z. To this end, a general approach to safety and fairness conditions and timer concepts are developed in Z. As a case study the framework is applied to the well known generalized railroad crossing problem, where a complete specification and a proof of the required safety and liveness properties are included
Keywords
distributed algorithms; formal specification; parallel programming; real-time systems; specification languages; complete specification; distributed real time systems specification; fairness conditions; formal specification language Z; generalized railroad crossing problem; liveness properties; parallel real time systems; required safety; timer concepts; Formal specifications; Hardware; Rail transportation; Railway safety; Real time systems; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Real-Time Systems, 1996. Proceedings of the 4th International Workshop on
Conference_Location
Honolulu, HI
Print_ISBN
0-8186-7515-2
Type
conf
DOI
10.1109/WPDRTS.1996.557684
Filename
557684
Link To Document