Collision Analysis of Safety Devices to Prevent Hazards in Safety Critical Systems.

Jang Jin Kwon Doohwan Kim Jae Jin Park Jang-Eui Hong

Published in: SERE (2014)

Keyphrases

safety critical
safety analysis
embedded systems
nuclear power plant
fault tolerant
formal methods
agent architecture
support systems
real time
regulatory requirements
intelligent systems
adaptive systems
control system
learning systems
knowledge based systems
fault model
user interface
artificial intelligence