Safety analysis of Hawk In Flight monitor.

Liz Whiting Mike Hill

Published in: ACM SIGSOFT Softw. Eng. Notes (1999)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
fault model
symbolic model checking
real time
monitoring system
reliability analysis
orders of magnitude
fuzzy logic
model checking
fault tolerant
adaptive systems