Online latency monitoring of time-sensitive event chains in safety-critical applications.

Jonas Peeck Johannes Schlatow Rolf Ernst

Published in: DATE (2021)

Keyphrases

safety critical
real time
nuclear power plant
formal methods
fault tolerant
safety analysis
agent architecture
monitoring system
embedded systems
support systems
regulatory requirements
context aware
decision making
multi agent systems
load balancing
health monitoring