A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 237-246

  McKelvin Jr , Mark L ^a   Eirea, Gabriel ^a   Pinello, Claudio ^b   Kanajan, Sri ^b   Sangiovanni Vincentelli, Alberto L ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b LAWRENCE BERKELEY NATIONAL LABORATORY   (United States)

Author keywords

Design exploration; Fault tree construction; Feedback control applications; System analysis

Indexed keywords

ALGORITHMS; CONTROL SYSTEMS; COST EFFECTIVENESS; DATA FLOW ANALYSIS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; EMBEDDED SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; FEEDBACK CONTROL;

DESIGN EXPLORATION; DISTRIBUTED EXECUTION PLATFORM; FAULT TREE CONSTRUCTION; FEEDBACK CONTROL APPLICATIONS;

REAL TIME SYSTEMS;

EID: 29244458652     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086228.1086272     Document Type: Conference Paper

References (18)

1. M. Baleani, A. Ferrari, L. Mangeruca, A. Sangiovanni-Vincentelli, M. Peri, and S. Pezzini. Fault-tolerant platforms for automotive safety-critical applications. In CASES, pages 170-177, San Jose, California, USA, 2003. ACM Press.
2. M. Barborak, M. Malek, and A. Dahbura. The consensus problem in fault-tolerant computing. ACM Computing Surveys, 25(2):171-220, June 1993.
3. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The synchronous language twelve years later. Procs. of the IEEE, 91(1):64-83, Jan. 2003.
4. F. V. Brasileiro, P. D. Ezhilchelvan, S. K. Shrivastava, N. A. Speirs, and S. Tao. Implementing fail-silent nodes for distributed systems. IEEE Transactions on Computers, 45(11):1226-1238, November 1996.
5. C. Dima, A. Girault, C. Lavarenne, and Y. Sorel. Off-lime real-time fault-tolerant scheduling. In Euromicro 2001, Mantova, Italy, February 2001.
6. I. Item Software. FaultTree+ for Windows, volume 8.0. Isograph Limited, 1998.
7. H. Lambert. Use of fault tree analysis for automotive reliability and safety analysis. Computer, 33(9): 18-26, 2000.
8. E. A. Lee and D. G. Messerschmitt. Synchronous data flow. Procs. of the IEEE, 79(9), September 1987.
9. E. A. Lee and S. Neuendorffer. Classes and subclasses in actor oriented designs. In Procs. of the Conference on Formal Methods and Models for Codesign (MEMOCODE), San Diego, California, USA, June 2004.
10. E. A. Lee and T. M. Parks. Dataflow process networks. Procs. of the IEEE, 83(5):773-801, May 1995.
11. B. Natvig. Reliability analysis: Encyclopedia of acturial science. Technical Report , University of Oslo, Department of Mathematics, September 2002.
12. Y. Papadopoulos and D. Parker. A method and tool support for model-based semi-automated failure modes and effects analysis of engineering designs. Procs. of the IEEE, 79(9):1305-1320, September 1991.
13. C. Pinello, L. Carloni, and A. Sangiovanni-Vincentelli. Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications. In Procs. of Design Automation and Test in Europe, Paris, France, February 2004.
14. K. K. Venmuri, J. B. Dugan, and K. J. Sullivan. Automatic synthesis of fault trees for computer-based Systems, IEEE Transactions on Reliability, 48(4):394-402, December 1999.
15. W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl. Fault tree handbook. Technical Report NUREG-0492, U. S. Nuclear Regulatory Commission, Division of Technical Information and Document Control, January 1981.
16. N. Viswanadham, V. V. S. Sarma, and M. G. Singh. Reliability of Computer and Control Systems, volume 8. North Holland, Amsterdam, 1987.
17. W. Wang, J. Loman, and P. Vassiliou. Reliability importance of components in a complex system. In Reliability and Maintainability Symposium, Los Angeles, California, USA, January 2004.
18. J. A. Wysocki and R. Debouk. Redundancy and reliability tradeoffs for safety/mission critical systems. In International Systems Safety Conference, Providence, Rhode Island, USA, August 2004.