A systematic approach to automatically generate multiple semantically equivalent program versions

Sri Hari Krishna Narayanan, Mahmut Kandemir

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationReliable Software Technologies - Ada-Europe 2008 - 13th Ada-Europe International Conference on Reliable Software Technologies, Proceedings
Pages185-198
Number of pages14
DOIs
Publication statusPublished - Jul 1 2008
Event13th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2008 - Venice, Italy
Duration: Jun 16 2008Jun 20 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5026 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other13th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2008
CountryItaly
CityVenice
Period6/16/086/20/08

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Narayanan, S. H. K., & Kandemir, M. (2008). A systematic approach to automatically generate multiple semantically equivalent program versions. In Reliable Software Technologies - Ada-Europe 2008 - 13th Ada-Europe International Conference on Reliable Software Technologies, Proceedings (pp. 185-198). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5026 LNCS). https://doi.org/10.1007/978-3-540-68624-8_14