An analysis of safety-critical digital systems for risk-informed design.

Hyun Gook Kang Taeyong Sung

Published in: Reliab. Eng. Syst. Saf. (2002)

Keyphrases

safety critical
safety analysis
formal methods
embedded systems
fault tolerant
support systems
agent architecture
nuclear power plant
regulatory requirements
case study
building blocks
design process
knowledge based systems
real time
knowledge base
medical diagnosis