Abstract
This work develops a new basis for evaluating the reliability benefits of diverse software, based on fault injection testing. In particular, the work investigates forms of argumentation that could be used to justify diversity as a basis for the construction of safety claims. Failure distributions of two versions of diverse software under various fault conditions are revealed separately by fault injection methods, and then the common failure probability of the version-pair can be estimated. The approach is justified theoretically, and cross validated with other work. This method is also used to explain the fundamental influence of failure distributions on diversity.
Original language | English |
---|---|
Title of host publication | 2014 Eighth International Conference on Software Security and Reliability (SERE 2014) |
Subtitle of host publication | Proceedings of a meeting held 30 June - 2 July 2014, San Francisco, California, USA. |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Pages | 1-10 |
Number of pages | 10 |
ISBN (Print) | 9781479942961 |
DOIs | |
Publication status | Published - Oct 2014 |
Event | 8th International Conference on Software Security and Reliability, SERE 2014 - San Francisco, United States Duration: 30 Jun 2014 → 2 Jul 2014 |
Conference
Conference | 8th International Conference on Software Security and Reliability, SERE 2014 |
---|---|
Country/Territory | United States |
City | San Francisco |
Period | 30/06/14 → 2/07/14 |
Keywords
- Fault injection
- Multi-version
- Reliability
- Safety case
- Safety critical system
- Software diversity