Distributed fault tolerant controllers

Mostarda, Leonardo and Ball, Rudi and Dulay, Naranker (2010) Distributed fault tolerant controllers. Lecture Notes in Computer Science, 6115 . pp. 141-154. ISSN 0302-9743

Full text is not in this repository.

Official URL: http://dx.doi.org/10.1007/978-3-642-13645-0_11

This item is available in the Library Catalogue


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. GOANNA can be used as a backend for different tools as well as an implementation platform in its own right.

Item Type:Article
Additional Information:

Conference proceedings published in "Distributed Applications and Interoperable Systems: 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Edited by Frank Eliassen and Rüdiger Kapitza. ISBN: 9783642136450.

Research Areas:A. > School of Science and Technology > Computer Science > Intelligent Environments group
A. > School of Science and Technology > Computer Science > SensoLab group
A. > School of Science and Technology > Computer and Communications Engineering
Citations on ISI Web of Science:0
ID Code:7365
Useful Links:
Deposited On:30 Mar 2011 08:37
Last Modified:06 Oct 2015 13:47

Repository staff only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year