Aspect-oriented fault tolerance for real-time embedded systems

Abstract-Critical real-time embedded systems need to make use of fault tolerance techniques to cope with operation time errors, either in hardware or software. Fault tolerance is usually applied by means of redundancy and diversity. Redundant hardware implies the establishment of a distributed system executing a set of fault tolerance strategies by software, and may also employ some form of diversity, by using different variants or versions for the same processing.This work proposes and evaluates a fault tolerance framework for supporting the development of dependable applications. This framework is build upon basic operating system services and middleware communications and brings flexible and transparent support for application threads. A case study involving radar filtering is described and the framework advantages and drawbacks are discussed.

show abstract

“…This framework has been applied in [13] to provide a full separation between the application functionality and the fault tolerance concern.…”

Section: Discussionmentioning

confidence: 99%

Application-level fault tolerance in real-time embedded systems

Afonso

Tavares

Montenegro³

2008

2008 International Symposium on Industrial Embedded Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…More in line with our vision of a soft error hardening of applications is the work of Afonso et al [1], that selectively enhances an embedded real-time system with fault tolerance mechanisms by using aspect-oriented programming (AOP). In contrary to Afonso who addresses a typical C++ application on an embedded system and therefore requires extensive knowledge about the application when applying fault tolerance mechanisms our approach strongly benefits from the modular design of KESO applications.…”

Section: Related Workmentioning

confidence: 91%

Automated application of fault tolerance mechanisms in a component-based system

Thomm

Stilkerich

Kapitza

et al. 2011

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems

View full text Add to dashboard Cite

Due to the reduction of structure sizes in modern embedded systems, tolerating soft errors presenting itself as bit flips becomes a mandatory task even for moderate critical applications. Accordingly, software-based fault tolerance mechanisms recently gained in popularity and a multitude of approaches that differ in the number and frequency of tolerated errors as well as their associated overhead have been proposed. As a consequence, an application-and environment-tailored selection of mechanisms is required to balance protection and costs.Accounting the diverse solution space, we propose to make software-based fault tolerance a matter of configuration that should be transparent to the applications. While this would be cumbersome when using an unsafe programming language, we show that in the context of KESO, a JVM for deeply embedded systems, this can be achieved by utilizing the Java type system and static code analysis. As an initial technique we decided to add redundant execution to KESO, which enables us to selectively and transparently replicate an application. This essentially builds a first step to a JVM, which offers reliable execution of components as demanded by the system configuration.

show abstract

“…Although there has been some work in aspect-orientated and model-driven engineering of embedded systems [62,5,63,32], these approaches can not be directly applied to hardware design and verification as languages in these areas incorporate constructs that do not appear in general purpose high level languages (like C++ or Java). For example, constrained random stimulus generation, temporal assertions and functional coverage constructs.…”

Section: Related Workmentioning

confidence: 99%

An aspect-oriented, model-driven approach to functional hardware verification

Linehan

Clarke

2012

Journal of Systems Architecture

View full text Add to dashboard Cite

The cost of correcting errors in the design of an embedded system's hardware components can be higher than for its software components, making it important to test as early as possible. Testing hardware components before they are implemented involves verifying the design through either formal or more commonly, simulation-based functional verification. Performing functional verification of a hardware design requires software-based simulators and verification testbenches. However, the increasing complexity of embedded systems is contributing to testbenches that are progressively more difficult to understand, maintain, extend and reuse across projects. This paper presents an aspect-oriented domainspecific modelling language for the e hardware verification language that can be used as part of a model-based software engineering process. The modelling language is designed to produce well modularised models from which e code can be generated, thereby improving engineers ability to develop testbenches that can be more easily maintained, adapted and reused. We demonstrate the suitability of the modelling language through its application to a representative testbench from the automotive semiconductor industry.

show abstract

Aspect-oriented fault tolerance for real-time embedded systems

Cited by 25 publications

References 14 publications

Application-level fault tolerance in real-time embedded systems

Application-level fault tolerance in real-time embedded systems

Automated application of fault tolerance mechanisms in a component-based system

An aspect-oriented, model-driven approach to functional hardware verification

Contact Info

Product

Resources

About