Fault Injection for Software Certification

Domenico Cotroneo, Roberto Natella
2013 IEEE Security and Privacy  
As software becomes more and more pervasive and complex, it is increasingly important to assure that a system will be safe even in the presence of residual software faults ("bugs"). Software Fault Injection consists in the deliberate introduction of software faults for assessing the impact of faulty software on the system and improving fault-tolerance. Software Fault Injection has been included as a recommended practice in recent safety standards, and it has therefore gained interest among
more » ... itioners, but it is still unclear how it can be effectively used for certification purposes. In this paper, we discuss the adoption of Software Fault Injection in the context of safety certification, present a tool for the injection of realistic software faults, namely SAFE (SoftwAre Fault Emulator), and show the usage of the tool in the evaluation and improvement of robustness of a RTOS adopted in the avionic domain.
doi:10.1109/msp.2013.54 fatcat:3afku253knebbfuk7b7ly5tatu