Dependability metrics to assess safety-critical systems.

Todd A. DeLong D. Todd Smith Barry W. Johnson

Published in: IEEE Trans. Reliab. (2005)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
fault tolerant
nuclear power plant
agent architecture
adaptive systems
support systems
regulatory requirements
real time
cooperative
computational intelligence
distributed systems
intelligent systems