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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Coloured Petri Net Modelling of a Generic Avionics Mission Computer


    Beteiligte:
    R. B. Dodd (Autor:in)

    Erscheinungsdatum :

    2006


    Format / Umfang :

    94 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Airship-mission avionics

    DESIPIO, RICHARD | AIAA | 1991


    Generic Avionics Software Specification

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



    Airport Surface Modelling and Simulation Based on Timed Coloured Petri Net

    Zhigang Su / Mengqi Qiu | DOAJ | 2019

    Freier Zugriff