Academic
Publications
Modeling of Correlated Failures and Community Error Recovery in Multiversion Software

Modeling of Correlated Failures and Community Error Recovery in Multiversion Software,10.1109/32.48942,IEEE Transactions on Software Engineering,Victo

Modeling of Correlated Failures and Community Error Recovery in Multiversion Software   (Citations: 55)
BibTex | RIS | RefWorks Download
Three aspects of the modeling of multiversion software are considered. First, the beta-binomial distribution is proposed for modeling correlated failures in multiversion software. Second, a combinatorial model for predicting the reliability of a multiversion software configuration is presented. This model can take as inputs failure distributions either from measurements or from a selected distribution (e.g. beta-binomial). Various recovery methods can be incorporated in this model. Third, the effectiveness of the community error recovery method based on checkpointing is investigated. This method appears to be effective only when the failure behaviors of program versions are lightly correlated. Two different types of checkpoint failure are also considered: an omission failure where the correct output is recognized at a checkpoint but the checkpoint fails to correct the wrong outputs and a destructive failure where the good versions get corrupted at a checkpoint
Journal: IEEE Transactions on Software Engineering - TSE , vol. 16, no. 3, pp. 350-359, 1990
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: