DEPEND: A simulation-based environment for system level dependability analysis

IEEE Transactions on Computers

Volumn 46, Issue 1, 1997, Pages 60-74

  Goswami, Kumar K ^a   Iyer, Ravishankar K ^b,d   Young, Luke ^c,d  

^a On Live Technologies   (United States)

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

^c HEWLETT PACKARD COMPANY   (United States)

^d IEEE

Author keywords

Correlated errors; Dependability analysis; Fault injection; Intercomponent dependence; Latent errors; Object oriented design; Simulation; Tandem TMR based prototype analysis; Validation

Indexed keywords

COMPUTER SIMULATION; ERROR ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SOFTWARE PROTOTYPING; UNIX;

CORRELATED ERRORS; FAULT INJECTION; LATENT ERRORS; SOFTWARE PACKAGE DEPEND; SYSTEM LEVEL DEPENDABILITY ANALYSIS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0031388396     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.559803     Document Type: Article

References (47)

1. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.C. Fabre, J.C. Laprie, E. Martins, and D. Powell, "Fault Injection for Dependability Validation: A Methodology and Some Applications," IEEE Trans. Software Eng., vol. 16, no. 2, pp. 166-182, Feb. 1990.
2. S.J. Bavuso, J.B. Dugan, K.S. Trivedi, E.M. Rothman, and W.E. Smith, "Analysis of Typical Fault-Tolerant Architectures Using HARP," IEEE Trans. Reliability, vol. 36, no. 2, pp. 176-185, June 1987.
3. J. Carreira, H. Madeira, and J. Gabriel Silva, "Xception: Software Fault Injection and Monitoring in Processor Functional Units," Proc. Fifth Int'l Working Conf. Dependable Computing for Critical Applications, pp. 135-149, Urbana, III., Sept. 1995.
4. X. Castillo and D. Siewiorek, "A Workload Dependent Software Reliability Prediction Model," Proc. 12th Int'l Symp. Fault-Tolerant Computing, Santa Monica, Calif., June 1982.
5. R. Chillarege and R.K. Iyer, "Measurement-Based Analysis of Error Latency," IEEE Trans. Computers, vol. 36, no. 5, May 1987.
6. R. Chillarege, "Understanding Large System Failures - A Fault Injection Experiment," Proc. 19th Int'l Symp. Fault-Tolerant Computing, pp. 356-363, Chicago, June 1989.
7. G. Ciardo, J. Muppala, and K. Trivedi, "SPNP: Stochastic Petri Net Package," Proc. Int'l Conf. Petri Nets and Performance Models, Kyoto, Japan, Dec. 1989.
8. J.A. Clark and D.K. Pradhan, "A Simulated Fault-Injection Testbed for Alternative TMR Architectures," Technical Report TR-92-CSE-1, Univ. of Massachusetts, Jan. 1992.
9. P.J. Courtois, "Decomposability, Instabilities, and Saturation in Multiprogramming Systems," Comm. ACM, vol. 18, no. 7, pp. 371-377, July 1975.
10. J.B. Dugan and K.S. Trivedi, "Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems," IEEE Trans. Computers, vol. 38, no. 6, pp. 775-787, June 1989.
11. A. Dupuy, J. Schwartz, Y. Yemini, and D. Bacon, "NEST: A Network Simulation and Prototyping Testbed," Comm. ACM, vol. 33, no. 10, pp. 64-74, Oct. 1990.
12. R. Geist and K. Trivedi, "Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques," Computer, vol. 23, no. 7, pp. 52-61, July 1990.
13. K.K. Goswami and R.K. Iyer, "DEPEND: A Design Environment for Prediction and Evaluation of System Dependability," Proc. Ninth Digital Avionics Systems Conf., Oct. 15, 1990.
14. K.K. Goswami, R.K. Iyer, and M. Devarakonda, "Prediction-Based Dynamic Load-Sharing Heuristics," IEEE Trans. Parallel and Distributed Systems, vol. 4, no. 6, pp. 638-648, June 1993.
15. K.K. Goswami and R.K. Iyer, "Use of Hybrid and Hierarchical Simulation to Reduce Computation Costs," Proc. Int'l Workshop Modeling Analysis & Simulation of Computer & Telecommunication Systems, pp. 197-202, San Diego, Jan. 1993.
16. K.K. Goswami and R.K. Iyer, "DEPEND: A Simulating-Based Environment for System Level Dependability Analysis," Technical Report CRHC-92-11, Coordinated Science Laboratory, Univ. of Illinois, June 1992.
17. K.K. Goswami and R.K. Iyer, "Simulation of Software Behavior Under Hardware Faults," Proc. 23rd Int'l Symp. Fault-Tolerant Computing, Toulouse, France, June 1993.
18. S. Han, K.G. Shin, and H.A. Rosenberg, "DOCTOR: An IntegrateD SOftware Fault InjeCTiOn EnviRonment for Distributed Real-Time Systems," Proc. Int'l Computer Performance and Dependability Symp., pp. 204-213, Erlangen, Germany, April 1995.
19. H. Hecht and E. Fiorentino, "Reliability Assessment of Spacecraft Electronics," Proc. Ann. Reliability and Maintainability Symp., pp. 341-346, 1987.
20. M.C. Hsueh, R.K. Iyer, and K.S. Trivedi, "Performability Modeling Based on Real Data: A Case Study," IEEE Trans. Computers, vol. 37, no. 4, Apr. 1988.
21. O.C. Ibe, R.C. Howe, and K.S. Trivedi, "Approximate Availability Analysis of VAXcluster Systems," IEEE Trans. Reliability, vol. 38, no. 1, pp. 146-152, Apr. 1989.
22. IEEE Standard VHDL Language Reference Manual-Std 1076-1987, IEEE Press, 1988.
23. R.K. Iyer, S.E. Butner, and E.J. McCluskey, "A Statistical Failure/Load Relationship: Results of a Multicomputer Study," IEEE Trans. Software Eng., vol. 8, pp. 354-370, July 1982.
24. R.K. Iyer and D. Tang, "Experimental Analysis of Computer System Dependability," Technical Report CRHC-93-15, Coordinated Science Laboratory, Univ. of Illinois, June 1993.
25. D. Jewett, "Integrity S2: A Fault-Tolerant Unix Platform," Proc. 21st Int'l Symp. Fault-Tolerant Computing, Montreal, June 1991.
26. A.M. Johnson and M.A. Schoenfelder, "Rainbow Net Analysis of VAXcluster System Availability," IEEE Trans. Reliability, July 1991.
27. G. Kanawati, N. Kanawati, and J. Abraham, "FERRARI: A Tool for the Validation of System Dependability Properties," Proc. 22nd Int'l Symp. Fault-Tolerant Computing, pp. 336-344, Boston, July 1992.
28. W. Kao and R.K. Iyer, "DEFINE: A Distributed Fault Injection and Monitoring Environment," Fault-Tolerant Parallel and Distributed Systems, D.K. Pradhan and D.R. Avresky, eds., pp. 252-259. Los Alamitos, Calif.: IEEE CS Press, 1995.
29. H. Kobayashi, Modeling and Analysis: An Introduction to System Performance Evaluation Methodology Simulation Modeling and Analysis. Addison-Wesley, 1978.
30. E.E. Lewis, F. Boehm, C. Kirsch, and B.P. Kelkhoff, "Monte Carlo Simulation of Complex System Mission Reliability," Proc. Winter Simulation Conf., pp. 497-504, 1989.
31. M.H. MacDougall and J.S. McAlpine, "Computer Simulation with ASPOL," Symp. Simulation of Computer Systems, pp. 93-103, ACM/SIGSIM, 1973.
32. B. Melamed and R.J.T. Morris, "Visual Simulation: The Performance Analysis Workstation," Computer, vol. 18, no. 8, pp. 87-94, Aug. 1985.
33. B. Meyer, Object-Oriented Software Construction. Prentice Hall, 1988.
34. J.F. Meyer and L. Wei, "Influence of Workload on Error Recovery in Random Access Memories," IEEE Trans. Computers, vol. 37, no. 4, pp. 500-507, Apr. 1988.
35. V.F. Nicola, M.K. Nakayama, P. Heidelberger, and A. Goyal, "Fast Simulation of Dependability Models with General Failure, Repair and Maintenance Processes," Proc. 20th Int'l Symp. Fault-Tolerant Computing, England, June 1990.
36. R.A. Sahner and K.S. Trivedi, "Reliability Modeling Using SHARPE," IEEE Trans. Reliability, vol. 36, no. 2, pp. 186-193, June 1987.
37. W.H. Sanders, W.D. Obal II, M.A. Qureshi, and F.K. Widjanarko, "The UltraSAN Modeling Environment," Performance Evaluation, vol. 24, no. 1, pp. 89-115, Oct.-Nov. 1995.
38. C.H. Sauer, E.A. MacNair, and J.F. Kurose, "RESQ: CMS User's Guide," IBM Research Report RA-139, Yorktown Heights, N.Y., Apr. 1982.
39. H. Schwetman, "CSIM: A C-Based Process-Oriented Simulation Language," Proc. Winter Simulation Conf., 1986.
40. Z. Segall, D. Vrsalovic, D. Siewiorek, D. Yaskin, J Kownacki, J. Barton, R. Dancey, A. Robinson, and T. Lin, "FIAT - Fault Injection Based Automated Testing Environment," Proc. 18th Int'l Symp. Fault-Tolerant Computing, pp. 102-107, Tokyo, June 1988.
41. SES, Inc., "SES/ Sim Simulation Language Reference Manual," Austin, Tex., Mar. 1989.
42. D. Tang, R.K. Iyer, S.S. Subramani, "Failure Analysis and Modeling of a VAXcluster System," Proc. 20th Int'l Symp. Fault-Tolerant Computing, England, June 1990.
43. D. Tang and R.K. Iyer, "Analysis and Modeling of Correlated Failures in Multicomputer Systems," IEEE Trans. Computers, vol. 42, no. 1, Jan. 1993.
44. K.S. Trivedi and R.M. Geist, "Decomposition in Reliability Analysis of Fault-Tolerant Systems," IEEE Trans. Reliability, vol. 32, no. 5, pp. 433-468, Dec. 1983.
45. T.K. Tsai, R.K. Iyer, and D. Jewett, "An Approach Towards Benchmarking of Fault-Tolerant Commercial Systems," Pros. 26th Int'l Symp. Fault-Tolerant Computing 1996, pp. 314-323, Sendai, Japan, June 1996.
46. A.S. Wein and A. Sathaye, "Validating Complex Computer System Availability Models," IEEE Trans. Reliability, vol. 39, no. 4, pp. 458-479, Oct. 1990.
47. L. Young, R.K. Iyer, K.K. Goswami, and C. Alonso, "A Hybrid Monitor Assisted Fault Injection Environment," Proc. Third IFIP Conf. Dependable Computing for Critical Applications, Sicily, Sept. 1992.