Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.

Yean-Ru Chen Pao-Ann Hsiung Sao-Jie Chen

Published in: SAFECOMP (2007)

Keyphrases

safety critical
safety analysis
nuclear power plant
formal methods
learning systems
embedded systems
expert systems
real time
artificial intelligence
distributed systems
intelligent systems
semi automatic
fault tolerant
smart home