Title :
Specifying parallel and distributed real-time systems in Z
Author :
Baumann, Peter ; Lermer, Karl
Author_Institution :
Inst. fur Inf., Zurich Univ., Switzerland
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;
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
DOI :
10.1109/WPDRTS.1996.557684
