Efficient Static Schedules for Fault-Tolerant Transmissions on Shared Media

Scott Sirri, Zhe Wang, Netanel Raviv, Jeremy Fineman, Kunal Agrawal

Research output: Contribution to journalArticlepeer-review

Abstract

Shared communication media are widely used in many applications including safety-critical applications. However, noise and transient errors can cause transmission failures. We consider the problem of designing and minimizing the length of fault-tolerant static schedules for transmitting messages in these media provided the number of errors fall below some upper bound. To transmit n messages in a medium while tolerating a maximum of f faults, prior work had shown how to construct schedules which had a fault tolerance overhead of nf/2. In this paper, we provide an efficient constructive algorithm for producing a schedule for n messages with total length n+O(f2log2n) that can tolerate f medium errors. We also provide an algorithm for randomly generating fault-tolerant schedules with length n+O(f log(f)log(n)) as well as a technique for quickly verifying these on reasonably small inputs.

Original languageEnglish
Pages (from-to)2882-2895
Number of pages14
JournalIEEE Transactions on Computers
Volume74
Issue number9
DOIs
StatePublished - 1 Jan 2025
Externally publishedYes

Keywords

  • Reliability
  • fault-tolerance
  • redundant design
  • scheduling
  • testing

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics

Fingerprint

Dive into the research topics of 'Efficient Static Schedules for Fault-Tolerant Transmissions on Shared Media'. Together they form a unique fingerprint.

Cite this