Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions.
Thomas GöthelVerena KlösBjörn BartelsPublished in: EAI Endorsed Trans. Self Adapt. Syst. (2015)
Keyphrases
- real time systems
- modular design
- distributed systems
- real time embedded
- mission critical
- real time
- embedded systems
- distributed environment
- multi agent
- model checking
- object oriented programming language
- real time database systems
- mobile agents
- timing constraints
- architectural model
- cooperative
- embedded devices
- anytime algorithms
- object oriented