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. 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.