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
Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Verification of Clocked and Hybrid Systems
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems
A Set-Theoretic Model for Real-Time Specification and Reasoning
MPC '98 Proceedings of the Mathematics of Program Construction
Defining Differentiation and Integration in Z
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Software-Intensive Systems and New Computing Paradigms
The timer cascade: functional modelling and real time calculi
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |
This paper presents a formal notation for specifying requirements of embedded systems which exhibit continuous, real-time behaviour and move through various modes under digital control. It does this by extending an existing formal notation supporting continuous, real-time behaviour with an explicit concept of modes. The resulting notation avoids the subtleties which would otherwise arise when specifying mode-related requirements. It is therefore ideal as a means of specifying and communicating requirements of embedded systems.