Name
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. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/DSN.2013.6575310 | Dependable Systems and Networks |
Keywords | Field | DocType |
operating system kernels,program testing,software engineering,Windows CE kernel,characteristic simultaneous fault types,experimental technique,generic software composition model,independent fault analysis,multipoint faults,robustness vulnerabilities,simultaneous SWIFI framework,simultaneous fault models,single-fault assumption,software system robustness evaluation,software-implemented fault injection,Software fault injections,fault models,robustness testing | Kernel (linear algebra),Robustness testing,Computer science,Software fault tolerance,Real-time computing,Software system,Robustness (computer science),Function composition (computer science),Windows CE,Reliability engineering,Fault injection,Distributed computing | Conference |
ISSN | ISBN | Citations |
1530-0889 | 978-1-4673-6471-3 | 12 |
PageRank | References | Authors |
0.57 | 23 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stefan Winter | 1 | 68 | 9.04 |
| Michael Tretter | 2 | 12 | 0.57 |
| Benjamin Sattler | 3 | 12 | 0.57 |
| Neeraj Suri | 4 | 1040 | 112.91 |