A Diversity Model Based on Failure Distribution and Its Application in Safety Cases

Luping Chen*, John H R May

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

1 Citation (Scopus)
494 Downloads (Pure)

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 languageEnglish
Title of host publication2014 Eighth International Conference on Software Security and Reliability (SERE 2014)
Subtitle of host publicationProceedings of a meeting held 30 June - 2 July 2014, San Francisco, California, USA.
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages1-10
Number of pages10
ISBN (Print)9781479942961
DOIs
Publication statusPublished - Oct 2014
Event8th International Conference on Software Security and Reliability, SERE 2014 - San Francisco, United States
Duration: 30 Jun 20142 Jul 2014

Conference

Conference8th International Conference on Software Security and Reliability, SERE 2014
Country/TerritoryUnited States
CitySan Francisco
Period30/06/142/07/14

Keywords

  • Fault injection
  • Multi-version
  • Reliability
  • Safety case
  • Safety critical system
  • Software diversity

Fingerprint

Dive into the research topics of 'A Diversity Model Based on Failure Distribution and Its Application in Safety Cases'. Together they form a unique fingerprint.

Cite this