Abstract
A fault-tolerant software system composed of a number of diverse versions as well as of a voting system determined by a predefined majority algorithm is characterized at each output evaluation by one of the following three states:
-
a)
The system is in a reliable state R, if it produces a correct output (adjudicated from a majority of correct results).
-
b)
The system is in an incorrect state I, if part of the output adjudicated is incorrect, due to a majority of (partly) wrong results.
-
c)
The system is in a stop state S, if there is no output majority and therefore each diverse result has to be rejected. This implies an interruption of the operational phase.
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.
Similar content being viewed by others
References
M. Barnes, P.G. Bishop. B. Bjarland, G. Dahll, D. Esp P. Humphreys, J. Lahti. L. Yoshimura, A. Ball, O. Hatlevold: PODS (The Project on Diverse Software). OECD Halden Reactor Project, HPR-323, June 1985
M. Barnes. P. Bishop, B. Bjarland, G. Dahll, D. Esp, J. Lahti, H. VAlisuo, P. Humphreys: Software Testing and Evaluation Methods (The STEM Project). OECD Halden Reactor Project, HWR-210, May 1987
K.S. Tso, A. Avizienis: Community Error Recovery in N-Version Software: A Design Study with Experimentation. FTCS-17, July 1987, IEEE Computer Society Press
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 ECSC — EEC — EAEC, Brussels — Luxembourg
About this chapter
Cite this chapter
Saglietti, F. (1992). The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability. In: Kersken, M., Saglietti, F. (eds) Software Fault Tolerance. Research Reports ESPRIT, vol 1. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84725-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-84725-7_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55212-3
Online ISBN: 978-3-642-84725-7
eBook Packages: Springer Book Archive