A Case Study of Hierarchical Safety Analysis for Eliciting Traceable Safety Requirements.

Daehui Jeong Anit Thapaliya Gihwon Kwon

Published in: MUE/FutureTech (2017)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
fault model
reliability analysis
fault tolerant
expert systems
model checking
artificial intelligence
cooperative
low cost
intelligent agents
embedded systems
support systems