Predictions for increasing confidence in the reliability of safety critical software.

Norman F. Schneidewind

Published in: ICECCS (1995)

Keyphrases

safety critical
formal methods
embedded systems
safety analysis
fault tolerant
agent architecture
nuclear power plant
support systems
confidence levels
regulatory requirements
artificial intelligence
software systems
software intensive systems
real time
adaptive systems
decision support system
low cost