Specifying parallel and distributed real-time systems in Z

  title={Specifying parallel and distributed real-time systems in Z},
  author={P. Baumann and K. Lermer},
  journal={Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems},
  • P. Baumann, K. Lermer
  • Published 1996
  • Computer Science
  • Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems
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. 
8 Citations
A framework for adding time into formal object models
  • J. Dong, L. Zucconi
  • Computer Science
  • Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems
  • 1997
  • 3
A Formal Object Approach to Real-Time Speci cationJin
  • Highly Influenced
Reenement of Z Machines
Improvements in the Requirements Specification Using Z Language and Its Successor
  • PDF
Select Z Bibliography
  • 1


An old-fashioned recipe for real time
  • 427
  • PDF
The generalized railroad crossing: a case study in formal verification of real-time systems
  • 167
  • PDF
Temporal Logic and Z Specifications
  • 52
Real-Time Refinement
  • 23
Conjoining specifications
  • 526
  • PDF
The temporal logic of actions
  • 2,109
  • PDF
Using Z to support the design of interactive safety-critical systems
  • 28
The bakery algorithm: yet another specification and verification
  • 62
  • PDF