A Pattern Recognition Based FMEA for Safety-Critical SCADA Systems.

Published in: ACIIDS (2) (2019)

Keyphrases

safety critical
safety analysis
pattern recognition
formal methods
control system
fault tolerant
nuclear power plant
support systems
embedded systems
agent architecture
distributed systems
machine learning
artificial intelligence
user interface
model checking
adaptive systems