Performability Analysis for Software-Intensive System Considering Variety of Tasks and Operation-Oriented Restoration

References

• Beaudry, M. D. (1978). Performance-related reliability measures for computing systems. IEEE Transactions on Computers, 27(6), 540–547.
   Google Scholar
• Eto, H. and Dohi, T. (2006). Analysis of a service degradation model with preventive rejuvenation. In Service Availability, 3rd International Service Availability Symposium (Edited by D. Penkler, M. Reitenspiess and F. Tam), LNCS 4328, 17–29, Springer-Verlag, Berlin.
   Google Scholar
• Fukuda, M., Tokuno, K. and Yamada, S. (2008). Markovian performance evaluation for software system availability with processing time limit. In Recent Advances in Reliability and Quality in Design (Edited by H. Pham), 225–238, Springer-Verlag, London.
   Google Scholar
• Garg, S., Puliafito, A., Telek, M. and Trivedi, S. K. (1998). Analysis of preventive maintenance in transactions based software systems. IEEE Transactions on Computers, 47(1), 96–107.
   Google Scholar
• Ihara, H. (1994). A review of real time systems. Journal of Information Processing Society of Japan, 35(1), 12–17 (in Japanese).
   Google Scholar
• Lyu, M. R., ed. (1996). Handbook of Software Reliability Engineering. IEEE CS Press, McGraw-Hill, Los Alamitos, California.
   Google Scholar
• Meyer, J. F. (1980). On evaluating the performability of degradable computing systems. IEEE Transactions on Computers, 29(8), 720–731.
   Google Scholar
• Moranda, P. B. (1979). Event-altered rate models for general reliability analysis. IEEE Transactions on Reliability, 28(5), 376–381.
   Google Scholar
• Muppala, J. K., Woolet, S. P. and Trivedi, K. S. (1991). Real-time-systems performance in the presence of failures. Computer, 24(5), 37–47.
   Google Scholar
• Musa, J. D. (1999). Software Reliability Engineering, McGraw-Hill, New York.
   Google Scholar
• Nakamura, M. and Osaki, S. (1984). Performance reliability evaluation of a multi-processor system with computational demands. International Journal of Systems Sciences, 15(1), 95–105.
   Google Scholar
• Okamura, H., Miyahara, S. and Dohi, T. (2003). Dependability analysis of a transaction-based multi-server system with rejuvenation. IEICE Transactions on Fundamentals, 86(8), 2081–2090.
   Google Scholar
• Osaki, S. (1992). Applied Stochastic System Modeling, Springer-Verlag, Heidelberg.
   Google Scholar
• Pfening, A., Garg, S., Puliafito, A., Telek, M. and Trivedi, S. K. (1996). Optimal software rejuvenation for tolerating soft failures. Performance Evaluation, 27–28, 491–506.
   Google Scholar
• Pham, H. (2000). Software Reliability, Springer-Verlag, Singapore.
   Google Scholar
• Ross, S. M. (2007). Introduction to Probability Models, 9th edition. Academic Press, San Diego.
   Google Scholar
• Schwefel, H. P. and Antonios, I. (2007). Performability models for multi-server systems with high-variance repair durations. Proceedings of the 37th Annual IEEEIFIP International Conference on Dependable Systems and Networks, 770–779.
   Google Scholar
• Sols, A. (1997). System degraded availability. Reliability Engineering & System Safety, 56(1), 91–94.
   Google Scholar
• Tokuno, K. and Yamada, S. (1998). Operational software availability measurement with two kinds of restoration actions. Journal of Quality in Maintenance Engineering, 4(4), 273–283.
   Google Scholar
• Tokuno, K. and Yamada, S. (2006). Stochastic performance evaluation for multi-task processing system with software availability model. Journal of Quality in Maintenance Engineering, 12(4), 412–424.
   Google Scholar
• Tortorella, M. (2005). Service reliability theory and engineering, I: Foundations. Quality Technology and Quantitative Management, 2(1), 1–16.
   Google Scholar
• Tortorella, M. (2005). Service reliability theory and engineering, II: Models and examples. Quality Technology and Quantitative Management, 2(1), 17–37.
   Google Scholar
• Yamada, S. (2002). Software reliability models. In Stochastic Models in Reliability and Maintenance (Edited by S. Osaki), 253–280, Springer-Verlag, Berlin Heidelberg.
   Google Scholar
• Zhang, L. J., Zhang, J. and Cai, H. (2007). Services Computing, Springer-Verlag, New York.
   Google Scholar
• Zhang, L. J. (2008). EIC editorial: Introduction to the body of knowledge areas of services computing. IEEE Transactions on Services Computing, 1(2), 62–74.
   Google Scholar