Publication detail

Software-implemented Fault-Tolerant Program Generation

ČEKAN, O. KOTÁSEK, Z.

Original Title

Software-implemented Fault-Tolerant Program Generation

Type

abstract

Language

English

Original Abstract

In our research, we are focusing on transient faults caused by Single Event Upset (SEUs). Transient faults are errors that occur unpredictably due to charged particles or electro-magnetic interferences. We did not solve these problems classically by additional hardware (hardware redundancy), but we used techniques that ensure correct behavior by the software (time or information redundancy). One of the possible ways that can be used in order to deal with such errors is Software-implemented Fault Tolerance (SFT). It is sometimes used as extra protection of the software. SFT is a commonly used technique which ensures the continuous availability of service while maintaining the desired performance and safety of the software in case of faults. Fault Tolerance (FT) is generally very important in safety-critical applications. The idea is based on information redundancy which is added into the assembly instruction level (program). In our previous work [1], our approach of universal stimuli generation that we use in this work in a convenient way was presented. Our stimuli generator is used for the purpose of generating fault-tolerant assembly programs which are immune against SEU errors. We use a modification of the technique of instruction duplication which is based on triplication of instructions. Although Triple Modular Redundancy (TMR) is used predominantly in hardware, we used principles of TMR in software. We have implemented software Triple Instructional Redundancy (TIR) which is an analogy of TMR in the hardware. Verifying fault-tolerance effectiveness of programs is performed by an injector for simulation of SEU errors which modifies data using suitably positioned instructions.

Authors

ČEKAN, O.; KOTÁSEK, Z.

Released

30. 6. 2016

Location

Roztoky u Prahy

ISBN

978-80-01-05984-5

Book

Proceedings of the 4th Prague Embedded Systems Workshop

Pages from

13

Pages to

13

Pages count

1

BibTex

@misc{BUT168559,
  author="Ondřej {Čekan} and Zdeněk {Kotásek}",
  title="Software-implemented Fault-Tolerant Program Generation",
  booktitle="Proceedings of the 4th Prague Embedded Systems Workshop",
  year="2016",
  pages="13--13",
  address="Roztoky u Prahy",
  isbn="978-80-01-05984-5",
  note="abstract"
}