TY - GEN
T1 - Compiler-aided methodology for low overhead on-line testing
AU - Nazarian, Ghazaleh
AU - Seepers, Robert M.
AU - Strydis, Christos
AU - Gaydadjiev, Georgi N.
PY - 2013/1/1
Y1 - 2013/1/1
N2 - 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 Control-Flow-Graph (CFG) topology analysis is used to place best-suited assertions at optimal locations of the assembly code to reduce overheads. Our evaluation with representative workloads shows fault-coverage increase with overheads close to Assertion-based Control-Flow Correction (ACFC), the method with lowest overhead. Compared to ACFC, our technique improves (on average) fault coverage by 17%, performance overhead by 5% and power-consumption by 3% with equal code-size overhead.
AB - 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 Control-Flow-Graph (CFG) topology analysis is used to place best-suited assertions at optimal locations of the assembly code to reduce overheads. Our evaluation with representative workloads shows fault-coverage increase with overheads close to Assertion-based Control-Flow Correction (ACFC), the method with lowest overhead. Compared to ACFC, our technique improves (on average) fault coverage by 17%, performance overhead by 5% and power-consumption by 3% with equal code-size overhead.
UR - http://www.scopus.com/inward/record.url?scp=84888877875&partnerID=8YFLogxK
U2 - 10.1109/SAMOS.2013.6621126
DO - 10.1109/SAMOS.2013.6621126
M3 - Conference contribution
AN - SCOPUS:84888877875
SN - 9781479901036
T3 - Proceedings - 2013 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2013
SP - 219
EP - 226
BT - Proceedings - 2013 International Conference on Embedded Computer Systems
PB - IEEE Computer Society
T2 - 2013 13th International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2013
Y2 - 15 July 2013 through 18 July 2013
ER -