Position statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods
ICSE '90 Proceedings of the 12th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Elements of ML programming (ML97 ed.)
Elements of ML programming (ML97 ed.)
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Formal Analysis of a Space-Craft Controller Using SPIN
IEEE Transactions on Software Engineering
Applications of Formal Methods
Applications of Formal Methods
A Sweep-Line Method for State Space Exploration
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Place or Transition Petri Nets
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
MetaH Support for Real-Time Multi-Processor Avionics
WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)
Towards formal specification and analysis of avionics mission systems
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Hierarchical verification environment
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
| Hi-index | 0.00 |
A typical avionics mission system of a military aircraft is a complex real-time system consisting of a mission control computer, different kinds of sensors, navigation and communication subsystems, and various displays and stores; all interconnected by a number of serial data buses. The mission capability is increasingly implemented in the mission-critical software and the robustness of this software is vital for mission success. The complexity and real-time requirements of mission systems represent major challenges to the Australian Defence Force during new acquisitions, upgrades and maintenance. This paper describes the experiences on a joint research project between the University of South Australia and Australia's Defence Science and Technology Organisation into the modelling and analysis of avionics mission systems. The paper provides a summary of the key aspects of our previous research work on the modelling of a generic mission system using Coloured Petri Nets and the analysis of task scheduling on the mission computer. Finally, the paper briefly discusses the extension of the generic model to obtain a formal model of the mission system of the AP-3C Orion maritime surveillance aircraft.