A C/C++ Source-to-Source Compiler for Dependable Applications

Authors:
Alfredo Benso;Silvia Chiusano;Paolo Prinetto;L. Tagliaferri
Affiliations:
-;-;-;-
Venue:
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Year:
2000

Citing 0
Cited 11

System safety through automatic high-level code transformations: an experimental evaluation

Proceedings of the conference on Design, automation and test in Europe
Object duplication for improving reliability

ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Improving scratch-pad memory reliability through compiler-guided data block duplication

ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Remote entrusting by run-time software authentication

SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Memory space conscious loop iteration duplication for reliable execution

SAS'05 Proceedings of the 12th international conference on Static Analysis
Instruction scheduling for reliability-aware compilation

Proceedings of the 49th Annual Design Automation Conference
Time-Constraint-Aware Optimization of Assertions in Embedded Software

Journal of Electronic Testing: Theory and Applications
Detailed Analysis of Compilation Options for Robust Software-based Embedded Systems

Journal of Electronic Testing: Theory and Applications
An instruction-level fine-grained recovery approach for soft errors

Proceedings of the 28th Annual ACM Symposium on Applied Computing
Reliable on-chip systems in the nano-era: lessons learnt and future trends

Proceedings of the 50th Annual Design Automation Conference
Selective SWIFT-R

Journal of Electronic Testing: Theory and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The present 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 reordering 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 tradeoff between the level of dependability improvement and the performance degradation due to the code modification.