Modeling Distributed Real-Time Systems in TIOA and UPPAAL.

Yusuf Bora Kartal Ece Guran Schmidt Klaus Werner Schmidt

Published in: ACM Trans. Embed. Comput. Syst. (2016)

Keyphrases

real time systems
distributed systems
mission critical
real time embedded
timed automata
real time

embedded real time systems
embedded systems
real time database systems
timing constraints
architectural model
mobile agents

distributed environment
cooperative
case study
response time
fuzzy logic

modeling language
control system
multi agent
high level
object oriented programming language