A fault-tolerant programmable voter for software-based N-modular redundancy

Keun Soo Yim, Valentin Sidea, Zbigniew T Kalbarczyk, Deming Chen, Ravishankar K Iyer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper presents a fault-tolerant, programmable voter architecture for software-implemented N-tuple modular redundant (NMR) computer systems. Software NMR is a cost-efficient solution for high-performance, mission-critical computer systems because this can be built on top of commercial off-the-shelf (COTS) devices. Due to the large volume and randomness of voting data, software NMR system requires a programmable voter. Our experiment shows that voting software that executes on a processor has the time-of-check-to-time-of-use (TOCTTOU) vulnerabilities and is unable to tolerate long duration faults. In order to address these two problems, we present a special-purpose voter processor and its embedded software architecture. The processor has a set of new instructions and hardware modules that are used by the software in order to accelerate the voting software execution and address the identified two reliability problems. We have implemented the presented system on an FPGA platform. Our evaluation result shows that using the presented system reduces the execution time of error detection codes (commonly used in voting software) by 14% and their code size by 56%. Our fault injection experiments validate that the presented system removes the TOCTTOU vulnerabilities and recovers under both transient and long duration faults. This is achieved by using 0.7% extra hardware in a baseline processor.

Original languageEnglish (US)
Title of host publication2012 IEEE Aerospace Conference
DOIs
StatePublished - May 22 2012
Event2012 IEEE Aerospace Conference - Big Sky, MT, United States
Duration: Mar 3 2012Mar 10 2012

Publication series

NameIEEE Aerospace Conference Proceedings
ISSN (Print)1095-323X

Other

Other2012 IEEE Aerospace Conference
CountryUnited States
CityBig Sky, MT
Period3/3/123/10/12

ASJC Scopus subject areas

  • Aerospace Engineering
  • Space and Planetary Science

Fingerprint Dive into the research topics of 'A fault-tolerant programmable voter for software-based N-modular redundancy'. Together they form a unique fingerprint.

Cite this