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


    ASW helicopter mission avionics

    Dowell, J.A. | Tema Archiv | 1988


    Avionics clouds: A generic scheme for future avionics systems

    Li, Zheng / Li, Qiao / Xiong, Huagang | IEEE | 2012