Abstract
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 a 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
