Characterizing fault propagation in safety-critical processor designs.

Jaime Espinosa Carles Hernández Jaume Abella

Published in: IOLTS (2015)

Keyphrases

safety critical
nuclear power plant
safety analysis
formal methods
fault tolerant
embedded systems
fault model
agent architecture
fault detection
fault diagnosis
support systems
regulatory requirements
adaptive systems
real time
decision support system
distributed systems
software engineering