Implementing logical synchrony in integrated modular avionics

Steven P. Miller, Darren D. Cofer, Lui Raymond Sha, Jose Meseguer, Abdullah Al-Nayeem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publication28th Digital Avionics Systems Conference
Subtitle of host publicationModernization of Avionics and ATM-Perspectives from the Air and Ground, DASC 2009 - Proceedings
DOIs
StatePublished - Dec 1 2009
Event28th Digital Avionics Systems Conference: Modernization of Avionics and ATM-Perspectives from the Air and Ground, DASC 2009 - Orlando, FL, United States
Duration: Oct 25 2009Oct 29 2009

Publication series

NameAIAA/IEEE Digital Avionics Systems Conference - Proceedings

Other

Other28th Digital Avionics Systems Conference: Modernization of Avionics and ATM-Perspectives from the Air and Ground, DASC 2009
CountryUnited States
CityOrlando, FL
Period10/25/0910/29/09

Keywords

  • Asynchronous
  • Design pattern
  • Fault tolerance
  • GALS
  • Globally asynchronous
  • IMA
  • Integrated modular avionics
  • Locally synchronous
  • Synchronous

ASJC Scopus subject areas

  • Aerospace Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Implementing logical synchrony in integrated modular avionics'. Together they form a unique fingerprint.

  • Cite this

    Miller, S. P., Cofer, D. D., Sha, L. R., Meseguer, J., & Al-Nayeem, A. (2009). Implementing logical synchrony in integrated modular avionics. In 28th Digital Avionics Systems Conference: Modernization of Avionics and ATM-Perspectives from the Air and Ground, DASC 2009 - Proceedings (AIAA/IEEE Digital Avionics Systems Conference - Proceedings). https://doi.org/10.1109/DASC.2009.5347579