Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01874233
Contributor : Sébastien Faucou <>
Submitted on : Friday, September 14, 2018 - 10:45:47 AM
Last modification on : Friday, January 8, 2021 - 3:43:12 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

475