Implementing logical synchrony in integrated modular avionics

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn , Issue , 2009, Pages

  Miller, Steven P ^a   Cofer, Darren D ^a   Sha, Lui ^b   Meseguer, Jose ^b   Al Nayeem, Abdullah ^b  

^a ROCKWELL COLLINS   (United States)

^b University of Illinois at Urbana Champaign   (United States)

Author keywords

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

Indexed keywords

ASYNCHRONOUS DESIGN; AVIONICS SYSTEMS; DESIGN PATTERNS; DISTRIBUTED APPLICATIONS; DISTRIBUTED SYSTEMS; FAULT-TOLERANT; GLOBAL SYSTEMS; INTEGRATED MODULAR AVIONICS; LOGICAL CORRECTNESS; OPTIMAL SYSTEM PERFORMANCE; REDUNDANT SYSTEM;

ASYNCHRONOUS TRANSFER MODE; AUTOMATIC TELLER MACHINES; AVIONICS; DESIGN; FAULT TOLERANCE; INTERNET PROTOCOLS; NETWORK ARCHITECTURE; POSITRON ANNIHILATION SPECTROSCOPY; QUALITY ASSURANCE; STANDARDIZATION;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 77951063154     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DASC.2009.5347579     Document Type: Conference Paper

References (15)

1. ARINC specification 651-661: Design Guidance for Integrated Modular Avionics, Aeronautical Radio, Inc., Annapolis, MD, November 1997.
2. Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations, DO-297, RTCA Inc: Washington, DC, November 8, 2005.
3. Lynch, N., Distributed Algorithms, Morgan Kaufmann Publishers, Inc: San Francisco, CA, 1996.
4. Tel, G., Introduction to Distributed Algorithms, Second Edition, Cambridge University Press: Cambridge, UK, 2000.
5. Sha, L., A. Abdullah, M. Sun, J. Meseguer, P. Olveczky, PALS: Physically Asynchronous Logically Synchronous Systems, www.ideals.uiuc.edu/handle/2142/ 11897, May, 2009.
6. Lamport, L., R. Shostak, and M. Pease, The Byzantine Generals Problem, ACM Trans. Programming Languages and Systems, vol.4, no.3, pp.382-401, July 1982.
7. th Digital Avionics Systems Conference (DASC 2008), St. Paul, Minnesota, October 26-30, 2008.
8. th European Joint Conference on Theory and Practice of Software (ETAPS 2009), LNCS 5505, York, UK, March 23-27, 2009.
9. Birman, K. and T. Joseph, "Exploiting Virtual Synchrony in Distributed Systems," ACM SIGOPS Operating Systems Review, vol.21, no.5, pp. 123-138, 1987.
10. Guo, K., W. Vogels, and R. van Renesse, Structured Virtual Synchrony: Exploring the Bounds of Virtual Synchronous Group Communication, Proceedings of the 7th Workshop on ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, pp. 213-217, 1996.
11. Pereira, J., L. Rodrigues, and R. Oliveira, Reducing the Cost of Group Communication with Semantic View Synchrony, Proceedings of International Conference on Dependable Systems and Networks, pp. 293-302, 2002.
12. Abdelzaher, T., A. Shaikh, F. Jahanian, and K. Shin, RTCast: Lightweight Multicast for Real-Time Process Groups, Proceedings of IEEE Real-Time Technology and Applications Symposium, pp. 250-259, 1996.
13. Garavel, H. and D. Thivolle, Verification of GALS Systems by Combining Synchronous Languages and Process Calculi, LNCS 5578, Springer Berlin: Heidelberg, pp. 241-260, 2009.
14. Tripakis, S., C. Pinello, A. Benveniste, A. Sangiovanni-Vincent, P. Caspi, and M. Di Natale, Implementing Synchronous Models on Loosely Time Triggered Architectures, IEEE Transactions on Computers, vol.57, no.10, pp. 1300-1314, 2008.
15. Rushby, J., A Comparison of Bus Architectures for Safety-Critical Embedded Systems, NASA Contractor Report CR-2003-212161, September 2001.