Přístupnostní navigace
E-application
Search Search Close
Publication detail
Č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
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" }