Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Avizienis. Software fault tolerance. Information Processing 89: Proc. of the IFIP Congress 89 (G. X. Ritter, ed.), 1989, pp. 491-498.
B. Randell. System structure for software fault tolerance. IEEE Trans. Software Engineering, Vol. SE-12, June 1975, pp. 220–23.
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.
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.
J. Arlat, K. Kanoun, J-C. Laprie. Dependability modeling and evaluation of software fault-tolerance systems. IEEE Trans. Computers, Vol. C-39, April 1990, pp. 504–512.
S. Leu, E. B. Fernandez, T. Khoshgoftaar. Fault-tolerant software reliability modeling using petri-nets. Microelectronics and Reliability, Vol. 31, No. 4, 1991, pp. 645–667.
G. Pucci. A new approach to the modeling of recovery block structure. IEEE Trans. Software Engineering, Vol. SE-18, February 1992, pp. 159–167.
J. F. Meyer. On evaluating the performability of degradable computing systems. IEEE Trans. Computers, Vol. C-29, August 1980, pp. 720–731.
J. F. Meyer. Performability: a retrospective and some pointers to the future. Performance Evaluation, Vol. 14, 1992, pp. 139–156.
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.
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.
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.
A. T. Tai. Performability concepts and modeling techniques for real-time software. Ph.D. dissertation, UCLA Computer Science Department, Los Angeles, CA, December 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Wien
About this paper
Cite this paper
Tai, A.T., Avižienis, A., Meyer, J.F. (1993). Evaluation of Fault-Tolerant Software: A Performability Modeling Approach. In: Landwehr, C.E., Randell, B., Simoncini, L. (eds) Dependable Computing for Critical Applications 3. Dependable Computing and Fault-Tolerant Systems, vol 8. Springer, Vienna. https://doi.org/10.1007/978-3-7091-4009-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-7091-4009-3_5
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-4011-6
Online ISBN: 978-3-7091-4009-3
eBook Packages: Springer Book Archive