Coloured Petri Net Modelling of a Generic Avionics Mission Computer

摘要

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.