TU Darmstadt / ULB / TUbiblio

simFI: From Single to Simultaneous Software Fault Injections

Winter, Stefan and Tretter, Michael and Sattler, Benjamin and Suri, Neeraj (2013):
simFI: From Single to Simultaneous Software Fault Injections.
In: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE Computer Society, Budapest, Hungary, ISBN 978-1-4673-6471-3,
DOI: 10.1109/DSN.2013.6575310,
[Conference or Workshop Item]

Abstract

Software-implemented fault injection (SWIFI) is an established experimental technique to evaluate the robustness of software systems. While a large number of SWIFI frameworks exist, virtually all are based on a single-fault assumption, i.e., interactions of simultaneously occurring independent faults are not investigated. As software systems containing more than a single fault often are the norm than an exception [1] and current safety standards require the consideration of “multi-point faults” [2], the validity of this single-fault assumption is at question for contemporary software systems. To address the issue and support simultaneous SWIFI (simFI), we analyze how independent faults can manifest in a generic software composition model and extend an existing SWIFI tool to support some characteristic simultaneous fault types. We implement three simultaneous fault models and demonstrate their utility in evaluating the robustness of the Windows CE kernel. Our findings indicate that simultaneous fault injections prove highly efficient in triggering robustness vulnerabilities.

Item Type: Conference or Workshop Item
Erschienen: 2013
Creators: Winter, Stefan and Tretter, Michael and Sattler, Benjamin and Suri, Neeraj
Title: simFI: From Single to Simultaneous Software Fault Injections
Language: German
Abstract:

Software-implemented fault injection (SWIFI) is an established experimental technique to evaluate the robustness of software systems. While a large number of SWIFI frameworks exist, virtually all are based on a single-fault assumption, i.e., interactions of simultaneously occurring independent faults are not investigated. As software systems containing more than a single fault often are the norm than an exception [1] and current safety standards require the consideration of “multi-point faults” [2], the validity of this single-fault assumption is at question for contemporary software systems. To address the issue and support simultaneous SWIFI (simFI), we analyze how independent faults can manifest in a generic software composition model and extend an existing SWIFI tool to support some characteristic simultaneous fault types. We implement three simultaneous fault models and demonstrate their utility in evaluating the robustness of the Windows CE kernel. Our findings indicate that simultaneous fault injections prove highly efficient in triggering robustness vulnerabilities.

Title of Book: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Publisher: IEEE Computer Society
ISBN: 978-1-4673-6471-3
Uncontrolled Keywords: Spatial resolution, Robustness, Software systems, Servers, Kernel, Safety
Divisions: Profile Areas > Cybersecurity (CYSEC)
Profile Areas
Event Location: Budapest, Hungary
Date Deposited: 24 Aug 2017 16:47
DOI: 10.1109/DSN.2013.6575310
Identification Number: TUD-CS-2013-0472
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item