Modeling Distributed Real-Time Systems in TIOA and UPPAAL.
Yusuf Bora KartalEce Guran SchmidtKlaus Werner SchmidtPublished 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