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

A Benso, S Chiusano, P Prinetto… - … Systems and Networks …, 2000 - ieeexplore.ieee.org
A Benso, S Chiusano, P Prinetto, L Tagliaferri
Proceeding International Conference on Dependable Systems and …, 2000ieeexplore.ieee.org
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 …
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.
ieeexplore.ieee.org
以上显示的是最相近的搜索结果。 查看全部搜索结果