PISTIS: An Event-Triggered Real-time Byzantine Resilient Protocol Suite

David Kozhaya, Jeremie Decouchant, Vincent Rahli, Paulo Esteves-Verissimo

Research output: Contribution to journalArticleScientificpeer-review

5 Downloads (Pure)

Abstract

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 article 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 percent in systems with 49 nodes and provides bounded delivery latencies in the order of a few milliseconds.

Original languageEnglish
Article number9347806
Pages (from-to)2277-2290
Number of pages14
JournalIEEE Transactions on Parallel and Distributed Systems
Volume32
Issue number9
DOIs
Publication statusPublished - 2021

Keywords

  • Byzantine resilience
  • Real-time distributed systems
  • atomic broadcast
  • consensus
  • intrusion tolerance
  • probabilistic losses

Fingerprint Dive into the research topics of 'PISTIS: An Event-Triggered Real-time Byzantine Resilient Protocol Suite'. Together they form a unique fingerprint.

Cite this