Experiences from Verifying a Partitioning Kernel Using Fault Injection
Report, 2009

This report presents an approach for providing robust partitioning and fault tolerance to real-time kernels, which was implemented as an extension to the uC/OS-II kernel. The implemented mechanisms were tested using a new fault injection plug-in for the GOOFI tool, aiming to provide robustness testing for partitioned systems. We describe a set of fault injection experiments, with the goal of fault removal, that explore the capabilities of the new plug-in for testing the robustness of the kernel extension. The experiments exposed two vulnerabilities in the extension, showing the importance and potential benefits of using fault injection for the assessment of partitioned systems.

embedded systems

fault injection

fault removal

partitioning kernel

Author

Raul Barbosa

Chalmers, Computer Science and Engineering (Chalmers)

Johan Karlsson

Chalmers, Computer Science and Engineering (Chalmers)

Subject Categories

Computer Engineering

Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2009:4

More information

Created

10/6/2017