Fault Injection for Dependability Validation: A Methodology and Some Applications
IEEE Transactions on Software Engineering
A dynamic failure model for performing propagation and infection analysis on computer programs
A dynamic failure model for performing propagation and infection analysis on computer programs
Software fault injection: inoculating programs against errors
Software fault injection: inoculating programs against errors
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
Method for designing and placing check sets based on control flow analysis of programs
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Testing the diversity of multi-version software using fault injection
Testing the diversity of multi-version software using fault injection
Error flow in computer programs
Error flow in computer programs
A Design Diversity Metric and Reliability Analysis for Redundant Systems
ITC '99 Proceedings of the 1999 IEEE International Test Conference
A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
The evaluation of the gain in reliability of multiversion software is one of the key issues in the safety assessment of high integrity systems. Fault simulation has been proposed as a practical method to estimate diversity of multi-version software. This paper applies data-flow perturbation as an implementation of the fault injection technique to evaluate redundant systems under various conditions. A protection system is used as an example to illustrate the evaluation of software structural diversity, optimal selection of channel-pairs and the assessment of different designs.