Modelling military airborne mission systems for functional analysis

Author

Kristenssen, Lars M. ; Billington, Jonathan ; Qureshi, Zahid H.

Author_Institution

Sch. of Electrical & Inf. Eng., Univ. of South Australia, Adelaide, SA, Australia

Volume

1

fYear

2001

fDate

14-18 Oct 2001

Abstract

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

Keywords

Petri nets; large-scale systems; military aircraft; military avionics; modelling; Australian Defence Force aircraft; avionics; coloured Petri nets modelling; complex systems modelling; formal modelling; functional analysis; high-level abstraction model; military airborne mission systems; research program; system architecture; tactical deployment; Aerospace control; Aerospace electronics; Aircraft navigation; Australia; Data processing; Functional analysis; Hardware; Performance analysis; Petri nets; Project management;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital Avionics Systems, 2001. DASC. 20th Conference

Conference_Location

Daytona Beach, FL

Print_ISBN

0-7803-7034-1

Type

conf

DOI

10.1109/DASC.2001.963363

Filename

963363