Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems.

Athira V. Jayakumar Carl R. Elks

Published in: IMBSA (2020)

Keyphrases

fault injection
safety critical
fault model
safety analysis
java card
formal methods
fault tolerant
embedded systems
computer systems
smart card
agent architecture
real time
knowledge based systems
intelligent systems
distributed systems
cooperative
case study
data mining