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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Modelling military airborne mission systems for functional analysis


    Contributors:


    Publication date :

    2001-01-01


    Size :

    980800 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Modeling Military Airborne Mission Systems for Functional Analysis

    Kristenssen, L. M. | British Library Conference Proceedings | 2001


    Formal specification and analysis of airborne mission systems

    Kristensen, L.M. / Billington, J. / Petrucci, L. et al. | IEEE | 2002


    Military space mission analysis

    Davis, Dean | AIAA | 2000



    Link 16 Integration into Airborne Mission Systems

    Gulley, R. / Defence Science and Technology Organisation (Australia); Royal Aeronautical Society; Institution of Engineers Australia | British Library Conference Proceedings | 2011