Modelling military airborne mission systems for functional analysis

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.

[1]  Jonathan Billington,et al.  Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN , 1996, Application and Theory of Petri Nets.

[2]  Bob Malcolm.  A Large Embedded System Project Case Study , 1990 .

[3]  Richard F. Vidale,et al.  Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs , 1992, Application and Theory of Petri Nets.

[4]  Jens Linneberg Rasmussen,et al.  Designing a Security System by Means of Coloured Petri Nets , 1996, Application and Theory of Petri Nets.

[5]  Ludmila Cherkasova,et al.  On Net Modeling of Industrial Size Concurrent Systems , 1993, Application and Theory of Petri Nets.

[6]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[7]  W. A. Hanna,et al.  Performance and behavioral modeling of avionics subsystems , 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

[8]  John B. Goodenough,et al.  Generic Avionics Software Specification , 1990 .

[9]  Christian Fraboul,et al.  Modeling advanced modular avionics architectures for early real-time performance analysis , 1999, Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99.

[10]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[11]  Lawrence D. Pohlmann,et al.  The Engineering Design of Systems – Models and Methods , 2000 .

[12]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[13]  Jeffrey D. Ullman.  Elements of ML programming , 1994 .

[14]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[15]  Robert M. Shapiro.  Validation of a VLSI chip using hierarchical colored Petri nets , 1991 .