Techniques for software implemented fault tolerance
Licentiatavhandling, 2006

Software implemented node level fault tolerance is an important technique for meeting dependability requirements in embedded safety critical systems. This thesis deals with both the issues of implementing mechanisms for fault tolerance and their validation. It is demonstrated how reusable and highly configurable fault tolerance mechanisms can be built using aspect oriented C++ and Java. The study shows that aspect oriented programming (AOP) is well suited for implementing both systematic and application specific mechanisms for node level fault tolerance. Hence a single framework for all node level fault tolerance mechanisms can be obtained. It is also shown how systematic mechanisms can be limited to only cover critical parts of the software and thereby reduce runtime overhead. Since the fault tolerance code becomes completely separated from the primary function code, AOP makes it possible to build easily applicable and reusable fault tolerance components. A framework of such components is presented and evaluated. This thesis also investigates the feasibility of emulating source code software faults directly in Java byte code for validation purposes. Experimental results show that software defects introduced in source code can be emulated in Java byte code with a high level of confidence. This makes it possible to validate the dependability of Java programs with respect to realistic software defects embedded within COTS components without the need to know the source code.

fault tolerance

aspect oriented programming

software fault injection

Sal EA, Rännvägen 6

Författare

Ruben Alexandersson

Chalmers, Data- och informationsteknik, Datorteknik

Aspect oriented software implemented node level fault tolerance

IASTED International Conference on Software Engineering and Applications (SEA),; (2005)

Paper i proceeding

A technique for fault tolerance assessment of COTS

International Conference on Computer Safety, Reliability and Security (SAFECOMP),; (2005)

Paper i proceeding

Ämneskategorier

Datorteknik

Technical report L - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 22L

Sal EA, Rännvägen 6