Online Version - Last Updated - 20 Jan 2012 |
 |
| Home |
| |
| Procedures and Resources for Authors |
|
| Information and Resources for Volume Editors |
| |
| Orders and Subscriptions |
| |
| Published Articles |
|
| Upcoming Volumes |
| |
| Contact Us |
| |
| Useful External Links |
| |
| CRPIT Site Search |
Formal Modelling and Analysis of Mission-Critical Software in Military Avionics Systems
Qureshi, Z.H.
A typical avionics mission system of a military aircraft is
a complex real-time system consisting of a mission
control computer, different kinds of sensors, navigation
and communication subsystems, and various displays and
stores; all interconnected by a number of serial data buses.
The mission capability is increasingly implemented in the
mission-critical software and the robustness of this
software is vital for mission success. The complexity and
real-time requirements of mission systems represent
major challenges to the Australian Defence Force during
new acquisitions, upgrades and maintenance. This paper
describes the experiences on a joint research project
between the University of South Australia and Australia's
Defence Science and Technology Organisation into the
modelling and analysis of avionics mission systems. The
paper provides a summary of the key aspects of our
previous research work on the modelling of a generic
mission system using Coloured Petri Nets and the analysis
of task scheduling on the mission computer. Finally, the
paper briefly discusses the extension of the generic model
to obtain a formal model of the mission system of the AP3C Orion maritime surveillance aircraft.
Cite as: Qureshi, Z.H. (2006). Formal Modelling and Analysis of Mission-Critical Software in Military Avionics Systems. In Proc. Eleventh Australian Workshop on Safety-Related Programmable Systems (SCS 2006), Melbourne, Australia. CRPIT, 69. Cant, T., Ed. ACS. 67-77.
(from crpit.com)
(local if available)
