A Comparison of Correlated Failures for Software Using Community Error Recovery and Software Breeding

Kazuyuki SHIMA; Ken-ichi MATSUMOTO; Koji TORII

A Comparison of Correlated Failures for Software Using Community Error Recovery and Software Breeding

Kazuyuki SHIMA, Ken-ichi MATSUMOTO, Koji TORII

Full Text Views

0

Cite this

Summary :

We present a comparison of correlated failures for multiversion software using community error recovery (CER) and software breeding (SB). In CER, errors are detected and recovered at checkpoints which are inserted in all the versions of the software. SB is analogous to the breeding of plants and animals. In SB, versions consist of loadable modules, and a driver exchanges the modules between versions to detect and eliminate faulty modules. We formulate reliability models to estimate the probability of failure for software using either CER or SB. Our reliability models assume failures in the checkpoints in CER and the driver in SB. We use beta-binomial distribution for modeling correlated failures of versions, because much of the evidence suggests that the assumption that failures in versions occur independently is not always true. Our comparison indicates that multiversion software using SB is more reliable than that using CER when the probability of failure in the checkpoints in CER or the driver in SB is 10^-7.

Publication: IEICE TRANSACTIONS on Information Vol.E80-D No.7 pp.717-725

Publication Date: 1997/07/25

Publicized

Online ISSN

DOI

Type of Manuscript

Category: Fault Tolerant Computing

Authors

Kazuyuki SHIMA
Ken-ichi MATSUMOTO
Koji TORII

Keyword

Cite this

Copy

Kazuyuki SHIMA, Ken-ichi MATSUMOTO, Koji TORII, "A Comparison of Correlated Failures for Software Using Community Error Recovery and Software Breeding" in IEICE TRANSACTIONS on Information, vol. E80-D, no. 7, pp. 717-725, July 1997, doi: .
Abstract: We present a comparison of correlated failures for multiversion software using community error recovery (CER) and software breeding (SB). In CER, errors are detected and recovered at checkpoints which are inserted in all the versions of the software. SB is analogous to the breeding of plants and animals. In SB, versions consist of loadable modules, and a driver exchanges the modules between versions to detect and eliminate faulty modules. We formulate reliability models to estimate the probability of failure for software using either CER or SB. Our reliability models assume failures in the checkpoints in CER and the driver in SB. We use beta-binomial distribution for modeling correlated failures of versions, because much of the evidence suggests that the assumption that failures in versions occur independently is not always true. Our comparison indicates that multiversion software using SB is more reliable than that using CER when the probability of failure in the checkpoints in CER or the driver in SB is 10^-7.
URL: https://global.ieice.org/en_transactions/information/10.1587/e80-d_7_717/_p

Copy

@ARTICLE{e80-d_7_717,
author={Kazuyuki SHIMA, Ken-ichi MATSUMOTO, Koji TORII, },
journal={IEICE TRANSACTIONS on Information},
title={A Comparison of Correlated Failures for Software Using Community Error Recovery and Software Breeding},
year={1997},
volume={E80-D},
number={7},
pages={717-725},
abstract={We present a comparison of correlated failures for multiversion software using community error recovery (CER) and software breeding (SB). In CER, errors are detected and recovered at checkpoints which are inserted in all the versions of the software. SB is analogous to the breeding of plants and animals. In SB, versions consist of loadable modules, and a driver exchanges the modules between versions to detect and eliminate faulty modules. We formulate reliability models to estimate the probability of failure for software using either CER or SB. Our reliability models assume failures in the checkpoints in CER and the driver in SB. We use beta-binomial distribution for modeling correlated failures of versions, because much of the evidence suggests that the assumption that failures in versions occur independently is not always true. Our comparison indicates that multiversion software using SB is more reliable than that using CER when the probability of failure in the checkpoints in CER or the driver in SB is 10^-7.},
keywords={},
doi={},
ISSN={},
month={July},}

Copy

TY - JOUR
TI - A Comparison of Correlated Failures for Software Using Community Error Recovery and Software Breeding
T2 - IEICE TRANSACTIONS on Information
SP - 717
EP - 725
AU - Kazuyuki SHIMA
AU - Ken-ichi MATSUMOTO
AU - Koji TORII
PY - 1997
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E80-D
IS - 7
JA - IEICE TRANSACTIONS on Information
Y1 - July 1997
AB - We present a comparison of correlated failures for multiversion software using community error recovery (CER) and software breeding (SB). In CER, errors are detected and recovered at checkpoints which are inserted in all the versions of the software. SB is analogous to the breeding of plants and animals. In SB, versions consist of loadable modules, and a driver exchanges the modules between versions to detect and eliminate faulty modules. We formulate reliability models to estimate the probability of failure for software using either CER or SB. Our reliability models assume failures in the checkpoints in CER and the driver in SB. We use beta-binomial distribution for modeling correlated failures of versions, because much of the evidence suggests that the assumption that failures in versions occur independently is not always true. Our comparison indicates that multiversion software using SB is more reliable than that using CER when the probability of failure in the checkpoints in CER or the driver in SB is 10^-7.
ER -