Compiler Assisted Automatic Error Detection
For the seminar on software based fault tolerance I compared different methods of error detection in compilers:
This work gives an overview of compiler-assisted methods to ensure fault-tolerance without hardware support and major modifications to source programs. The overview of existing methods is accompanied by a practical implementation of AN-Encoding using AspectC++, and a theoretical proposal for adding redundancy to functional programs by employing multiple beta reduction strategies. Experimental results from [15, 17] are compared and limitations of compiler-assisted approaches are discussed.