A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Assessment of the Benefit of Redundant Systems
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Diversity between Neural Networks and Decision Trees for Building Multiple Classifier Systems
MCS '00 Proceedings of the First International Workshop on Multiple Classifier Systems
A Design Diversity Metric and Reliability Analysis for Redundant Systems
ITC '99 Proceedings of the 1999 IEEE International Test Conference
IEEE Transactions on Software Engineering
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach
Information and Software Technology
N-version programming with imperfect debugging
Computers and Electrical Engineering
Modelling the effects of combining diverse software fault detection techniques
Formal methods and testing
Achieving software robustness via large-scale multiagent systems
Software engineering for large-scale multi-agent systems
Independence from obfuscation: A semantic framework for diversity
Journal of Computer Security
The SSP: an example of high-assurance systems engineering
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Inelligent ensemble system aids osteoporosis early detection
EC'05 Proceedings of the 6th WSEAS international conference on Evolutionary computing
The effect of correlated failure rates on reliability of continuous time 1-out-of-2 software
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Evaluation of diversity measures for binary classifier ensembles
MCS'05 Proceedings of the 6th international conference on Multiple Classifier Systems
The effectiveness of choice of programming language as a diversity seeking decision
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Dependable and Historic Computing
Dependable and Historic Computing
Algorithm for synthesis of real-time systems under reliability constraints
Journal of Computer and Systems Sciences International
Bounds on the reliability of fault-tolerant software built by forcing diversity
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
Fundamental to the development of redundant software techniques (known as fault-tolerant software) is an understanding of the impact of multiple joint occurrences of errors, referred to here as coincident errors. A theoretical basis for the study of redundant software is developed which 1) provides a probabilistic framework for empirically evaluating the effectiveness of a general multiversion strategy when component versions are subject to coincident errors, and 2) permits an analytical study of the effects of these errors. An intensity function, called the intensity of coincident errors, has a central role in this analysis. This function describes the propensity of programmers to introduce design faults in such a way that software components fail together when executing in the application environment. We give a condition under which a multiversion system is a better strategy than relying on a single version and we study some differences between the coincident errors model developed here and the model that assumes independent failures of component verions.