Online monitoring for safety-critical multicore systems.

Sebastian Tobuschat Adam Kostrzewa Falco K. Bapp Christoph Dropmann

Published in: it Inf. Technol. (2017)

Keyphrases

safety critical
formal methods
fault tolerant
embedded systems
nuclear power plant
safety analysis
agent architecture
support systems
real time
monitoring system
distributed systems
adaptive systems
decision makers
multi agent
clinical data
knowledge based systems
health monitoring
data mining