Safety Testing of Safety Critical Software Based on Critical Mission Duration.

Shiping Yang Nan Sang Guangze Xiong

Published in: PRDC (2004)

Keyphrases

safety critical
safety analysis
formal methods
nuclear power plant
fault tolerant
embedded systems
agent architecture
software intensive systems
support systems
regulatory requirements
adaptive systems
test cases
knowledge based systems
safe operation
real time
test suite