Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions.
Guillermo Rodríguez-NavasJulián ProenzaPublished in: IEEE Trans. Software Eng. (2013)
Keyphrases
- distributed systems
- timed automata
- real time systems
- fault tolerant
- distributed environment
- load balancing
- message passing
- model checking
- deadlock detection
- fault tolerance
- mobile agents
- distributed database systems
- distributed computing
- geographically distributed
- operating system
- concurrent systems
- data replication
- reachability analysis
- temporal logic
- security policies
- petri net
- agent technology
- theorem proving
- case study
- mobile agent system
- cloud computing
- peer to peer
- state space
- database systems