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


    Integrated modular avionics

    Prisaznuk, P.J. | IEEE | 1992


    Cost effective integrated modular avionics

    Grove, J.R. / Coker, R.J. | IEEE | 1996


    Modular Integrated Avionics Group (MIAG)

    Dialameh, O. / Association for Unmanned Vehicle Systems | British Library Conference Proceedings | 1994


    Cost Effective Integrated Modular Avionics

    Grove, J. R. / Coker, R. J. / IEEE; Dayton Section et al. | British Library Conference Proceedings | 1996