The Integrated Modular Avionics (IMA) architecture and the Time-Triggered Ethernet (TTEthernet) network have emerged as the key components of a typical architecture model for recent civil aircrafts. We propose a real-time constraint-based calculus targeted at the analysis of such concepts of avionic embedded systems. We show our framework at work on the modelisation of both the (IMA) architecture and the TTEthernet network, illustrating their behavior by the well-known Flight Management System (FMS).


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Time-Triggered Constraint-Based Calculus for Avionic Systems


    Beteiligte:


    Erscheinungsdatum :

    01.04.2015


    Format / Umfang :

    359411 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Avionic Systems

    Middleton, Donald H. | TIBKAT | 1989


    Avionic systems

    Middleton, D.H. | Tema Archiv | 1989


    Avionic Systems

    Seabridge, Allan / Radaei, Mohammad | Wiley | 2022


    Avionic expert systems

    Golshani, Forouzan | NTRS | 1988