A Model Based Approach for Safety Analysis.

Fabien Belmonte Elie Soubiran

Published in: SAFECOMP Workshops (2012)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
fault model
symbolic model checking
reliability analysis
real time
embedded systems
partial observability
fuzzy logic