The hazard analysis profile: Linking safety analysis and SysML.

Martina Muller Michael Roth Udo Lindemann

Published in: SysCon (2016)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
fault model
symbolic model checking
reliability analysis
knowledge base