PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite
| Autor: | Paulo Esteves-Verissimo, David Kozhaya, Vincent Rahli, Jérémie Decouchant |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
FOS: Computer and information sciences
Correctness Computer science Distributed computing Suite Probabilistic logic Byzantine resilience atomic broadcast Replication (computing) probabilistic losses Atomic broadcast Computer Science - Distributed Parallel and Cluster Computing Computational Theory and Mathematics consensus Hardware and Architecture Robustness (computer science) Signal Processing Scalability intrusion tolerance Distributed Parallel and Cluster Computing (cs.DC) Real-time distributed systems Protocol (object-oriented programming) |
| Zdroj: | IEEE Transactions on Parallel and Distributed Systems, 32(9) |
| ISSN: | 2161-9883 1045-9219 |
| DOI: | 10.1109/tpds.2021.3056718 |
| Popis: | The accelerated digitalisation of society along with technological evolution have extended the geographical span of cyber-physical systems. Two main threats have made the reliable and real-time control of these systems challenging: (i) uncertainty in the communication infrastructure induced by scale, and heterogeneity of the environment and devices; and (ii) targeted attacks maliciously worsening the impact of the above-mentioned communication uncertainties, disrupting the correctness of real-time applications. This paper addresses those challenges by showing how to build distributed protocols that provide both real-time with practical performance, and scalability in the presence of network faults and attacks, in probabilistic synchronous environments. We provide a suite of real-time Byzantine protocols, which we prove correct, starting from a reliable broadcast protocol, called PISTIS, up to atomic broadcast and consensus. This suite simplifies the construction of powerful distributed and decentralized monitoring and control applications, including state-machine replication. Extensive empirical simulations showcase PISTIS's robustness, latency, and scalability. For example, PISTIS can withstand message loss (and delay) rates up to 50% in systems with 49 nodes and provides bounded delivery latencies in the order of a few milliseconds. Comment: This is an extended version of a journal article, which appears in the IEEE Transactions on Parallel and Distributed Systems |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|