Many avionics systems must be implemented as redundant, distributed systems in order to provide the necessary level of fault tolerance. To correctly perform their function, the individual nodes of these systems must agree on some part of the global system state. Developing protocols to achieve this agreement is greatly simplified if the nodes execute synchronously relative to each other, but many Integrated Modular Avionics architectures assume nodes will execute asynchronously. This paper presents a simple design pattern, Physically Asynchronous/Logically Synchronous (PALS), that allows developers to design and verify a distributed, redundant system as though all nodes execute synchronously. This synchronous design can then be distributed over a physically asynchronous architecture in such a way that the logical correctness of the design is preserved. Use of this complexity reducing design pattern greatly simplifies the development and verification of fault tolerant distributed applications, ensures optimal system performance, and provides a standard argument for system certification.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Implementing logical synchrony in integrated modular avionics


    Contributors:


    Publication date :

    2009


    Size :

    11 Seiten, 15 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Implementing logical synchrony in integrated modular avionics

    Miller, Steven P. / Cofer, Darren D. / Sha, Lui et al. | IEEE | 2009


    Securing Integrated Modular Avionics computers

    Dessiatnikoff, Anthony / Nicomette, Vincent / Alata, Eric et al. | IEEE | 2013


    Integrated Modular Avionics: The Challenges

    Charrier, O. / European Space Agency | British Library Conference Proceedings | 2009


    Communications for Integrated Modular Avionics

    Alena, Richard L. / Ossenfort, John P. / Laws, Kenneth I. et al. | IEEE | 2007


    PROGRAMMES & PRODUCTS - Integrated Modular Avionics

    Parr, G.R. | Online Contents | 1999