A combined analysis method of FMEA and FTA for improving the safety analysis quality of safety-critical software.

Xiangyu Han Jun Zhang

Published in: GrC (2013)

Keyphrases

safety analysis
safety critical
nuclear power plant
control system
fault model
formal methods
symbolic model checking
fault tolerant
embedded systems
agent architecture
artificial intelligence
support systems
adaptive systems
software engineering
low cost
domain independent