Accession Number:

ADA460072

Title:

Coloured Petri Net Modelling of a Generic Avionics Mission Computer

Descriptive Note:

Technical note

Corporate Author:

DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION VICTORIA (AUSTRALIA) AIR OPERATIONS DIV

Personal Author(s):

Report Date:

2006-04-01

Pagination or Media Count:

94.0

Abstract:

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.

Subject Categories:

  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE