Login / Signup
Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection.
Dimitry Solet
Jean-Luc Béchennec
Mikaël Briday
Sébastien Faucou
Sébastien Pillement
Published in:
EDCC (2018)
Keyphrases
</>
fault injection
java card
low cost
kernel function
hardware designs
support vector
open source
smart card
embedded systems