Failure Mode Reasoning in Model Based Safety Analysis.

Hamid Jahanian David Parker Marc Zeller Annabelle McIver Yiannis Papadopoulos

Published in: IMBSA (2020)

Keyphrases

safety analysis
failure modes
nuclear power plant
control system
safety critical
fault model
symbolic model checking
knowledge base
real time
artificial intelligence
knowledge representation
orders of magnitude
intelligent systems
dynamic systems
fuzzy control
formal methods