An account is given for the methodology used for the development of the LAVI avionic system. The approach to system description and the definitions of system, state, process, and message and their relations are introduced. The recursive process of system description is explained, emphasizing the role of the control concept as part of the methodology.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    The LAVI avionics development methodology


    Weitere Titelangaben:

    Entwicklungsverfahren für die LAVI-Avionik


    Beteiligte:
    Beiser, D. (Autor:in)


    Erscheinungsdatum :

    1989


    Format / Umfang :

    8 Seiten, 13 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    IAI LAVI Fighter Evolution

    tsach, s. / Peled, A. / Kaufman, I. et al. | British Library Conference Proceedings | 2013


    LAVI 1553 B communication system

    Kushnir, A. / Kasirer, Y. | Tema Archiv | 1988


    LAVI: A Location Aware Virtual Infrastructure for VANETs

    Golatkar, Rohan B. / Chen, Yu / Ku, Wei-Shinn | IEEE | 2013