On-line failure prediction in safety-critical systems.

Roberto Baldoni Luca Montanari Marco Rizzuto

Published in: Future Gener. Comput. Syst. (2015)

Keyphrases

safety critical
failure prediction
formal methods
safety analysis
embedded systems
fault tolerant
support systems
management system
decision making
agent architecture
nuclear power plant
expert systems
real time
distributed systems
learning systems