Evaluation of Fault-Tolerant Software: A Performability Modeling Approach
A comparative evaluation of recovery blocks and N-version programming (N = 3) is accomplished by means of performability modeling. For each scheme, a corresponding stochastic process model is constructed by employing a hierarchical modeling framework. Comparison is based on a performability measure that quantifies software “effectiveness” in a designated operational environment. The evaluation results reveal some interesting differences between the two schemes; in addition, they point to certain inadequacies in the use of computational redundancy which could serve as the basis for design modification.
KeywordsExecution Time Decision Function Catastrophic Failure Acceptance Test Related Fault
Unable to display preview. Download preview PDF.
- A. Avizienis. Software fault tolerance. Information Processing 89: Proc. of the IFIP Congress 89 (G. X. Ritter, ed.), 1989, pp. 491-498.Google Scholar
- A. Avizienis, L. Chen. On the implementation of N-Version Programming for software fault-tolerance during program execution. Proc. of COMPSAC-77, 1977, pp. 149-155.Google Scholar
- A. Grnarov, J. Arlat, A. Avižienis. On the performance of software fault-tolerance strategies. Proc. Int. Symposium on Fault-Tolerant Computing, (Kyoto, Japan), October 1980, pp. 251-253.Google Scholar
- E. Gelenbe, I. Mitrani. Modeling the execution of block structured processes with hardware and software failures. Mathematical Computer Performance and Reliability (G. Iazeolla et al., eds.), Elsevier Science Publishers B. V, North-Holland, 1984, pp. 329–339.Google Scholar
- P. F. Chimento, K. S. Trivedi. The performance of block structured programs on processors subject to failure and repair. High Performance Computer Systems (E. Gelenbe, ed.), Elsevier Science Publishers B. V, North-Holland, 1988, pp. 269–280.Google Scholar
- M. C. Hsueh, B. K. Iyer. A measurement-based performability model for a multiprocessor system. Computer Performance and Reliability. (G. Iazeolla et al., eds.), Elsevier Science Publishers B. V, North-Holland, 1988, pp. 337–351.Google Scholar
- A. T. Tai. Performability concepts and modeling techniques for real-time software. Ph.D. dissertation, UCLA Computer Science Department, Los Angeles, CA, December 1991.Google Scholar