Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System

Skarin, Daniel; Karlsson, Johan

doi:10.1109/edcc-7.2008.24

Cited by 30 publications

(8 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…That is, a small deviation from the correct output during a short time period will not lead to a catastrophic failure. It might not even be observable as a change of brake force at the mechanical brake [6]. What must be avoided is that an error remains in the system causing the software to produce incorrect output for a significant time period spanning several control loops.…”

Section: B Fault Model and Mechanismsmentioning

confidence: 95%

On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault Tolerance

Alexandersson

2010

2010 European Dependable Computing Conference

View full text Add to dashboard Cite

Software-implemented fault tolerance is a widely used technique for achieving high dependability in costsensitive applications. One approach to implementing fault tolerance in software is to use aspect-oriented programming (AOP). This paper investigates the hardware overhead imposed by software mechanisms for time-redundant execution and control flow checking implemented by using AOP. The impacts on static and dynamic memory consumption as well as execution time are measured. The overheads caused by using AOP were shown to be an issue. However, two optimizations to the weaver that reduce the overhead caused by the AOP language weaver were identified. Using these optimizations the overhead was reduced to acceptable or even beneficial levels compared to using standard C.

show abstract

Section: B Fault Model and Mechanismsmentioning

confidence: 95%

On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault Tolerance

Alexandersson

2010

2010 European Dependable Computing Conference

View full text Add to dashboard Cite

show abstract

“…Many applications can be made fault-tolerant by checkpointing small amounts of state information (e.g., control algorithms [27,28]). Moreover, device drivers may recover transparently from failures by retrieving state information lost during a crash [10], thereby requiring a reliable mechanism for guaranteeing the integrity of driver checkpoints.…”

Section: Introductionmentioning

confidence: 99%

On the Integrity of Lightweight Checkpoints

Barbosa

Karlsson

2008

2008 11th IEEE High Assurance Systems Engineering Symposium

Self Cite

View full text Add to dashboard Cite

This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently while providing them with an operating system service to assure the integrity of checkpoints. The scheme takes error detection latency into account and assumes a broad class of application failure modes. In this paper we detail the design of the operating system service, which offers a very simple programming model to application designers and introduces only a small execution overhead for each checkpoint. Moreover, we describe the usage of model checking to ascertain the correctness of our approach.

show abstract

“…Faults that appear during system operation may be critical in wide range of microprocessor-based systems resulting in logical errors that can negatively impact system security, economic efficiency or safety [1][2][3][4][5]8]. Thus, it is extremely important to make the algorithms as fault-robust as possible.…”

Section: Introductionmentioning

confidence: 99%

Improving fault handling software techniques

Gawkowski

Rutkowski

Sosnowski

2010

2010 IEEE 16th International on-Line Testing Symposium

View full text Add to dashboard Cite

the paper presents the new software library supporting development of the fault-robust applications. The main goals of the proposed software hardening mechanisms are: usage simplicity for the programmer, independence from the development tool, effectiveness in terms of fault coverage, low static and dynamic overheads. The paper describes implemented software mechanisms and discusses their effectiveness verified with fault injection experiments.

show abstract

Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System

Cited by 30 publications

References 17 publications

On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault Tolerance

On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault Tolerance

On the Integrity of Lightweight Checkpoints

Improving fault handling software techniques

Contact Info

Product

Resources

About