Systematic software development using VDM
Systematic software development using VDM
Communication and concurrency
On satisfying timing constraints in hard-real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Experience with Formal Methods in Critical Systems
IEEE Software
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
The practice of formal methods in safety-critical systems
Journal of Systems and Software
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength 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
Living with Free Type and Class Union
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
A framework for adding time into formal object models
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
The role of secondary attributes in formal object modelling
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Modeling Aircraft Mission Computer Task Rates
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Hi-index | 0.01 |
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right time is the fundamental goal of such systems. Formally specifying the system functions and the timing requirements is the crucial step towards achieving such a goal. Furthermore, aviation systems often need to be modified or upgraded on a regular basis, i.e. functionality and timing constraints may be altered. Therefore, the formal specification of such systems needs to be easily maintained and modified. In this paper, we are interested in applying formal object modelling techniques to specify scheduling requirements of the multi-parallel processes of an aircraft operational flight program (OFP). Our aim is not only to formalise the scheduling requirements for a particular aircraft, but more importantly to demonstrate an incremental and extendible modelling approach such that our model can be readily reused to specify other aircraft OFP scheduling requirements.