Efficient protection against data errors in embedded control software

Authors:
Michael Short;Michael Schwarz;Josef Boercsoek
Affiliations:
Department of Engineering, University of Leicester, Leicester, UK;Department of Engineering, Universitat Kassel, Kassel, Germany;Department of Engineering, University of Leicester, Leicester, UK
Venue:
CIMMACS'07 Proceedings of the 6th WSEAS international conference on Computational intelligence, man-machine systems and cybernetics
Year:
2007

Citing 6
Cited 0

Safeware: system safety and computers

Safeware: system safety and computers
Modern Control Technology: Components and Systems

Modern Control Technology: Components and Systems
Safety Critical Computer Systems

Safety Critical Computer Systems
Embedded C

Embedded C
March SS: A Test for All Static Simple RAM Faults

MTDT '02 Proceedings of the The 2002 IEEE International Workshop on Memory Technology, Design and Testing
Control-Flow Checking via Regular Expressions

ATS '01 Proceedings of the 10th Asian Test Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a novel approach to tolerating transient data faults that may affect the software executing on commercial-of-the-shelf (COTS) embedded processors. The main concept of the approach is the use of information redundancy, in which the program user data and user stack areas are duplicated byte-for-byte in areas of RAM known as mirror arrays. We also present a novel approach to implementing the management of this data duplication and fault detection/correction in software which results in highly readable, portable code. Preliminary results are reported for a matrix multiplication program which indicates the effectiveness of the technique.