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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Implementing logical synchrony in integrated modular avionics


    Beteiligte:
    Miller, Steven P. (Autor:in) / Cofer, Darren D. (Autor:in) / Sha, Lui (Autor:in) / Meseguer, Jose (Autor:in) / Al-Nayeem, Abdullah (Autor:in)


    Erscheinungsdatum :

    2009


    Format / Umfang :

    11 Seiten, 15 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Implementing logical synchrony in integrated modular avionics

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


    Cost Effective Integrated Modular Avionics

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



    Modular Integrated Avionics Group (MIAG)

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


    Securing Integrated Modular Avionics computers

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