TY - GEN
T1 - A systematic approach to automatically generate multiple semantically equivalent program versions
AU - Narayanan, Sri Hari Krishna
AU - Kandemir, Mahmut
N1 - Funding Information:
This work is supported in part by NSF grants # 0720645 , # 0702519 and support from the Gigascale Systems Research Focus Center, one of the five research centers funded under SRCs Focus Center Research Program. The authors would like to thank the anonymous reviewers for their helpful remarks. The authors would like to thank Seung Woo Son and Shiva Prasad Kasiviswanathan for their suggestions. Finally, the authors would like to thank, our shepherd, Dr. Erhard Plödereder who helped finalize the paper.
PY - 2008
Y1 - 2008
N2 - Classic methods to overcome software faults include design diversity that involves creating multiple versions of an application. However, design diverse techniques typically require a staggering investment of time and manpower. There is also no guarantee that the multiple versions are correct or equivalent. This paper presents a novel approach that addresses the above problems, by automatically producing multiple, semantically equivalent copies for a given array/loop-based application. The copies, when used within the framework of common design diverse techniques, provide a high degree of software fault tolerance at practically no additional cost. In this paper, we also apply our automated version generation approach to detect the occurrence of soft errors during the execution of an application.
AB - Classic methods to overcome software faults include design diversity that involves creating multiple versions of an application. However, design diverse techniques typically require a staggering investment of time and manpower. There is also no guarantee that the multiple versions are correct or equivalent. This paper presents a novel approach that addresses the above problems, by automatically producing multiple, semantically equivalent copies for a given array/loop-based application. The copies, when used within the framework of common design diverse techniques, provide a high degree of software fault tolerance at practically no additional cost. In this paper, we also apply our automated version generation approach to detect the occurrence of soft errors during the execution of an application.
UR - http://www.scopus.com/inward/record.url?scp=45849127268&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=45849127268&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-68624-8_14
DO - 10.1007/978-3-540-68624-8_14
M3 - Conference contribution
AN - SCOPUS:45849127268
SN - 3540686215
SN - 9783540686217
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 185
EP - 198
BT - Reliable Software Technologies - Ada-Europe 2008 - 13th Ada-Europe International Conference on Reliable Software Technologies, Proceedings
T2 - 13th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2008
Y2 - 16 June 2008 through 20 June 2008
ER -