The Z notation: a reference manual
The Z notation: a reference manual
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Object Orientation in Z
Adding Real Time to Formal Program Development
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Integrating Real-Time Scheduling Theory and Program Refinement
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Specifying Parallel and Distributed Real-Time Systems in Z
WPDRTS '96 Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems
The role of secondary attributes in formal object modelling
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Hi-index | 0.00 |
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.