An integrated methodology for the dynamic performance and reliability evaluation of fault-tolerant systems

Reliability Engineering and System Safety

Volumn 93, Issue 11, 2008, Pages 1628-1649

  Domínguez García, Alejandro D ^a   Kassakian, John G ^b   Schindall, Joel E ^b   Zinchuk, Jeffrey J ^c  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c CHARLES STARK DRAPER LABORATORY   (United States)

Author keywords

Behavior; Behavioral model; Dynamic probabilistic risk assessment; Fault tolerance; Markov reliability modeling; Performance; Reliability

Indexed keywords

FAILURE ANALYSIS; MATHEMATICAL MODELS; RELIABILITY ANALYSIS; RISK ASSESSMENT; SYSTEMS ANALYSIS;

BEHAVIORAL MODEL; DYNAMIC PROBABILISTIC RISK ASSESSMENT; MARKOV RELIABILITY MODELING;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 44349124471     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2008.01.007     Document Type: Article

References (40)

1. Gai E, Adams M. Measures of merit for fault-tolerant systems. Technical report CSDL-P-1752, The Charles Stark Draper Laboratory, Cambridge, MA; 1983.
2. Avižienis A. Design of fault-tolerant computers. In: Proceedings of the fall joint computer conference, AFIPS conference, Washington, DC, 1967. p. 733-43.
3. Moore E., and Shannon C. Reliable circuits using less reliable relays, parts I & II. J Franklin Inst 262 (1956) 191-208 and 281-97
4. Watson H. Launch control system safety study. Bell Laboratories Technical report 1.
5. Dugan J., Bavuso S., and Boyd M. Dynamic fault fault-tree models for fault-tolerant computer systems. IEEE Trans Reliab 41 3 (1992) 363-377
6. Babcock P. An introduction to reliability modeling of fault-tolerant systems. Technical report CSDL-R-1899, The Charles Stark Draper Laboratory, Cambridge, MA; 1987.
7. Høyland A., and Rausand M. System reliability theory (1994), Wiley, New York, NY
8. Reibman A., and Veeraraghavan M. Reliability modeling: an overview for system designers. IEEE Comput 24 4 (1991) 49-57
9. Malhotra M., and Trivedi K. Power-hierarchy of dependability model types. IEEE Trans Reliab 43 3 (1994) 493-502
10. Dominguez-Garcia A., Kassakian J., and Schindall J. Reliability evaluation of the power supply of an electrical power net for safety-relevant applications. J Reliab Eng Syst Saf 91 5 (2006) 505-514
11. Leveson N. Safeware: system safety and computers (1995), Addison-Wesley Publishing Company, Boston, MA
12. Taylor J. An algorithm for fault-tree construction. IEEE Trans Reliab 31 2 (1982) 219-254
13. Papadopoulos Y, Parker D, Grante C. Model-based automated synthesis of fault trees from matlab-simulink models. In: Proceedings of the international conference on dependable systems and networks, Gothenburg, Sweden, 2001. p. 77-82.
14. Taylor J. An integrated approach to the treatment of design and specification errors in eletronic systems and software. In: Proceedings of the fifth european conference on electrotechnics, Copenhagen, Denmark, 1982.
15. Papadopoulos Y, Parker D, Walker M, Pertersen U, Hamann R, Wu Q. Automated failure modes and effects analysis of systems on-board ship. In: Proceedings of the international conference on marine research and transportation, Ischia, Italy, 2005.
16. Amendola A. Event sequences and consequence spectrum: a methodology for probabilistic transient analysis. Nucl Sci Eng 77 3 (1981) 297-315
17. Aldemir T. Computer-assisted Markov failure modeling of process control systems. IEEE Trans Reliab R-36 1 (1987) 133-144
18. Devooght J., and Smidts C. Probabilistic reactor dynamics-I: the theory of continuos event trees. Nucl Sci Eng 111 a (1992) 229-240
19. Grimmett G., and Stirzaker D. Probability and random processes. 3rd ed. (2001), Oxford University Press, Oxford, UK
20. Devooght J., and Smidts C. Probabilistic dynamics as a tool for dynamic PSA. Reliab Eng Syst Saf 52 3 (1996) 185-196
21. Smidts C., and Devooght J. Probabilistic reactor dynamics-II: a Monte Carlo study of a fast reactor trasient. Nucl Sci Eng 111 a (1992) 241-256
22. Labeau P., Smidts C., and Swaminathan S. Dynamic reliability: towards an integrated platform for probabilistic risk assessment. J Reliab Eng Syst Saf 68 3 (2000) 219-254
23. Hu Y. A guided simulation methodology for dynamic probabilistic risk assessment of complex systems. PhD thesis, University of Maryland, College Park, MD; 2005.
24. Meyer J. Computation-based reliability analysis. IEEE Trans Comput C-25 6 (1976) 578-584
25. Beaudry M. Performance-related reliability measures for computing systems. IEEE Trans Comput C-27 6 (1978) 548-560
26. Meyer J. On evaluating the performability of degradable computing system. IEEE Trans Comput C-29 8 (1980) 720-731
27. Sahner R., Trivedi K., and Puliafito A. Performance and reliability analysis of computer systems (1996), Kluwer Academic Publishers, Boston, MA
28. Trivedi K, Malhotra M, Fricks R. Markov reward approach to performability and reliability analysis. In: Proceedings of the second international workshop on modeling, analysis, and simulation of computer and telecommunication systems, Durham, NC, 1994. p. 7-11.
29. Luenberger D, editor. Introduction to dynamic systems. New York, NY: Wiley; 1979.
30. Liberzon D. Switching in systems and control (2003), Birkhauser, Boston, MA
31. Domínguez-García A. An integrated methodology for the performance and reliability evaluation of fault-tolerant systems. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA; 2007.
32. Cristian F. Understanding fault-tolerant distributed systems. Commun ACM 34 2 (1991) 56-78
33. Domínguez-García A, Kassakian J, Schindall J, Zinchuk J. On the use of behavioral models for the integrated performance and reliability evaluation of fault-tolerant avionics systems. In: Proceedings of DASC 2006, Portland, OR, 2005.
34. McRuer D., Myers T., and Thompson P. Literal singular-value-based flight control system design techniques. AIAA J Guidance 12 6 (1989) 913-919
35. McRuer D., Ashekenas I., and Graham D. Aircraft dynamics and automatic control (1973), Princeton University Press, Princeton, NJ
36. Roskan J. Flight dynamics of rigid and elastic airplanes (1972), The University of Kansas, Lawrence, KS
37. Dugan J, Veeraraghavan M, Boyd M, Mittal N. In: Proceedings of the eighth symposium on reliable distributed systems. In: Proceedings of the third IEEE international high-assurance systems engineering symposium, Seattle, WA, 1989.
38. Babcock P, Rosch G, Zinchuk J. An automated environment for optimizing fault-tolerant systems design. In: Proceedings of the reliability and maintainability symposium, Orlando, FL, 1991. p. 360-367.
39. Tucker T. Touchdown: the development of propulsion controlled aircrafts at nasa dreyden, Monograph in aerospace history no. 16, NASA 1999.
40. McRuer D, Myers T. Advanced piloted aircraft flight control system design methodology volume I: Knowledge base. Contractor report 181726, NASA, Langley, VA, 1988.