%0 Conference Proceedings
%T Distributed Fault Tolerant Controllers
%+ Imperial College London
%A Mostarda, Leonardo
%A Ball, Rudi
%A Dulay, Naranker
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec)
%C Amsterdam, Netherlands
%Y Frank Eliassen; Rüdiger Kapitza
%I Springer
%3 Distributed Applications and Interoperable Systems
%V LNCS-6115
%P 141-154
%8 2010-06-07
%D 2010
%R 10.1007/978-3-642-13645-0_11
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a centralised controller for co-ordination, or occasionally a set of distributed entities. Centralised co-ordination is simpler but introduces a single point of failure and poses problems of scalability. Distributed co-ordination offers greater scalability, reliability and applicability but is harder to reason about and requires more complex algorithms for synchronisation and consensus among components. In this paper we present a system called GOANNA that from a state machine specification (FSM) of the global behaviour of interacting components can automatically generate a correct, scalable and fault tolerant distributed implementation.
%G English
%2 https://inria.hal.science/hal-01061089/document
%2 https://inria.hal.science/hal-01061089/file/dais2010.pdf
%L hal-01061089
%U https://inria.hal.science/hal-01061089
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-LNCS-6115
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-DAIS
%~ IFIP-DISCOTEC
%~ IFIP-2010