Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling.
Vladimir A. BashkinIrina A. LomazovaYulia A. NovikovaPublished in: PaCT (2013)
Keyphrases
- real time systems
- timed automata
- distributed systems
- real time embedded
- mission critical
- real time
- distributed environment
- embedded systems
- cooperative
- architectural model
- real time database systems
- model checking
- timing constraints
- multi agent
- resource allocation
- peer to peer
- distributed database systems
- anytime algorithms
- resource management
- response time