A Diversity Model Based on Failure Distribution and its Application in Safety Cases
| Autor: | John H R May, Luping Chen |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Engineering
0211 other engineering and technologies 02 engineering and technology Stress testing (software) Fault (power engineering) Multi-version Software diversity Argumentation theory Software Fault injection Software fault tolerance 0202 electrical engineering electronic engineering information engineering Safety case Electrical and Electronic Engineering Safety Risk Reliability and Quality Reliability (statistics) Fault tree analysis 021110 strategic defence & security studies Basis (linear algebra) business.industry 020207 software engineering Reliability Software quality Reliability engineering Safety critical system Life-critical system Software reliability testing business Diversity (business) |
| Zdroj: | SERE Chen, L & May, J H R 2014, A Diversity Model Based on Failure Distribution and Its Application in Safety Cases . in 2014 Eighth International Conference on Software Security and Reliability (SERE 2014) : Proceedings of a meeting held 30 June-2 July 2014, San Francisco, California, USA. ., 6895410, Institute of Electrical and Electronics Engineers (IEEE), pp. 1-10, 8th International Conference on Software Security and Reliability, SERE 2014, San Francisco, United States, 30/06/14 . https://doi.org/10.1109/SERE.2014.13 |
| ISSN: | 1558-1721 0018-9529 |
| DOI: | 10.1109/tr.2015.2503335 |
| Popis: | This work develops a new basis for evaluating the reliability benefits of diverse software, based on fault injection testing. In particular, the work investigates new forms of argumentation that could in principle 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. Furthermore, the unique capabilities of the method are demonstrated by implementation of the fault injection test on a program pair |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|