Airborne mission systems are crucial to the tactical deployment of Australian Defence Force aircraft. Future mission systems, and associated avionics are required to have a clear upgrade path and the capability to be modified and enhanced (preferably in-country) to meet Australia's changing operational environment and to take advantage of technological advances over an expected service life of some 30 years. This paper presents the research program in formal modelling and analysis of airborne mission systems for enhanced understanding of system architecture, and analysing the system both with respect to behaviour (functional) correctness as well as performance. We describe an initial high-level abstraction model of a generic mission system using the formal method of coloured Petri nets modelling.
Modelling military airborne mission systems for functional analysis
20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219) ; 1 ; 4A2/1-4A2/12 vol.1
2001-01-01
980800 byte
Conference paper
Electronic Resource
English
Modeling Military Airborne Mission Systems for Functional Analysis
British Library Conference Proceedings | 2001
|Military space mission analysis
AIAA | 2000
|Mission consoles for Caledonian Airborne Systems
Emerald Group Publishing | 2009
Link 16 Integration into Airborne Mission Systems
British Library Conference Proceedings | 2011
|