article

Fault Injection for Software Certification

Authors:

Domenico Cotroneo,

Roberto NatellaAuthors Info & Claims

IEEE Security and Privacy, Volume 11, Issue 4

Pages 38 - 45

https://doi.org/10.1109/MSP.2013.54

Published: 01 July 2013 Publication History

Abstract

As software becomes more pervasive and complex, it's increasingly important to ensure that a system will be safe even in the presence of residual software faults (or bugs). Software fault injection consists of the deliberate introduction of software faults for assessing the impact of faulty software on a system and improving its fault tolerance. SFI has been included as a recommended practice in recent safety standards and has therefore gained interest among practitioners, but it's still unclear how it can be effectively used for certification purposes. In this article, the authors discuss the adoption of SFI in the context of safety certification, present a tool for the injection of realistic software faults, and show the usage of that tool in evaluating and improving the robustness of an operating system used in the avionic domain.

Cited By

View all

Munaro TMuntean IPretschner A(2024)A Failure Model Library for Simulation-Based Validation of Functional SafetyComputer Safety, Reliability, and Security10.1007/978-3-031-68606-1_2(18-32)Online publication date: 17-Sep-2024
https://dl.acm.org/doi/10.1007/978-3-031-68606-1_2
Gamazo-Real JZamorano-Flores JSanz-Andrés Á(2021)Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing MethodologySoftware Engineering and Formal Methods. SEFM 2021 Collocated Workshops10.1007/978-3-031-12429-7_24(333-347)Online publication date: 6-Dec-2021
https://dl.acm.org/doi/10.1007/978-3-031-12429-7_24
Van Acker BOakes BMoradi MDemeulenaere PDenil JGuerra EIovino L(2020)Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systemsProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3417990.3419226(1-10)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3417990.3419226
Show More Cited By

Recommendations

Assessing Dependability with Software Fault Injection: A Survey

With the rise of software complexity, software-related accidents represent a significant threat for computer-based systems. Software Fault Injection is a method to anticipate worst-case scenarios caused by faulty software through the deliberate ...
Error injection aimed at fault removal in fault tolerance mechanisms-criteria for error selection using field data on software faults
ISSRE '96: Proceedings of the The Seventh International Symposium on Software Reliability Engineering

Fault injection allows a detailed study of complex interactions between faults and fault handling mechanisms. It can be a useful complement to analytical modeling and formal verification techniques in the testing of fault tolerant systems. However, work ...
Integrated safety analysis of software-controlled critical systems

Software for safety-critical systems must deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Certain faults in critical systems can result in catastrophic consequences such as death, injury or ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

IEEE Security and Privacy Volume 11, Issue 4

July 2013

92 pages

ISSN:1540-7993

Issue’s Table of Contents

Publisher

IEEE Educational Activities Department

United States

Publication History

Published: 01 July 2013

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Munaro TMuntean IPretschner A(2024)A Failure Model Library for Simulation-Based Validation of Functional SafetyComputer Safety, Reliability, and Security10.1007/978-3-031-68606-1_2(18-32)Online publication date: 17-Sep-2024
https://dl.acm.org/doi/10.1007/978-3-031-68606-1_2
Gamazo-Real JZamorano-Flores JSanz-Andrés Á(2021)Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing MethodologySoftware Engineering and Formal Methods. SEFM 2021 Collocated Workshops10.1007/978-3-031-12429-7_24(333-347)Online publication date: 6-Dec-2021
https://dl.acm.org/doi/10.1007/978-3-031-12429-7_24
Van Acker BOakes BMoradi MDemeulenaere PDenil JGuerra EIovino L(2020)Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systemsProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3417990.3419226(1-10)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3417990.3419226
Wiecher CGreenyer JKorte JPretschner AVoss SBurgueño L(2019)Test-driven scenario specification of automotive software componentsProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion10.1109/MODELS-C.2019.00009(12-17)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00009
Barbosa RCerveira FGonçalo LMadeira H(2019)Emulating representative software vulnerabilities using field dataComputing10.1007/s00607-018-0657-y101:2(119-138)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s00607-018-0657-y
Bartsch CVillarraga CStoffel DKunz W(2017)A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded SystemsJournal of Electronic Testing: Theory and Applications10.1007/s10836-017-5643-333:1(77-92)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1007/s10836-017-5643-3
Darwish S(2016)Software test quality ratingKnowledge-Based Systems10.1016/j.knosys.2016.07.022110:C(167-175)Online publication date: 15-Oct-2016
https://dl.acm.org/doi/10.1016/j.knosys.2016.07.022
Winter SSchwahn ONatella RSuri NCotroneo DBertolino ACanfora GElbaum S(2015)No PAIN, no gain?Proceedings of the 37th International Conference on Software Engineering - Volume 110.5555/2818754.2818816(494-505)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2818754.2818816
Höller AKajtazovic NRauter TRömer KKreiner CNebel WAtienza D(2015)Evaluation of diverse compiling for software-fault detectionProceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition10.5555/2755753.2755873(531-536)Online publication date: 9-Mar-2015
https://dl.acm.org/doi/10.5555/2755753.2755873
Alemzadeh HChen DLewis AKalbarczyk ZRaman JLeveson NIyer R(2015)Systems-Theoretic Safety Assessment of Robotic Telesurgical SystemsProceedings of the 34th International Conference on Computer Safety, Reliability, and Security - Volume 933710.1007/978-3-319-24255-2_16(213-227)Online publication date: 23-Sep-2015
https://dl.acm.org/doi/10.1007/978-3-319-24255-2_16
Show More Cited By

Abstract

Cited By

Recommendations

Assessing Dependability with Software Fault Injection: A Survey

Error injection aimed at fault removal in fault tolerance mechanisms-criteria for error selection using field data on software faults

Integrated safety analysis of software-controlled critical systems

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations