Explaining Safety Violations in Real-Time Systems.

Thomas Mari Thao Dang Gregor Gössler

Published in: FORMATS (2021)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
timing constraints
object oriented programming language
mission critical
architectural model
constraint violations
multi agent
cognitive science
anytime algorithms
embedded real time systems