A fault hypothesis for integrated architectures

Proceedings of the Fourth Workshop on Intelligent Solutions in Embedded Systems, WISES 2006

Volumn , Issue , 2006, Pages 47-64

  Obermaisser, R ^a   Piti, P ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS; COMPUTER SOFTWARE; LAWS AND LEGISLATION; SEMICONDUCTOR MATERIALS;

FEDERATED SYSTEMS; RESOURCE UTILIZATION;

AUTOMOTIVE ENGINEERING;

EID: 36148961278     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WISES.2006.237001     Document Type: Conference Paper

References (76)

1. H. Kopetz. Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Boston, Dordrecht, London, 1997.
2. R.W. Butler, J.L. Caldwell, and B.L. Di Vito. Design strategy for a formally verified reliable computing platform. In Proceedings of the 6th Annual Conference on Systems Integrity, Software Safety and Process Security, pages 125-133, June 1991.
3. P.G. Bishop and R.E. Bloomfield. A methodology for safety case development. In Proceeedings of the Safety-critical Systems Symposium, Birmingham, UK, February 1998.
4. H. Kopetz. The fault hypothesis for the time-triggered architecture. In Proceedings of the IFIP World Computer Congress, 2004.
5. D. Powell. Failure mode assumptions and assumption coverage. In Proceedings of the 22nd IEEE Annual International Symposium on Fault-Tolerant Computing (FTCS-22), pages 386-395, Boston, USA, July 1992.
6. R. Obermaisser, P. Peti, B. Huber, and C. El Salloum. DECOS: An integrated time-triggered architecture, e&i journal (journal of the Austrian professional institution for electrical and information engineering), March 2006.
7. B. Bouyssounouse and J. Sifakis, editors. Embedded Systems Design. Springer Verlag, 2005.
8. P. Giusto, A. Ferrari, L. Lavagno, J.-Y. Brunel, E. Fourgeau, and A. Sangiovanni-Vincentelli. Automotive virtual integration platforms: why's, what's, and how's. In Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors, pages 370-378, September 2002.
9. R. Obermaisser, P. Peti, and H. Kopetz. Virtual networks in an integrated time-triggered architecture. In Proceedings of the 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS2005), pages 241-253, Sedona, Arizona, February 2005.
10. J. Rushby. Modular certification. Technical report, Computer Science Laboratory SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA, September 2001.
11. H. Heinecke, K.-P. Schnelle, H. Fennel, J. Bortolazzi, L. Lundh, J. Leflour, J.-L. Maté, K. Nishikawa, and T. Scharnhorst. AUTomotive Open System ARchitecture - An Industry-Wide Initiative to Manage the Complexity of Emerging Automotive E/E-Architectures. In Proceedinsg of the Convergence International Congress & Exposition On Transportation Electronics, Detroit, MI, USA, October 2004. SAE. 2004-21-0042.
12. H.A. Simon. The Sciences of the Artificial. MIT Press, 1996.
13. J. Sifakis. A framework for component-based construction. In Proc. of 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM05), pages 293-300, September 2005.
14. H. Kopetz and R. Obermaisser. Temporal composability. Computing & Control Engineering Journal, 13:156-162, August 2002.
15. M. Short and MJ. Pont. Hardware in the loop simulation of embedded automotive control system. In Proceedings of the 8th International IEEE Conference on Intelligent Transportation Systems, pages 426-431, Vienna, Austria, September 2005.
16. Th. Scharnhorst, H. Heinecke, K.-P. Schnelle, H. Fennel, J. Bortolazzi, L. Lundh, P. Heitkämper, J. Leflour, J.-L. Mate, and K. Nishikawa. AUTOSAR - challenges and achievements 2005. In VDl Berichte 1907. Verein Deutscher Ingenieure, 2005.
17. F. Bachmann, L. Bass, C. Buhman, and S. Comella-Dorda. Technical concepts of component-based software engineering. Technical Report 008, CMU/SEI, Pittsburgh, May 2000.
18. C. Szyperski. Component Software: Beyond Object-Oriented Programming. ACM Press and Addison-Wesley, New York, NY, 1998.
19. A. W. Brown and K. C. Wallnau. The current state of CBSE. IEEE Software, 15(5):37-46, September/October 1998.
20. H.D. Heitzer. Development of a fault-tolerant steer-by-wire steering system. Auto Technology, 4:5660, April 2003.
21. P. Peti, R. Obermaisser, F. Tagliabo, A. Marino, and S. Cerchio. An integrated architecture for future car generations. In Proceedings of the 8th IEEE International Symposium on Object-oriented Realtime distributed Computing, May 2005.
22. J. Rushby. Partitioning for avionics architectures: Requirements, mechanisms, and assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center, June 1999. Also to be issued by the FAA.
23. W. Stailings. Operating Systems: Internals and Design Principles. Prentice Hall, 4th edition, September 2000.
24. B. Huber, P. Peti, R. Obermaisser, and C. El Salloum. Using RTAI/LXRT for partitioning in a prototype implementation of the DECOS architecture. In Proceedings of the Third International Workshop on Intelligent Solutions in Embedded Systems (WISES), May 2005.
25. H. Kopetz. Specification of the TTP/C Protocol. TTTech, Schönbrunner Straße 7, A-1040 Vienna, July 1999. Available at http:/www.ttpforum.org.
26. FlexRay Consortium. BMW AG, DaimlerChrysler AG, General Motors Corporation, Freescale GmbH, Philips GmbH, Robert Bosch GmbH, and Volkswagen AG. FlexRay Communications System Protocol Specification Version 2.1, May 2005.
27. J. Rushby. Bus architectures for safety-critical embedded systems. In Tom Henzinger and Christoph Kirsch, editors, Proceedings of the First Workshop on Embedded Software (EMSOFT 2001), volume 2211 of Lecture Notes in Computer Science, pages 306-323, Lake Tahoe, CA, October 2001. Springer-Verlag.
28. L. Kinnan, J. Wlad, and P. Rogers. Porting applications to an ARINC 653 compliant IMA platform using VxWorks as an example. In Proc. of the 23rd Digital Avionics Systems Conference, volume 2, pages 10.B.1-10.1-8, October 2004.
29. Aeronautical Radio, Inc., 2551 Riva Road, Annapolis, Maryland 21401. ARINC Specification 653-1 (Draft 3): Avionics Application Software Standard Interface, July 2003.
30. A. Subbarao. The technology behind LynxOS v4.0's Linux ABI compatibility. Technical report, LinuxDevices.com, June 2002.
31. LIN Consortium. LIN Specification Package Revision 2.0, September 2003.
32. J.H. Lala and R.E. Harper. Architectural principles for safety-critical real-time applications. Proceedings of the IEEE, 82:25-40, January 1994.
33. A. Ademaj. Assessment of Error Detection Mechanisms of the Time-Triggered Architecture Using Fault Injection. PhD thesis, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 3/3/182-1,1040 Vienna, Austria, 2003.
34. H. Kopetz and G. Bauer. The time-triggered architecture. IEEE Special Issue on Modeling and Design of Embedded Software, January 2003.
35. G. Bauer, H. Kopetz, and W. Steiner. The central guardian approach to enforce fault isolation in a time-triggered system. In Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), pages 37-44, Pisa, Italy, April 2003.
36. A. Avizienis, J.C. Laprie, and B. Randell. Fundamental concepts of dependability. Research Report 01-145, LAAS-CNRS, Toulouse, France, April 2001.
37. B. Randell, P. Lee, and P. C. Treleaven. Reliability issues in computing system, design. ACM Computing Surveys, 10(2): 123-165, 1978.
38. A. Avizienis. Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing. In Proceedings of the international conference on Reliable software, pages 458-464, 1975.
39. P.A. Lee and T. Anderson. Fault Tolerance Principles and Practice, volume 3 of Dependable Computing and Fault-Tolerant Systems. Springer Verlag, 1990.
40. F.B. Schneider. Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Comput. Surv., 22(4):299-319, 1990.
41. F. Cristian. Understanding fault-tolerant distributed systems. Communications of the ACM, 34(2):56-78, 1991.
42. L. Lamport, R. Shostak, and M. Pease. The byzantine generals problem. ACM Transactions on Programming Languages and Systems (TOPLAS), 4(3):382-401, 1982.
43. H. Kopetz. Fault containment and error detection in the time-triggered architecture. In Proceedings of the Sixth International Symposium on Autonomous Decentralized Systems, April 2003.
44. Robert Bosch Gmbh, Stuttgart, Germany. CAN Specification, Version 2.0, 1991.
45. J. Rushby. A comparison of bus architectures for safety-critical embedded systems. Technical report, Computer Science Laboratory, SRI International, September 2001.
46. G. Coulouris, J. Dollimore, and T. Kindberg. Distributed Systems: Concepts and Design. International Computer Science Series. Addison-Wesley, Reading, MA, USA, second edition, 1994.
47. J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, and G. Leber. Integration and comparison of three physical fault injection techniques. In B. Randell, J. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 309-327. Springer Verlag, heidelberg edition, 1995.
48. FlexRay Consortium. BMW AG, DaimlerChrysler AG, General Motors Corporation, Freescale GmbH, Philips GmbH, Robert Bosch GmbH, and Volkswagen AG. FlexRay Requirements Specification Version 2.1, December 2005.
49. A. Ramakrishnan. The Avionics Handbook, chapter Electronic Hardware Reliability. CRC Press LCC, 2001.
50. M. Pecht. Electronic reliability engineering in the 21st century. In Proceedings of 2001 International Symposium on Electronic Materials and Packaging, pages 1-7. IEEE, 2001.
51. M. Pecht and V. Ramappan. Are components still the major problem: a review of electronic system and device field failure returns. IEEE Transactions on Components, Hybrids, and Manufacturing Technology, 15(6):1160-1164, December 1992.
52. C. Constantinescu. Impact of deep submicron technology on dependability of VLSI circuits. In Proceedings of the International Conference on Dependable Systems and Networks, pages 205-209. IEEE, 2002.
53. L. Lev and P. Chao. Down to the wire. Technical report, Cadence Design Systems, Inc., San Jose, CA, USA, 2002.
54. R. Baumann. Soft errors in advanced computer systems. IEEE Design & Test of Computers, 22(3):258-266, May 2005.
55. S.S. Mukherjee, J. Emer, and S.K. Reinhardt. The soft error problem: an architectural perspective. In Proceedings of the 11th International Symposium on High-Performance Computer Architecture, pages 243-247, February 2005.
56. H.T. Nguyen, Y. Yagil, N. Seifert, and M. Reitsma. Chip-level soft error estimation method. IEEE Transactions on Device and Materials Reliability, 5(3):365 - 381, September 2005.
57. D.C. Bossen. CMOS soft errors and server design. IEEE 2002 Reliability Physics Tutorial Notes, Reliability Fundamentals, April 2002.
58. E. Normand. Single-event effects in avionics. IEEE Transactions on Nuclear Science, 43(2):461474, April 1996.
59. E. Normand. Single event upset at ground level. IEEE Transactions on Nuclear Science, 43(6):2742-2750, December 1996.
60. P. Alfke and A. Lesea. A thousand years between single-event upset failures. Technical report, XILINX, 2003.
61. L. Kaufman, S. Bhide, and B. Johnson. Modeling of common-mode failures in digital embedded systems. In Proceedings of the Reliability and Maintainability Symposium, pages 350-357, Los Angeles, CA, USA, 2000. IEEE Press.
62. Y.C. Yeh. Design considerations in Boeing 777 fly-by-wire computers. In Proceedings of the 3rd IEEE International High-Assurance Systems Engineering Symposium, pages 64-72, November 1998.
63. D. Briere and P. Traverse. AIRBUS A320/A330/A340 electrical flight controls - a family of faulttolerant systems. In Proc. of the Twenty-Third International Symposium on Fault-Tolerant Computing, pages 616-623, June 1993.
64. B. Pauli, A. Meyna, and P. Heitmann. Reliability of electronic components and control units in motor vehicle applications. In VDI Berichte 1415, Electronic Systems for Vehicles, pages 1009-1024. Verein Deutscher Ingenieure, 1998.
65. G. Heiner and T. Thurner. Time-triggered architecture for safety-related distributed real-time systems in transportation systems. In Proceedings of the Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, pages 402-4-07, June 1998.
66. US Department of Transportation Federal Aviation Administration. System design and analysis, ac no.25.1309-1a. Technical report, 1988.
67. International Standardization Organisation, ISO 7637. Road vehicles - Electrical disturbances from conduction and coupling, 1995.
68. S.C. Johnson and R.W. Butler. Design for validation. IEEE Aerospace and Electronic Systems Magazine, 7(1):38-43, January 1992.
69. J. Liedtke. On micro-kernel construction. In SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles, pages 237-250, New York, NY, USA, 1995. ACM Press.
70. A. Avizienis, M. Lyu, and W. Schutz. In search of effective diversity: A six-language study of fault-tolerant flight control software. In The Eighteenth International Symposiun on Fault Tolerant Computing, pages 15-22, 1988.
71. B. Littlewood, P. Popov, and L. Strigini. Modeling software design diversity: a review. ACM Comput. Sunt, 33(2):177-208, 2001.
72. IEC: International Electrotechnical Commission. IEC 61508-1: General Requirments, 1998.
73. D.J. Smith and KG. Simpson. Funcational Safety. Elsevier, second edition, 2004.
74. IEC: International Electrotechnical Commission. IEC 61508-7: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems - Part 7: Overview of Techniques and Measures, 1999.
75. G. Berry. The foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000.
76. B. Dion. Correct-by-construction methods for the development of safety-critical applications. In SAE 2004 World Congress & Exhibition, Detroit, MI, USA, March 2004. SAE.