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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Coloured Petri Net Modelling of a Generic Avionics Mission Computer


    Contributors:
    R. B. Dodd (author)

    Publication date :

    2006


    Size :

    94 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English





    Airship-mission avionics

    DESIPIO, RICHARD | AIAA | 1991


    Generic Avionics Software Specification

    C. D. Locke / D. R. Vogel / L. Lucas et al. | NTIS | 1990



    Modelling of hybrid flexible production systems by Coloured-Batches Petri nets

    Caradec, M. / Prunet, F. | British Library Conference Proceedings | 1998