A combined toolset for the verification of real-time distributed systems.
Dmitry Yu. VolkanovVladimir A. ZakharovDaniil A. ZorinVladislav V. PodymovIgor V. KonnovPublished in: Program. Comput. Softw. (2015)
Keyphrases
- distributed systems
- real time
- real time systems
- concurrent systems
- fault tolerant
- message passing
- distributed environment
- load balancing
- distributed computing
- mobile agents
- fault tolerance
- geographically distributed
- low cost
- loosely coupled
- operating system
- distributed database systems
- deadlock detection
- control system
- vision system
- software development environments
- agent based systems
- data replication
- multi agent
- databases