Performability analysis of guarded-operation duration: A translation approach for reward model solutions

Performance Evaluation

Volumn 56, Issue 1-4, 2004, Pages 249-276

  Tai, Ann T ^a   Sanders, William H ^b   Alkalai, Leon ^c   Chau, Savio N ^c   Tso, Kam S ^a  

^a IA Tech Inc   (United States)

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

^c CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Duration of guarded operation; Model translation; Performability; Reduction of total performance degradation; Reward model solutions; Stochastic activity networks

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; DECISION MAKING; MATHEMATICAL MODELS; PROBLEM SOLVING; RANDOM PROCESSES;

DURATION OF GUARDED OPERATION; MODEL TRANSLATION; PERFORMABILITY; REDUCTION OF TOTAL PERFORMANCE DEGRADATION; REWARD MODEL SOLUTIONS; STOCHASTIC ACTIVITY NETWORKS (SAN);

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 1042265753     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(03)00138-X     Document Type: Conference Paper

References (20)

1. A.T. Tai, K.S. Tso, L. Alkalai, S.N. Chau, W.H. Sanders, On low-cost error containment and recovery methods for guarded software upgrading, in: Proceedings of the 20th International Conference on Distributed Computing Systems (ICDCS 2000), Taipei, Taiwan, April 2000, pp. 548-555.
2. Tai A.T., Tso K.S., Alkalai L., Chau S.N., Sanders W.H., On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading. Perform. Eval. 44:2001;211-236.
3. Tai A.T., Tso K.S., Alkalai L., Chau S.N., Sanders W.H., Low-cost error containment and recovery for onboard guarded software upgrading and beyond. IEEE Trans. Comput. 51:2002;121-137.
4. Meyer J.F., On evaluating the performability of degradable computing systems. IEEE Trans. Comput. C-29:1980;720-731.
5. R.A. Howard, Dynamic Probabilistic Systems, vol. II, Semi-Markov and Decision Processes, Wiley, New York, 1971.
6. W.H. Sanders, J.F. Meyer, A unified approach for specifying measures of performance, dependability, and performability, in: A. Avižienis, J.C. Laprie (Eds.), Dependable Computing for Critical Applications, Dependable Computing and Fault-tolerant Systems, vol. 4, Springer, Vienna, Austria, 1991, pp. 215-237.
7. G. Ciardo, A. Blackmore, P.F. Chimento, J. Muppala, K.S. Trivedi, Automated generation and analysis of Markov reward models using stochastic reward nets, in: C. Meyer, R.J. Plemmons (Eds.), Linear Algebra, Markov Chains, and Queueing Models, IMA Volumes in Mathematics and Its Applications, vol. 48, Springer, Heidelberg, Germany, 1993, pp. 145-191.
8. S. Rácz, M. Telek, Performability analysis of Markov reward models with rate and impulse reward, in: M.S.B. Plateau, W. Stewart (Eds.), Proceedings of the International Conference on Numerical Solution of Markov Chains, Zaragoza, Spain, 1999, pp. 169-187.
9. Dugan J.B., Trivedi K.S., Smotherman M.K., Geist R.M., The hybrid automated reliability predictor. AIAA J. Guidance Contr. Dyn. 9(3):1986;319-331.
10. M. Malhotra, K.S. Trivedi, A methodology for formal expression of hierarchy in model solution, in: Proceedings of the Fifth International Workshop on Petri Nets and Performance Models, Toulouse, France, October 1993, pp. 258-267.
11. Geist R., Extended behavioral decomposition for estimating ultrahigh reliability. IEEE Trans. Reliab. R-40:1991;22-28.
12. van Moorsel A.P.A., Haverkort B.R., Probabilistic evaluation for the analytical solution of large Markov chains: algorithms and tool support. Microelectron. Reliab. 36(6):1996;733-755.
13. Sanders W.H., Obal W.D. III, Qureshi M.A., Widjanarko F.K., The UltraSAN modeling environment. Perform. Eval. 24(1):1995;89-115.
14. G. Ciardo, J. Muppala, K. Trivedi, SPNP: stochastic Petri net package, in: Proceedings of the International Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989, pp. 142-151.
15. J.F. Meyer, A. Movaghar, W.H. Sanders, Stochastic activity networks: structure, behavior, and application, in: Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, July 1985, pp. 106-115.
16. A.T. Tai, K.S. Tso, W.H. Sanders, L. Alkalai, S.N. Chau, Low-cost flexible software fault tolerance for distributed computing, in: Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), Hong Kong, China, November 2001, pp. 148-157.
17. B. Littlewood, D. Wright, Stopping rules for the operational testing of safety-critical software, in: Proceedings of the Digest of the 25th Annual International Symposium on Fault-tolerant Computing, Pasadena, CA, June 1995, pp. 444-453.
18. Nicola V., van Spanje J., Comparative analysis of different models of checkpointing and recovery. IEEE Trans. Software Eng. 16:1990;807-821.
19. Coffman E.G., Gilbert E.N., Optimal strategies for scheduling checkpoints and preventive maintenance. IEEE Trans. Reliab. R-39:1990;9-18.
20. R.V. Campos, E. de Souza e Silva, Availability and performance evaluation of database systems under periodic checkpointing, in: Proceedings of the Digest of the 25th Annual International Symposium on Fault-tolerant Computing, Pasadena, CA, June 1995, pp. 269-277.