Abstract
An adaptive scheme for software fault-tolerance is evaluated from the point of view of performability, comparing it with previously published analyses of the more popular schemes, recovery blocks and multiple version programming. In the case considered, this adaptive scheme, “Self-Configuring Optimistic Programming” (SCOP), is equivalent to N-version programming in terms of the probability of delivering correct results, but achieves better performance by delaying the execution of some of the variants until it is made necessary by an error. A discussion follows highlighting the limits in the realism of these analyses, due to the assumptions made to obtain mathematically tractable models, to the lack of experimental data and to the need to consider also resource consumption in the definition of the models. We consider ways of improving usability of the results of comparative evaluation for guiding design decisions.
Preview
Unable to display preview. Download preview PDF.
References
J. C. Laprie, J. Arlat, C. Beounes and K. Kanoun, “Definition and Analysis of Hardware-and-Software Fault-Tolerant Architectures,” IEEE Computer, Vol. 23, pp. 39–51, 1990.
J. Arlat, K. Kanoun and J. C. Laprie, “Dependability Modelling and Evaluation of Sofware Fault-Tolerant Systems,” IEEE TC, Vol. C-39, pp. 504–512, 1990.
IEEE-TR, “Special Issue on Fault-Tolerant Sofware,” IEEE TR, Vol. R-42, pp. July, 1993.
B. Randell, “System Structure for Software Fault Tolerance,” IEEE TSE, Vol. SE-1, pp. 220–232, 1975.
A. Avizienis and L. Chen, “On the Implementation of N-Version Programming for Software Fault Tolerance During Program Execution,” in Proc. COMPSAC 77, 1977, pp. 149–155.
F. Di Giandomenico and L. Strigini, “Adjudicators for Diverse Redundant Components,” in Proc. SRDS-9, Huntsville, Alabama, 1990, pp. 114–123.
A. Avizienis and J. P. J. Kelly, “Fault Tolerance by Design Diversity: Concepts and Experiments,” IEEE Computer, Vol. 17, pp. 67–80, 1984.
L. Strigini, “Software Fault Tolerance,” PDCS ESPRIT Basic Research Action Technical Report No. 23, July 1990.
G. F. Sullivan and G. M. Masson, “Using Certification Trails to Achieve Software Fault Tolerance,” in Proc. FTCS-20, Newcastle-upon-Tyne, U.K., 1990, pp. 423–431.
A. Bondavalli, F. Di Giandomenico and J. Xu, “A Cost-Effective and Flexible Scheme for Software Fault Tolerance,” Journal of Computer Systems Science and Engineering, Vol. 8, pp. 234–244, 1993.
J. F. Meyer, “On evaluating the performability of degradable computing systems,” IEEE TC, Vol. C-29, pp. 720–731, 1980.
A. T. Tai, A. Avizienis and J. F. Meyer, “Evaluation of fault tolerant software: a performability modeling approach,” in DCCA-3, C. E. Landwher, B. Randell and L. Simoncini Ed., Springer-Verlag, 1992, pp. 113–135.
A. T. Tai, A. Avizienis and J. F. Meyer, “Performability Enhancement of Fault-Tolerant Software,” IEEE TR, Sp. Issue on Fault tolerant Software, Vol. R-42, pp. 227–237, 1993.
M. R. Lyu and Y. He, “Improving the N-Version Programming Process Through the Evolution of a Design Paradigm,” IEEE Trans. on Reliability, Sp. Issue on Fault tolerant Software, Vol. 42, pp. 179–189, 1993.
S. Chiaradonna, A. Bondavalli and L. Strigini, “Comparative Performability Evaluation of RB, NVP and SCOP,” CNUCE/CNR Technical Report No. C94-02, 1994.
J. P. J. Kelly, A. Avizienis, B. T. Ulery, B. J. Swain, R.-T. Lyu, A. Tai and K.-S. Tso, “Multi-Version Software Development,” in Proc. IFAC SAFECOMP-86, Sarlat, France, 1986, pp. 43–49.
S. S. Brilliant, J. C. Knight and N. G. Leveson, “Analysis of Faults in an N-Version Software Experiment,” IEEE TSE, Vol. SE-16, pp. 238–247, 1990.
P. G. Bishop and F. D. Pullen, “PODS Revisited — A Study of Software Failure Behaviour,” in Proc. FTCS-18, Tokyo, Japan, 1988, pp. 1–8.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chiaradonna, S., Bondavalli, A., Strigini, L. (1994). On performability modeling and evaluation of software fault tolerance structures. In: Echtle, K., Hammer, D., Powell, D. (eds) Dependable Computing — EDCC-1. EDCC 1994. Lecture Notes in Computer Science, vol 852. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58426-9_126
Download citation
DOI: https://doi.org/10.1007/3-540-58426-9_126
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58426-1
Online ISBN: 978-3-540-48785-2
eBook Packages: Springer Book Archive