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