Skip to main content
SpringerLink
Log in

Software Availability Theory and Its Applications

  • Chapter
Handbook of Reliability Engineering

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Goel AL. Software reliability models: assumptions, limitations, and applicability. IEEE Trans Software Eng 1985;SE-11:1411–23.

    Google Scholar 

  2. Lyu MR, editor. Handbook of software reliability engineering. Los Alamitos (CA): IEEE Computer Society Press, 1996.

    Google Scholar 

  3. Malaiya YK, Srimani PK, editors. Software reliability models: theoretical developments, evaluation and applications. Los Alamitos (CA): IEEE Computer Society Press; 1991.

    Google Scholar 

  4. Musa JD. Software reliability engineering. New York: McGraw-Hill; 1999.

    Google Scholar 

  5. Pham H. Software reliability. Singapore: Springer-Verlag; 2000.

    Google Scholar 

  6. Xie M. Software reliability modelling. Singapore: World Scientific; 1991.

    Google Scholar 

  7. Yamada S. Software reliability models: fundamentals and applications (in Japanese). Tokyo: JUSE Press; 1994.

    Google Scholar 

  8. Yamada S. Software reliability models. In: Osaki S, editor. Stochastic models in reliability and maintenance. Berlin: Springer-Verlag; 2002. p.253–80.

    Google Scholar 

  9. Laprie J-C, Kanoun K, Béounes C, Kaâniche M. The KAT (knowledge-action-transformation) approach to the modeling and evaluation of reliability and availability growth. IEEE Trans Software Eng 1991;17: 370–82.

    Article  Google Scholar 

  10. Laprie J-C, Kanoun K. X-ware reliability and availability modeling. IEEE Trans Software Eng 1992;18: 130–47.

    Article  Google Scholar 

  11. Tokuno K, Yamada S. User-oriented software reliability assessment technology (in Japanese). Bull Jpn Soc Ind Appl Math 2000;10:186–97.

    Google Scholar 

  12. Ross SM. Stochastic processes, second edition. New York: John Wiley & Sons; 1996.

    Google Scholar 

  13. Ohba M, Chou X. Does imperfect debugging affect software reliability growth?. In: Proceedings of 11th IEEE International Conference on Software Engineering 1989;p.237–44.

    Google Scholar 

  14. Tokuno K, Yamada S. An imperfect debugging model with two types of hazard rates for software reliability measurement and assessment. Math Comput Modell 2000;31:343–52.

    MathSciNet  Google Scholar 

  15. Okumoto K, Goel AL. Availability and other performance measures for system under imperfect maintenance. In: Proceedings of COMPSAC’78, 1978;p.66–71.

    Google Scholar 

  16. Kim JH, Kim YH, Park CJ. A modified Markov model for the estimation of computer software performance. Oper Res Lett 1982;1:253–57.

    Article  Google Scholar 

  17. Jelinski Z, Moranda PB. Software reliability research. In: Freiberger W, editor. Statistical computer performance evaluation. New York: Academic Press, 1972. p.465–84.

    Google Scholar 

  18. Tokuno K, Yamada S. A Markovian software availability measurement with a geometrically decreasing failure-occurrence rate. IEICE Trans Fundam 1995;E78-A:737–41.

    Google Scholar 

  19. Tokuno K, Yamada S. Markovian software availability modeling for performance evaluation. In: Christer AH, Osaki S, Thomas LC, editors. Stochastic modelling in innovative manufacturing: proceedings. Berlin: Springer-Verlag; 1997. p.246–56.

    Google Scholar 

  20. Tokuno K, Yamada S. Software availability model with a decreasing fault-correction rate (in Japanese). J Reliab Eng Assoc Jpn 1997;19:3–12.

    Google Scholar 

  21. Moranda PB. Event-altered rate models for general reliability analysis. IEEE Trans Reliab 1979;R-28:376–81.

    Google Scholar 

  22. Yamada S, Tokuno K, Osaki S. Software reliability measurement in imperfect debugging environment and its application. Reliab Eng Syst Saf 1993;40:139–47.

    Article  Google Scholar 

  23. Nakagawa Y, Takenaka I. Error complexity model for software reliability estimation (in Japanese). Trans IEICE D-I 1991;J74-D-I:379–86.

    Google Scholar 

  24. Tokuno K, Yamada S. Markovian software availability measurement based on the number of restoration actions. IEICE Trans Fundam 2000;E83-A:835–41.

    Google Scholar 

  25. Tokuno K, Yamada S. A Markovian software availability model for operational use (in Japanese). J Jpn Soc Software Sci Technol 1998;15:17–24.

    Google Scholar 

  26. Tokuno K, Yamada S. Markovian availability measurement with two types of software failures during the operation phase. Int J Reliab Qual Saf Eng 1999;6:43–56.

    Google Scholar 

  27. Tokuno K, Yamada S. Operational software availability measurement with two kinds of restoration actions. J Qual Mainten Eng 1998;4:273–83.

    Google Scholar 

  28. Tokuno K, Yamada S. Markovian software availability modeling with degenerated performance. In: Lydersen S, Hansen GK, Sandtorv HA, editors. Proceedings of the European Conference on Safety and Reliability, vol. 1. Rotterdam: AA Balkema, 1998;1:425–31.

    Google Scholar 

  29. Beaudry MD. Performance-related reliability measures for computing systems. IEEE Trans Comput 1978;C-27:540–7.

    Google Scholar 

  30. De Micheli G. A survey of problems and methods for computer-aided hardware/software co-design. J Inform Process Soc Jpn 1995;36:605–13.

    Google Scholar 

  31. Goel AL, Soenjoto J. Models for hardware-software system operational-performance evaluation. IEEE Trans Reliab 1981;R-30:232–9.

    Google Scholar 

  32. Tokuno K, Yamada S. Markovian availability modeling for software-intensive systems. Int J Qual Reliab Manage 2000;17:200–12.

    Google Scholar 

  33. Leveson NG. Safeware: system safety and computers. New York: Addison-Wesley; 1995.

    Google Scholar 

  34. Tokuno K, Yamada S. Stochastic software safety/reliability measurement and its application. Ann Software Eng 1999;8:123–45.

    Article  Google Scholar 

  35. Tokuno K, Yamada S. Markovian reliability modeling for software safety/availability measurement. In: Pham H, editor. Recent advances in reliability and quality engineering. Singapore: World Scientific; 2001. p.181–201.

    Google Scholar 

Download references

Authors
  1. Koichi Tokuno
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shigeru Yamada
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Rutgers University, Piscataway, New Jersey, USA

    Hoang Pham PhD

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag London Limited

About this chapter

Cite this chapter

Tokuno, K., Yamada, S. (2003). Software Availability Theory and Its Applications. In: Pham, H. (eds) Handbook of Reliability Engineering. Springer, London. https://doi.org/10.1007/1-85233-841-5_13

Download citation

  • DOI: https://doi.org/10.1007/1-85233-841-5_13

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-85233-453-6

  • Online ISBN: 978-1-85233-841-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation