Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
A framework for building dependable systems
The Computer Journal - Special issue on methodologies (systems and software)
The Z notation: a reference manual
The Z notation: a reference manual
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Formal Specification of Real-time Systems
Formal Specification of Real-time Systems
Hi-index | 0.00 |
The work of the British Aerospace Dependable Computing Systems Centre includes the development of formal techniques for use in defining and tracing requirements for software systems at the system architecture level. A basic repertoire of techniques proposed so far includes the graphical representation of timing requirements allied to model-oriented specifications of functionality. This paper gives an overview of these techniques and reports on a small study in their application conducted by British Aerospace Defence. The study uses a realistic example of an avionics system: the pilot data entry system for a waypoint database. The example is described with some technical detail. Formally analysing a timing requirement for the rate of data entry yields local timing requirements for the cockpit equipments. Conclusions assess the value of these techniques, as perceived by BAe systems developers and propose further work in providing tool support.