Developing a formal specification for the mission system of a maritime surveillance aircraft

The mission system of an aircraft is a complex real-time distributed system consisting of a mission control computer, different kinds of devices interconnected by a number of serial data buses. The complexity and real-time requirements of mission systems have motivated research into the application...

Full description

Saved in:
Bibliographic Details
Main Authors: Petrucci, L., Billington, J., Kristensen, L.M., Qureshi, Z.H.
Format: Conference Proceeding
Language:English
Subjects:
Aerospace control
Aerospace electronics
Aircraft
Application software
Control systems
Data buses
Distributed computing
Formal specifications
Real time systems
Surveillance
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The mission system of an aircraft is a complex real-time distributed system consisting of a mission control computer, different kinds of devices interconnected by a number of serial data buses. The complexity and real-time requirements of mission systems have motivated research into the application of formal techniques to investigate and predict the effects of upgrades on mission system behaviour. We report on a joint research project between the University of South Australia and Australia's Defence Science and Technology Organisation. In previous work we modelled a generic avionics mission system with coloured Petri nets and analysed the model using state spaces. Here, we describe how this model was refined and modified to obtain a coloured Petri net model for the AP-3C Orion maritime surveillance aircraft.
DOI:10.1109/CSD.2003.1207703