A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Compiler-aided methodology for low overhead on-line testing
2013
2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)
Reliability is emerging as an important design criterion in modern systems due to increasing transient fault rates. Hardware fault-tolerance techniques, commonly used to address this, introduce high design costs. As alternative, software Signature-Monitoring (SM) schemes based on compiler assertions are an efficient method for control-flow-error detection. Existing SM techniques do not consider application-specific-information causing unnecessary overheads. In this paper, compile-time
doi:10.1109/samos.2013.6621126
dblp:conf/samos/NazarianSSG13
fatcat:oq3ce2bdefftdnkjpgcscoq5oy