Failure Mode Reasoning in Model Based Safety Analysis.

Hamid Jahanian David Parker Marc Zeller Annabelle McIver Yiannis Papadopoulos

Published in: CoRR (2020)

Keyphrases

safety analysis
failure modes
nuclear power plant
safety critical
control system
symbolic model checking
fault model
knowledge base
knowledge representation
real time
information systems
orders of magnitude