Login / Signup

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

Dimitry SoletJean-Luc BéchennecMikaël BridaySébastien FaucouSé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