CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Experiences from Verifying a Partitioning Kernel Using Fault Injection

Raul Barbosa (Institutionen för data- och informationsteknik (Chalmers)) ; Johan Karlsson (Institutionen för data- och informationsteknik (Chalmers))
Göteborg : Chalmers University of Technology, 2009. - 14 s.

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.

Nyckelord: fault injection, partitioning kernel, fault removal, embedded systems

Denna post skapades 2009-04-01.
CPL Pubid: 92091