Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft

Authors:
Laure Petrucci;Jonathan Billington;Lars M. Kristensen;Zahid H. Qureshi
Affiliations:
-;-;-;-
Venue:
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Year:
2003

Citing 0
Cited 2

Formal modelling and analysis of mission-critical software in military avionics systems

SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Modular state spaces for prioritised Petri Nets

FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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. This paper reports 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.