Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01874233
Contributor : Sébastien Faucou <>
Submitted on : Friday, September 14, 2018 - 10:45:47 AM
Last modification on : Thursday, February 27, 2020 - 1:20:07 AM

Identifiers

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. ⟨10.1109/edcc.2018.00016⟩. ⟨hal-01874233⟩

Share

Metrics

Record views

429