Skip to main content
Article thumbnail
Location of Repository

Formal Specification And Analysis Of Airborne Mission Systems

By Lars M. Kristensen, Jonathan Billington, Laure Petrucci, School Of Electrical and Information Engineering


The Airborne Mission System in military aircraft is a complex real time system consisting of a mission control computer, sensors, displays, controls, and data buses that provide interfaces between sub-systems. The complexity and real time requirements of Airborne Mission Systems represent major challenges to the Australian Defence Force during acquisition, upgrades, and maintenance. This has motivated research into the application of formal techniques to model the mission system architecture, and to investigate and predict the effects of avionics upgrades on the behaviour and performance of the integrated mission system. We are currently using Coloured Petri Nets to model and analyse Airborne Mission Systems. This paper presents two aspects of our ongoing research using Coloured Petri Nets. Firstly we present some analysis for a generic Airborne Mission system based on previously published model. Then we describe an initial application of our modelling framework to the AP-3C Orion Maritime Patrol Aircraft's Airborne Mission System. 1

Topics: Maritime Patrol Aircraft's Airborne Mission
Year: 2007
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.