Towards Formal Specification and Analysis of Avionics Mission Systems

Petrucci, L., Kristensen, L.M., Billington, J. and Qureshi, Z.H.

The avionics mission system of an aircraft is a complex real-time system consisting of a mission control computer, sensors, displays, controls, and connecting data buses. The complexity and real-time requirements of avionics mission systems represent major challenges to the Australian Defence Force when upgrading and maintaining aircraft. This has motivated research into the application of formal techniques to investigate and predict the effects of upgrades to aircraft. This paper is based on a joint research project between the University of South Australia and the Australian Defence Science and Technology Organisation into the modelling and analysis of avionics mission systems. Coloured Petri Nets have been applied for modelling a representative generic avionics mission system, and state spaces have been used for analysis. The initial state space analysis has focused on the scheduling of tasks on the mission control computer and on input/output processing.

Cite as: Petrucci, L., Kristensen, L.M., Billington, J. and Qureshi, Z.H. (2002). Towards Formal Specification and Analysis of Avionics Mission Systems. In Proc. Workshop on Formal Methods Applied to Defence Systems 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L. M. and Billington, J., Eds. ACS. 95-104.

(from crpit.com) (local if available)