English

Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture

Distributed, Parallel, and Cluster Computing 2010-06-18 v1
Authors: Graham Kirby , Alan Dearle , Stuart Norcross
View on arXiv ↗ PDF ↗

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.

Keywords

byzantine fault tolerance information modeling

Cite

@article{arxiv.1006.3452,
  title  = {Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture},
  author = {Graham Kirby and Alan Dearle and Stuart Norcross},
  journal= {arXiv preprint arXiv:1006.3452},
  year   = {2010}
}

Comments

DSN 2007 Workshop on Architecting Dependable Systems, Edinburgh, Scotland. pp. 178-183

Related papers

View all related →
Distributed, Parallel, and Cluster Computing · Computer Science
A Byzantine Fault Tolerance Approach towards AI Safety
John deVadoss, Matthias Artzt
2026-04-30
Distributed, Parallel, and Cluster Computing · Computer Science
A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems
Thomas Schlögl, Ulrich Schmid
2023-07-12
Distributed, Parallel, and Cluster Computing · Computer Science
Non-determinism in Byzantine Fault-Tolerant Replication
Christian Cachin, Simon Schubert, Marko Vukolić
2016-12-20
Distributed, Parallel, and Cluster Computing · Computer Science
On Byzantine Containment Properties of the $min+1$ Protocol
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2010-05-31
Machine Learning · Computer Science
Byzantine Fault Tolerant Distributed Linear Regression
Nirupam Gupta, Nitin H. Vaidya
2019-04-05
Distributed, Parallel, and Cluster Computing · Computer Science
Byzantine Fault Tolerant Protocols with Near-Constant Work per Node without Signatures
Philipp Schneider
2025-02-10
Distributed, Parallel, and Cluster Computing · Computer Science
A Byzantine Fault Tolerant Distributed Commit Protocol
Wenbing Zhao
2016-11-17
Distributed, Parallel, and Cluster Computing · Computer Science
On Probabilistic Byzantine Fault Tolerance
Quan Nguyen, Andre Cronje
2020-02-11
Distributed, Parallel, and Cluster Computing · Computer Science
Byzantine Resilient Computing with the Cloud
John Augustine, Jeffin Biju, Shachar Meir, David Peleg +2
2023-09-29
Distributed, Parallel, and Cluster Computing · Computer Science
Maximum Metric Spanning Tree made Byzantine Tolerant
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2011-04-29
Distributed, Parallel, and Cluster Computing · Computer Science
Reaching Consensus in the Byzantine Empire: A Comprehensive Review of BFT Consensus Algorithms
Gengrui Zhang, Fei Pan, Yunhao Mao, Sofia Tijanic +4
2023-12-06
Distributed, Parallel, and Cluster Computing · Computer Science
A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance
Joel Wanner, Laurent Chuat, Adrian Perrig
2020-09-23
Distributed, Parallel, and Cluster Computing · Computer Science
Byzantine Fault Tolerance in Distributed Machine Learning : a Survey
Djamila Bouhata, Hamouma Moumen, Jocelyn Ahmed Mazari, Ahcène Bounceur
2022-12-06
Distributed, Parallel, and Cluster Computing · Computer Science
Boosting Byzantine Protocols in Large Sparse Networks with High System Assumption Coverage
Shaolin Yu, Jihong Zhu, Jiali Yang, Yulong Zhan
2022-03-08
Quantum Physics · Physics
Resource analysis for quantum-aided Byzantine agreement with the four-qubit singlet state
Zoltán Guba, István Finta, Ákos Budai, Lóránt Farkas +2
2024-05-01
Distributed, Parallel, and Cluster Computing · Computer Science
Half a Century of Distributed Byzantine Fault-Tolerant Consensus: Design Principles and Evolutionary Pathways
Huanyu Wu, Chentao Yue, Yixuan Fan, Yonghui Li +1
2025-05-13
Distributed, Parallel, and Cluster Computing · Computer Science
Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults
Shlomi Dolev, Amit Hendin, Maurice Herlihy, Maria Potop Butucaru +1
2025-06-17
Distributed, Parallel, and Cluster Computing · Computer Science
Byzantine-Tolerant Consensus in GPU-Inspired Shared Memory
Chryssis Georgiou, Manaswini Piduguralla, Sathya Peri
2025-06-23
Machine Learning · Computer Science
Byzantine-Robust Gossip: Insights from a Dual Approach
Renaud Gaucher, Aymeric Dieuleveut, Hadrien Hendrikx
2025-07-04
Distributed, Parallel, and Cluster Computing · Computer Science
Self-stabilizing Byzantine-tolerant Recycling
Chryssis Georgiou, Michel Raynal, Elad M. Schiller
2023-07-28
Distributed, Parallel, and Cluster Computing · Computer Science
On the Practicality of `Practical' Byzantine Fault Tolerance
Nikos Chondros, Konstantinos Kokordelis, Mema Roussopoulos
2011-10-24
Distributed, Parallel, and Cluster Computing · Computer Science
Mariages et Trahisons
Swan Dubois, Sébastien Tixeuil, Nini Zhu
2012-04-23
Distributed, Parallel, and Cluster Computing · Computer Science
Construction auto-stabilisante d'arbre couvrant en d\'epit d'actions malicieuses
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2010-04-30
Distributed, Parallel, and Cluster Computing · Computer Science
Scalable Performance Evaluation of Byzantine Fault-Tolerant Systems Using Network Simulation
Christian Berger, Sadok Ben Toumia, Hans P. Reiser
2023-10-02
Distributed, Parallel, and Cluster Computing · Computer Science
Byzantine-Resilient Population Protocols
Costas Busch, Dariusz R. Kowalski
2024-02-06
R2 v1 2026-06-21T15:37:39.596Z