Skip to content

Research at St Andrews

Generating a family of Byzantine tolerant protocol implementations using a meta-model architecture

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

School/Research organisations

Abstract

We describe an approach to modelling a Byzantine tolerant distributed algorithm as a family of related finite state machines, generated from a single meta-model. Various artefacts are generated from each state machine, including diagrams and source-level protocol implementations. The approach allows a state machine formulation to be applied to problems for which it would not otherwise be suitable, increasing confidence in correctness.
Close

Details

Original languageEnglish
Title of host publication37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Workshop on Architecting Dependable Systems
Subtitle of host publicationDSN 2007
PublisherUniversity of Edinburgh
Pages178-183
StatePublished - 25 Jun 2007
Event37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Workshop on Architecting Dependable Systems - Edinburgh, United Kingdom

Conference

Conference37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Workshop on Architecting Dependable Systems
CountryUnited Kingdom
CityEdinburgh
Period25/06/07 → …

Research areas

  • cs.DC, Distributed, parallel and cluster computing

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Design, implementation and deployment of state machines using a generative approach

    Kirby, G. N. C., Dearle, A. & Norcross, S. J. 2008 Architecting Dependable Systems V. de Lemos, R., Di Giandomenico, F., Gacek, C., Muccini, H. & Vieira, M. (eds.). Springer, p. 175-198 (Lecture Notes in Computer Science; vol. 5135)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Hosting Byzantine Fault Tolerant Services on a Chord ring

    Dearle, A., Kirby, G. & Norcross, S. 2007 University of St Andrews. 6 p.

    Research output: Book/ReportOther report

  3. A peer-to-peer infrastructure for resilient web services

    Norcross, S. J., Dearle, A., Kirby, G. N. C. & Walker, S. M. 2006 First International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications. Colajanni, M., Bartolini, N. & Cherkasova, L. (eds.). Los Alamitos: IEEE Computer Society, p. 65-72 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Towards adaptable and adaptive policy-free middleware

    Dearle, A., Kirby, G., Norcross, S., Macdonald, A. & Bigwood, G. 2006 University of St Andrews. 8 p. (Technical Report; no. CS/06/3)

    Research output: Book/ReportOther report

  5. A peer-to-peer middleware framework for resilient persistent programming

    Dearle, A., Kirby, G., Norcross, S. & McCarthy, A. 2006 University of St Andrews. 14 p.

    Research output: Book/ReportOther report

ID: 5005152