Home > Research > Publications & Outputs > SimFI

Links

Text available via DOI:

View graph of relations

SimFI: From single to simultaneous software fault injections

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published

Standard

SimFI: From single to simultaneous software fault injections. / Winter, S.; Tretter, M.; Sattler, B. et al.
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2013.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Harvard

Winter, S, Tretter, M, Sattler, B & Suri, N 2013, SimFI: From single to simultaneous software fault injections. in 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE. https://doi.org/10.1109/DSN.2013.6575310

APA

Winter, S., Tretter, M., Sattler, B., & Suri, N. (2013). SimFI: From single to simultaneous software fault injections. In 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) IEEE. https://doi.org/10.1109/DSN.2013.6575310

Vancouver

Winter S, Tretter M, Sattler B, Suri N. SimFI: From single to simultaneous software fault injections. In 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE. 2013 doi: 10.1109/DSN.2013.6575310

Author

Winter, S. ; Tretter, M. ; Sattler, B. et al. / SimFI : From single to simultaneous software fault injections. 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2013.

Bibtex

@inproceedings{f5ef7c0eb03e4188bc5dea04f2096998,
title = "SimFI: From single to simultaneous software fault injections",
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. {\textcopyright} 2013 IEEE.",
keywords = "fault models, robustness testing, Software fault injections, Experimental techniques, Fault injection, Fault model, Generic softwares, Robustness testing, Simultaneous faults, Software fault, Software systems, Computer networks, Information systems, Computer software",
author = "S. Winter and M. Tretter and B. Sattler and Neeraj Suri",
year = "2013",
month = jun,
day = "24",
doi = "10.1109/DSN.2013.6575310",
language = "English",
isbn = "9781467364713",
booktitle = "2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)",
publisher = "IEEE",

}

RIS

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 -