Formal analysis of sporadic overload in real-time systems.

Sophie Quinton Matthias Hanke Rolf Ernst

Published in: DATE (2012)

Keyphrases

real time systems
formal analysis
distributed systems
real time
agent model
formal methods
embedded systems
real time database systems
timing constraints
mission critical
architectural model
response time
object oriented programming language
ban logic
case study
artificial intelligence