An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements.

Gang Yu Zhongwei Xu Junwei Du

Published in: IFITA (3) (2009)

Keyphrases

safety critical
safety analysis
regulatory requirements
formal methods
nuclear power plant
fault tolerant
agent architecture
embedded systems
software intensive systems
support systems
fault model
decision support system
intelligent agents
adaptive systems
cooperative
low cost