HSFI: Accurate fault injection scalable to large code bases

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

When software fault injection is used, faults aretypically inserted at the binary or source level. The former isfast but provides poor fault accuracy while the latter cannotscale to large code bases because the program must be rebuiltfor each experiment. Alternatives that avoid rebuilding incurlarge run-time overheads by applying fault injection decisionsat run-time. HSFI, our new design, injects faults with all contextinformation from the source level and applies fault injectiondecisions efficiently on the binary. It places markers in theoriginal code that can be recognized after code generation. Weimplemented a tool according to the new design and evaluated thetime taken per fault injection experiment when using operatingsystems as targets. We can perform experiments more quicklythan other source-based approaches, achieving performance thatcome close to that of binary-level fault injection while retainingthe benefits of source-level fault injection.

Original languageEnglish
Title of host publicationProceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016
PublisherInstitute of Electrical and Electronics Engineers, Inc.
Pages144-155
Number of pages12
ISBN (Electronic)9781467388917
DOIs
Publication statusPublished - 29 Sept 2016
Event46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 - Toulouse, France
Duration: 28 Jun 20161 Jul 2016

Conference

Conference46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016
Country/TerritoryFrance
CityToulouse
Period28/06/161/07/16

Keywords

  • Fault injection
  • Llvm
  • Reliability
  • Software mutation

Fingerprint

Dive into the research topics of 'HSFI: Accurate fault injection scalable to large code bases'. Together they form a unique fingerprint.

Cite this