A Pattern for Modelling Fault Tolerant Systems in Event-B.

Gintautas Sulskus Michael Poppleton

Published in: ABZ (2012)

Keyphrases

fault tolerant
distributed systems
fault tolerance
safety critical
load balancing
pattern matching
high assurance
knowledge based systems
event detection
state machine
artificial intelligence
intelligent systems
computer systems
formal methods
high availability
interconnection networks