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.
Coloured Petri Net Modelling of a Generic Avionics Mission Computer
2006
94 pages
Report
Keine Angabe
Englisch
AIAA | 1991
|Generic Avionics Software Specification
NTIS | 1990
|Airport Surface Modelling and Simulation Based on Timed Coloured Petri Net
DOAJ | 2019
|