Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - SimFI
T2 - From single to simultaneous software fault injections
AU - Winter, S.
AU - Tretter, M.
AU - Sattler, B.
AU - Suri, Neeraj
PY - 2013/6/24
Y1 - 2013/6/24
N2 - 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. © 2013 IEEE.
AB - 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. © 2013 IEEE.
KW - fault models
KW - robustness testing
KW - Software fault injections
KW - Experimental techniques
KW - Fault injection
KW - Fault model
KW - Generic softwares
KW - Robustness testing
KW - Simultaneous faults
KW - Software fault
KW - Software systems
KW - Computer networks
KW - Information systems
KW - Computer software
U2 - 10.1109/DSN.2013.6575310
DO - 10.1109/DSN.2013.6575310
M3 - Conference contribution/Paper
SN - 9781467364713
BT - 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
PB - IEEE
ER -