Markovian availability measurement and assessement for hardware-software system

International Journal of Reliability, Quality and Safety Engineering

Volumn 4, Issue 3, 1997, Pages 257-268

  Tokuno, Koichi ^a   Yamada, Shigeru ^a  

^a TOTTORI UNIVERSITY   (Japan)

Author keywords

Hardware software system; Hardware software co design; Instantaneous availability; Markov process; Software reliability growth

Indexed keywords

EID: 0041352790     PISSN: 02185393     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218539397000187     Document Type: Article

References (13)

1. G. De Micheli, "A survey of problems and methods for computer-aided hardware/software co-design", Journal of Information Processing Society of Japan 36 (1995), pp. 605-613.
2. S. Yamada, "Software quality/reliability measurement and assessment: Software reliability growth models and data analysis", Journal of Information Processing 14 (1991), pp. 254-266.
3. K. Okumoto and A. L. Goel, "Availability and other performance measures for system under imperfect maintenance", Proc. COMPSAC '78 (1978), pp. 66-71.
4. J. H. Kim, Y. H. Kim, and C. J. Park, "A modified Markov model for the estimation of computer software performance", Operations Research Letters 1 (1982), pp. 253-257.
5. K. Tokuno and S. Yamada, "A Markovian software availability measurement with a geometrically decreasing failure-occurrence rate", IEICE Trans. Fundamentals E78-A (1995), pp. 737-741.
6. A. L. Goel and J. Soenjoto, "Models for hardware-software system operationalperformance evaluation", IEEE Trans. Reliability R-30 (1981), pp. 232-239.
7. J.-C. Laprie, K. Kanoun, C. Béounes, and M. Kaâniche, "The KAT (Knowledge-Action-Transformation) approach to the modeling and evaluation of reliability and availability growth", IEEE Trans. Software Engineering SE-17 (1991), pp. 370-382.
8. J.-C. Laprie and K. Kanoun, "X-ware reliability and availability modeling", IEEE Trans. Software Engineering SE-18 (1992), pp. 130-147.
9. S. Osaki, Applied Stochastic System Modeling (Springer-Verlag, Heidelberg, 1992).
10. S. Yamada, K. Tokuno, and S. Osaki, "Software reliability measurement in imperfect debugging environment and its application", Reliability Engineering & System Safety 40 (1993), pp. 139-147.
11. P. B. Moranda, "Event-altered rate models for general reliability analysis", IEEE Thins. Reliability R-28 (1979), pp. 376-381.
12. J. D. Musa, A. Iannino, and K. Okumoto, Software Reliability: Measurement, Prediction, Application (McGraw-Hill, New York, 1987).
13. Y. Nakagawa and I. Takenaka, "Error complexity model for software reliability estimation" (in Japanese), Trans. IEICE J74-D-I (1991), pp. 379-386. 1991