Case study on distributed and fault tolerant system modeling based on timed automata.

Libor Waszniowski Jan Krakora Zdenek Hanzálek

Published in: J. Syst. Softw. (2009)

Keyphrases

fault tolerant
distributed systems
fault tolerance
timed automata
case study
load balancing
model checking
state machine
high availability
mobile agent system
real time systems
reachability analysis
interconnection networks
real world
software development
safety critical