A comparison of fault-tolerant state machine architectures for space-borne electronics

1997 ◽  
Vol 37 (4) ◽  
pp. 697
2021 ◽  
Vol 54 (1) ◽  
pp. 1-38
Author(s):  
Tobias Distler

Byzantine fault-tolerant (BFT) state-machine replication makes it possible to design systems that are resilient against arbitrary faults, a requirement considered crucial for an increasing number of use cases such as permissioned blockchains, firewalls, and SCADA systems. Unfortunately, the strong fault-tolerance guarantees provided by BFT replication protocols come at the cost of a high complexity, which is why it is inherently difficult to correctly implement BFT systems in practice. This is all the more true with regard to the plethora of solutions and ideas that have been developed in recent years to improve performance, availability, or resource efficiency. This survey aims at facilitating the task of building BFT systems by presenting an overview of state-of-the-art techniques and analyzing their practical implications, for example, with respect to applicability and composability. In particular, this includes problems that arise in the context of concrete implementations, but which are often times passed over in literature. Starting with an in-depth discussion of the most important architectural building blocks of a BFT system (i.e., clients, agreement protocol, execution stage), the survey then focuses on selected approaches and mechanisms addressing specific tasks such as checkpointing and recovery.


2021 ◽  
Author(s):  
Douglas Simoes Silva ◽  
Rafal Graczyk ◽  
Jeremie Decouchant ◽  
Marcus Volp ◽  
Paulo Esteves-Verissimo

Author(s):  
Gerd Doben-Henisch

The chapter describes the set-up for an experiment in computational semiotics. Starting with a hypothesis about negative complexity in the environment of human persons today it describes a strategy, how to assist human persons to reduce this complexity by using a semiotic system. The basic ingredients of this strategy are a visual programming interface with an appropriate abstract state machine, which has to be realized by distributed virtual machines. The distributed virtual machines must be scalable, have to allow parallel processing, have to be fault tolerant, and should have the potential to work in real time. The objects, which have to be processed by these virtual machines, are logical models (LModels), which represent dynamic knowledge, including self learning systems. The descriptions are based on a concrete open source project called Planet Earth Simulator.


Sign in / Sign up

Export Citation Format

Share Document