Experiences from Verifying a Partitioning Kernel Using Fault Injection
Rapport, 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


Raul Barbosa

Chalmers, Data- och informationsteknik

Johan Karlsson

Chalmers, Data- och informationsteknik



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

Mer information