PISTIS: an event-triggered real-time Byzantine-resilient protocol suite

David Kozhaya, Jérémie Decouchant, Vincent Rahli, Paulo Jorge Esteves Veríssimo

Research output: Contribution to journalArticlepeer-review

147 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 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.
Original languageEnglish
Article number9347806
Pages (from-to)2277-2290
JournalIEEE Transactions on Parallel and Distributed Systems
Volume32
Issue number9
Early online date4 Feb 2021
DOIs
Publication statusE-pub ahead of print - 4 Feb 2021

Keywords

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

ASJC Scopus subject areas

  • Signal Processing
  • Hardware and Architecture
  • Computational Theory and Mathematics

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