Coloured Petri Net Modelling of a Generic Avionics Mission Computer

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 2006
Accession Number
ADA460072

Entities

People

  • R. B. Dodd

Organizations

  • Defence Science and Technology Group

Tags

Communities of Interest

  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Aerial Warfare
  • Aircrafts
  • Application Software
  • Australia
  • Computations
  • Computer Architecture
  • Computer Programs
  • Computers
  • Computing System Architectures
  • Engineering
  • Military Aircraft
  • Petri Nets
  • Scheduling (Production)
  • Software Design
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Aerospace Engineering
  • Mathematical Modeling and Probability Theory.
  • Parallel and Distributed Computing.