An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
A New Approach to the Modeling of Recovery Block Structures
IEEE Transactions on Software Engineering
Modeling Correlation in Software Recovery Blocks
IEEE Transactions on Software Engineering - Special issue on software reliability
Modeling software design diversity: a review
ACM Computing Surveys (CSUR)
Estimating Bounds on the Reliability of Diverse Systems
IEEE Transactions on Software Engineering
A Simulation Approach to Structure-Based Software Reliability Analysis
IEEE Transactions on Software Engineering
Flexible provisioning of web service workflows
ACM Transactions on Internet Technology (TOIT)
N-version programming with imperfect debugging
Computers and Electrical Engineering
On the limits of cyber-insurance
TrustBus'06 Proceedings of the Third international conference on Trust, Privacy, and Security in Digital Business
Dependable and Historic Computing
Hi-index | 0.01 |
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.