An automated formal-based approach for reducing undetected faults in ISO 26262 hardware compliant designs.
Felipe Augusto da SilvaAhmet Cagri BagbabaSaid HamdiouiChristian SauerPublished in: ITC (2021)
Keyphrases
- low cost
- fault diagnosis
- semi automated
- real time
- hardware and software
- fault detection
- formal methods
- formal model
- computing systems
- error detection
- semi automatic
- embedded systems
- fully automated
- hardware implementation
- massively parallel
- vlsi implementation
- formal specification
- personal computer
- data acquisition
- test cases
- case study