A C/C++ source-to-source compiler for dependable applications

The paper proposes a C/C++ source-to-source compiler able to increase the dependability properties of a given application. The adopted strategies are based on two main techniques, code re-ordering and variables duplication. The proposed approach is portable to any platform, it can be applied to any C/C++ source code, and it introduces code modifications that are transparent to the original program functionality. The RECCO tool, which fully automates the process, allows the user to trade-off between the level of dependability improvement and the performance degradation due to the code modification.