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).


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Time-Triggered Constraint-Based Calculus for Avionic Systems


    Contributors:


    Publication date :

    2015-04-01


    Size :

    359411 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Avionic Systems

    Middleton, Donald H. | TIBKAT | 1989


    Avionic systems

    Middleton, D.H. | Tema Archive | 1989


    Avionic Systems

    Seabridge, Allan / Radaei, Mohammad | Wiley | 2022


    Avionic expert systems

    Golshani, Forouzan | NTRS | 1988