Coloured Petri Net Modelling of a Generic Avionics Mission Computer
DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION VICTORIA (AUSTRALIA) AIR OPERATIONS DIV
Pagination or Media Count:
A Coloured Petri Net has been developed to model real-time task scheduling in avionics mission computers. The model has been applied to a generic avionics mission computer specification, and results are presented for a range of task scheduling protocols. Model input data, output data and complete design are documented to support application of the model to other mission computer hardware and software architectures.
- Computer Hardware