Dependability Models of Computer-Based Systems

Part of the Springer Series in Reliability Engineering book series (RELIABILITY)


Computer-based reactive systems which interact with their environment in a timely manner are called real-time systems. The main characteristics of real-time systems which distinguishes them from others is that the correctness (or healthiness) of the system depends


State Probability Safety System Demand Rate Fault Tree Continuous Time Markov Chain 


  1. 1.
    Avizienis A, Laprie J-C, Randell B (2000) Fundamental concepts of dependability. In: Proceeding of 3rd Information Survivability Workshop, pp 7–11, October 2000Google Scholar
  2. 2.
    Johnson BW (1989) Design and analysis of fault-tolerant digital systems. Addison Wesley, New YorkGoogle Scholar
  3. 3.
    Lala PK (1985) Fault tolerant and fault testable hardware design. PHIGoogle Scholar
  4. 4.
    Zang X, Sun H, Trivedi KS (1999) A BDD-based algorithm for reliability graph analysis. IEEE Trans Reliab 48(1):50–60CrossRefGoogle Scholar
  5. 5.
    Zang X (1999) Dependability modeling of computer systems and networks. PhD thesis, Department of Electrical and Computer Engineering, Duke UniversityGoogle Scholar
  6. 6.
    Dugan JB, Bavso SJ, Boyd MA (1992) Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans Reliab 41(3):362–377CrossRefGoogle Scholar
  7. 7.
    Trivedi KS (1982) Probability & statistics with reliability, queueing, and computer science applications. Prentice-Hall, Englewood CliffsGoogle Scholar
  8. 8.
    Mishra KB (1992) Reliability analysis and prediction. Elsevier, AmsterdamGoogle Scholar
  9. 9.
    Goseva-Popstojanova K, Trivedi KS (2001) Architecture-based approach to reliability assessment of software systems. Performance Evaluation 45(2–3):179–204MATHCrossRefGoogle Scholar
  10. 10.
    Pham H (2000) Software reliability. Springer, BerlinMATHGoogle Scholar
  11. 11.
    Pham H (1996) A software cost model with imperfect debugging random life cycle and penalty cost. Int J Syst Sci 25(5):455–463CrossRefGoogle Scholar
  12. 12.
    Goel AL (1985) Software reliability models: Assumptions, limitations, and applicability. IEEE Trans Softw Eng SE-2(12):1411–1423CrossRefGoogle Scholar
  13. 13.
    Littlewood B (1975) A reliability model for systems with markov structure. Appl Stat 24(2):172–177MathSciNetCrossRefGoogle Scholar
  14. 14.
    Cheung RC (1980) A user-oriented software reliability model. IEEE Trans Softw Eng 6(2):118–125CrossRefGoogle Scholar
  15. 15.
    Laprie JC (1984) Dependability evaluation of software systems in operation. IEEE Trans Softw Eng 10(6):701–714CrossRefGoogle Scholar
  16. 16.
    Kubat P (1989) Assessing reliability of modular software. Oper Res Lett 8:35–41MathSciNetMATHCrossRefGoogle Scholar
  17. 17.
    Gokhale SS, Trivedi KS (2006) Analytical models for architecture-based software reliability prediction: a unification framework. IEEE Trans Reliab 55(4):578–590CrossRefGoogle Scholar
  18. 18.
    Gokhale SS, Trivedi KS (1999) A time/structure based software reliability model. Ann Softw Eng 8:85–121CrossRefGoogle Scholar
  19. 19.
    Ledoux J (1999) Availability modeling of modular software. IEEE Trans Softw Eng 48(2):159–168MathSciNetGoogle Scholar
  20. 20.
    Shooman M (1976) Structural models for software reliability prediction. In: Proceeding of 2nd International Conference on Software Engineering. San Francisco, CA, pp 268–280Google Scholar
  21. 21.
    Yacoub S, Cukic B, Ammar HH (2004) A scenario-based reliability analysis approach for component-based software. IEEE Trans Reliab 53(4):465–480CrossRefGoogle Scholar
  22. 22.
    Xie M, Wohlin C (1995) An additive reliability model for the analysis of modular software failure data. In: Proceedings of the 6th International Symposium on Software Reliability Engineering (ISSRE’95), Toulouse, France, pp 188–194Google Scholar
  23. 23.
    Everett W (1999) Software component reliability analysis. In: Proceeding of the symposium on Application-Specific Systems and Software Engineering Technology (ASSET’99), Dallas, TX, pp 204–211Google Scholar
  24. 24.
    IEC 61508: Functional safety of electric/electronic/programmable electronic safety-related systems, Parts 0–7; October 1998–May 2000Google Scholar
  25. 25.
    Bukowski JV (2001) Modeling and analyzing the effects of periodic inspection on the performance of safety-critical systems. IEEE Trans Reliab 50(3):321–329CrossRefGoogle Scholar
  26. 26.
    Guo H, Yang X (2007) A simple reliability block diagram method for safety integrity verification. Reliab Eng Syst Saf 92:1267–1273CrossRefGoogle Scholar
  27. 27.
    Zhang T, Long W, Sato Y (2003) Availability of systems with self-diagnostics components-applying markov model to IEC 61508-6. Reliab Eng Syst Saf 80:133–141CrossRefGoogle Scholar
  28. 28.
    Bukowski JV, Goble WM (2001) Defining mean time-to-failure in a particular failure-state for multi-failure-state systems. IEEE Trans Reliab 50(2):221–228CrossRefGoogle Scholar
  29. 29.
    Brown S (2000) Overview of IEC 61508: functional safety of electrical/electronic/programmable electronic safety-related systems. Comput Control Eng J 11(1):6–12CrossRefGoogle Scholar
  30. 30.
    Bukowski JV (2005) A comparison of techniques for computing PFD average. In: RAMS 2005, pp 590–595Google Scholar
  31. 31.
    Goble WM, Bukowski JV (2001) Extending IEC61508 reliability evaluation techniques to include common circuit designs used in industrial safety systems. In: Proceeding of Annual Reliability and Maintainability Symposium, pp 339–343Google Scholar
  32. 32.
    Hokstad P, Carneliussen K (2004) Loss of safety assesment and the IEC 61508 standard. Reliab Eng Syst Saf 83:111–120CrossRefGoogle Scholar
  33. 33.
    Summers A (2000) Viewpoint on ISA TR84.0.02-simplified methods and fault tree analysis. ISA Trans 39(2):125–131CrossRefGoogle Scholar
  34. 34.
    Scherrer C, Steininger A (2003) Dealing with dormant faults in an embedded fault-tolerant computer system. IEEE Trans Reliab 52(4):512–522CrossRefGoogle Scholar
  35. 35.
    Delong TA, Smith T, Johnson BW (2005) Dependability metrics to assess safety-critical systems. IEEE Trans Reliab 54(2):498–505CrossRefGoogle Scholar
  36. 36.
    Choi CY, Johnson RW, Profeta JA III (1997) Safety issues in the comparative analysis of dependable architectures. IEEE Trans Reliab 46(3):316–322CrossRefGoogle Scholar
  37. 37.
    Bukowski JV (2006) Incorporating process demand into models for assessment of safety system performance. In: RAMS 2006, pp 577–581Google Scholar
  38. 38.
    Rouvroye JL, Brombacher AC (1999) New quantitative safety standards: different techniques, different results? Reliab Eng Syst Saf 66:121–125CrossRefGoogle Scholar
  39. 39.
    Manoj K, Verma AK, Srividya A (2007) Analyzing effect of demand rate on safety of systems with periodic proof-tests. Int J Autom Comput 4(4):335–341CrossRefGoogle Scholar
  40. 40.
    Manoj K, Verma AK, Srividya A (2008) Modeling of demand rate and imperfect proof-test and analysis of their effect on system safety. Reliab Eng Syst Saf 93:1720–1729CrossRefGoogle Scholar
  41. 41.
    Manoj K, Verma AK, Srividya A (2008) Incorporating process demand in safety evaluation of safety-related systems. In: Proceeding of Int Conf on Reliability, Safety and Quality in Engineering (ICRSQE-2008), pp 378–383Google Scholar
  42. 42.
    Cox DR, Miller HD (1970) The theory of stochastic processes. Methuen & Co, LondonGoogle Scholar
  43. 43.
    Darroch JN, Seneta E (1967) On quasi-stationary distributions in absorbing continuous-time finite markov chains. J Appl Probab 4:192–196MathSciNetMATHCrossRefGoogle Scholar
  44. 44.
    Marsan MA, Chiola G (1987) On petri nets with deterministic and exponentially distributed firing times. In: Advances in Petri Nets 1986, Lecture Notes in Computer Science 266, pp 132–145Google Scholar
  45. 45.
    Varsha M, Trivedi KS (1994) Transient analysis of real-time systems using deterministic and stochastic petri nets. In: Int’l Workshop on Quality of Communication-Based SystemsGoogle Scholar
  46. 46.
    Khobare SK, Shrikhande SV, Chandra U, Govidarajan S (1998) Reliability analysis of micro computer modules and computer based control systems important to safety of nuclear power plants. Reliab Eng Syst Saf 59(2):253–258CrossRefGoogle Scholar
  47. 47.
    Khobare SK, Shrikhande SV, Chandra U, Govidarajan G (1995) Reliability assessment of standardized microcomputer circuit boards used in C&I systems of nuclear reactors. Technical report BARC/1995/013Google Scholar
  48. 48.
    Trivedi KS (2001) SPNP user’s manual, version 6.0. Technical reportGoogle Scholar
  49. 49.
    Zimmermann A, and Knoke M (2007) TimeNET 4.0 user manual. Technical report, August 2007Google Scholar

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.Department of Electrical EngineeringIndian Institute of Technology Bombay (IITB)Powai, MumbaiIndia
  2. 2.Department of Civil EngineeringIndian Institute of Technology Bombay (IITB)Powai, MumbaiIndia

Personalised recommendations