CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Fault injection‐based assessment of aspect‐oriented fault tolerance

Ruben Alexandersson (Institutionen för data- och informationsteknik, Software Engineering (Chalmers)) ; Johan Karlsson (Institutionen för data- och informationsteknik, Nätverk och system (Chalmers) )
Göteborg : Chalmers University of Technology, 2010. - 46 s.
[Rapport]

Aspect‐oriented programming provides an interesting approach for implementing software‐based fault tolerance as it allows the core functionality of a program and its fault tolerance features to be coded separately. This paper presents a comprehensive fault injection study that estimates the fault coverage of several software implemented fault tolerance mechanisms designed to detect or mask transient hardware faults. We compare their fault coverage for two target programs and for three implementation techniques: manual programming in C and two variants of aspect‐oriented programming. We also compare the impact of different compiler optimization levels on the fault coverage. The software‐implemented fault tolerance mechanisms investigated are: i) triple time‐redundant execution with voting and forward recovery, ii) a novel dual signature control flow checking mechanism, and iii) a novel combination of several mechanisms that are shown to achieve perfect fault detection coverage for some of our target programs. The faults injected were single bit‐flips in memory words and instructions set architecture registers holding live data. The study shows that the variations in fault coverage among the implementation techniques generally are small, while it varies significantly (from 88% to 100%) for the different fault tolerance mechanisms.

Nyckelord: Aspect Oriented Programming, Fault Tolerance, Fault Injection, Time‐redundant Execution, Control Flow Checking



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2010-12-15.
CPL Pubid: 130955