Detail publikace

Software-implemented Fault-Tolerant Program Generation

ČEKAN, O. KOTÁSEK, Z.

Originální název

Software-implemented Fault-Tolerant Program Generation

Typ

abstrakt

Jazyk

angličtina

Originální abstrakt

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.

Autoři

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

Vydáno

30. 6. 2016

Místo

Roztoky u Prahy

ISBN

978-80-01-05984-5

Kniha

Proceedings of the 4th Prague Embedded Systems Workshop

Strany od

13

Strany do

13

Strany počet

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"
}