Bus architectures for safety-critical embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2211, Issue , 2001, Pages 306-323

  Rushby, John ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SOFTWARE; FAULT TOLERANCE; SAFETY ENGINEERING;

BUS ARCHITECTURE; FAULT PROPAGATION; FAULT-TOLERANT; FLEXRAY; SAFETY CRITICAL APPLICATIONS; SAFETY-CRITICAL EMBEDDED SYSTEMS;

EMBEDDED SYSTEMS;

EID: 84947287460     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45449-7_22     Document Type: Conference Paper

References (25)

1. ARINC Specification 659: Backplane Data Bus. Aeronautical Radio, Inc, Annapolis, MD, December 1993. Prepared by the Airlines Electronic Engineering Committee
2. Günther Bauer and Michael Paulitsch. An investigation of membership and clique avoidance in TTP/C. In 19th Symposium on Reliable Distributed Systems, Nuremberg, Germany, October 2000
3. Joef Berwanger et al. FlexRay-the communication system for advanced automotive control systems. In SAE 2001World Congress, Society of Automotive Engineers, Detroit, MI, April 2001. Paper number 2001-01-0676
4. Daniel Davies and John F. Wakerly. Synchronization and matching in redundant systems. IEEE Transactions on Computers, C-27(6):531-539, June 1978
5. System Design and Analysis. Federal Aviation Administration, June 21, 1988. Advisory Circular 25.1309-1A
6. G¨unnter Heiner and Thomas Thurner. Time-triggered architecture for safety-related distributed real-time systems in transportation systems. In Fault Tolerant Computing Symposium 28, pages 402-407, IEEE Computer Society, Munich, Germany, June 1998
7. Kenneth Hoyme and Kevin Driscoll. SAFEbusTM. In 11th AIAA/IEEE Digital Avionics Systems Conference, pages 68-73, Seattle,WA, October 1992
8. Hermann Kopetz and Günter Grünsteidl. TTP—aprotocol for fault-tolerant real-time systems. IEEE Computer, 27(1):14-23, January 1994
9. Leslie Lamport, Robert Shostak, and Marshall Pease. The Byzantine Generals problem. ACM Transactions on Programming Languages and Systems, 4(3):382-401, July 1982
10. Dale A. Mackall. Development and flight test experiences with a flight-crucial digital control system. NASA Technical Paper 2857, NASAAmes Research Center, Dryden Flight Research Facility, Edwards, CA, 1988
11. Paul S. Miner. Analysis of the SPIDER fault-tolerance protocols. In C. Michael Holloway, editor, LFM 2000: Fifth NASA Langley Formal MethodsWorkshop, NASA Langley Research Center, Hampton, VA, June 2000. Slides available at http://shemesh.larc.nasa.gov/ fm/Lfm2000/Presentations/lfm2000-spider/
12. M. Pease, R. Shostak, and L. Lamport. Reaching agreement in the presence of faults. Journal of the ACM, 27(2):228-234, April 1980
13. Holger Pfeifer. Formal verification of the TTA group membership algorithm. In Tommaso Bolognesi and Diego Latella, eds., Formal DescriptionTechniques and Protocol Specification, Testing and Verification FORTE XIII/PSTV XX 2000, pages 3-18, Pisa, Italy, Oct 2000
14. Holger Pfeifer, Detlef Schwier, and Friedrich W. von Henke. Formal verification for timetriggered clock synchronization. In Charles B.Weinstock and John Rushby, eds., Dependable Computing for Critical Applications—7, Volume 12 of IEEE Computer Society Dependable Computing and Fault Tolerant Systems, pages 207-226, San Jose, CA, Jan 1999
15. DO254: Design Assurance Guidelines for Airborne Electronic Hardware. Requirements and Technical Concepts for Aviation,Washington, DC, April 2000
16. John Rushby. A formally verified algorithm for clock synchronization under a hybrid fault model. In Thirteenth ACM Symposium on Principles of Distributed Computing, pages 304-313, Association for Computing Machinery, Los Angeles, CA, August 1994. Also available as NASA Contractor Report 198289
17. John Rushby. A comparison of bus architectures for safety-critical embedded systems. Technical report, Computer Science Laboratory, SRI International, Menlo Park, CA, June 2001. Available at http://www.csl.sri.com/˜rushby/papers/buscompare.pdf
18. Fred B. Schneider. Understanding protocols for Byzantine clock synchronization. Technical Report 87-859, Department of Computer Science, Cornell University, Ithaca, NY, Aug 1987
19. Fred B. Schneider. Implementing fault-tolerant services using the state machine approach:A tutorial. ACM Computing Surveys, 22(4):299-319, December 1990
20. Marco Schneider. Self stabilization. ACM Computing Surveys, 25(1):45-67, March 1993
21. T. K. Srikanth and Sam Toueg. Optimal clock synchronization. Journal of the ACM, 34(3):626-645, July 1987
22. William Sweet and Dave Dooling. Boeing’s seventh wonder. IEEE Spectrum, 32(10):20-23, October 1995
23. Philip Thambidurai and You-Keun Park. Interactive consistency with multiple failure modes. In 7th Symposium on Reliable Distributed Systems, pages 93-100, IEEE Computer Society, Columbus, OH, October 1988
24. Specification of the TTP/C Protocol. Time-Triggered Technology TTTech Computertechnik AG, Vienna, Austria, July 1999
25. J. LundeliusWelch and N. Lynch. A new fault-tolerant algorithm for clock synchronization. Information and Computation, 77(1):1-36, April 1988.