Verification of soft error detection mechanism through fault injection on hardware emulation platform.
Oscar BailanUmberto RossiAnne WantensJean-Marc DaveauSalvatore NappiPhilippe RochePublished in: DSN Workshops (2010)
Keyphrases
- detection mechanism
- fault injection
- java card
- real time
- smart card
- countermeasures
- static analysis
- low cost
- error rate
- central processor
- error detection
- virtual machine
- computing platform
- model checking
- security model
- hardware designs
- hardware implementation
- elliptic curve
- source code
- memory management
- control flow
- software development
- distributed systems
- software engineering