Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection

Type de document :
Communication dans un congrès
14th European Dependable Computing Conference (EDCC), Sep 2018, Iasi, Romania
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01874233
Contributeur : Sébastien Faucou <>
Soumis le : vendredi 14 septembre 2018 - 10:45:47
Dernière modification le : vendredi 16 novembre 2018 - 01:31:24

Identifiants

  • HAL Id : hal-01874233, version 1

Citation

Dimitry Solet, Mikaël Briday, Jean-Luc Béchennec, Sébastien Faucou, Sébastien Pillement. Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. 14th European Dependable Computing Conference (EDCC), Sep 2018, Iasi, Romania. 〈hal-01874233〉

Partager

Métriques

Consultations de la notice

104