Experiences from Verifying a Partitioning Kernel Using Fault Injection - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Experiences from Verifying a Partitioning Kernel Using Fault Injection

Résumé

This paper describes the usage of fault injection for testing a version of the μC/OS-II kernel which we extended with robust partitioning mechanisms. The implemented mechanisms were tested using a new fault injection plug-in for the GOOFI tool, which aims to provide robustness testing for partitioned systems. We describe the kernel extension and the experiments, with the goal of fault removal, that explore the capabilities of the new plug-in for testing the partitioning mechanisms. The experiments exposed two vulnerabilities in the extension, showing the importance and potential benefits of using fault injection for the assessment of partitioned systems.
Fichier principal
Vignette du fichier
FaultInjection_1.pdf (527.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00381561 , version 1 (12-05-2009)

Identifiants

  • HAL Id : hal-00381561 , version 1

Citer

Raul Barbosa, Johan Karlsson. Experiences from Verifying a Partitioning Kernel Using Fault Injection. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p. ⟨hal-00381561⟩

Collections

EWDC2009
81 Consultations
119 Téléchargements

Partager

Gmail Facebook X LinkedIn More