• DocumentCode
    3716752
  • Title

    Diverse Compiling for Microprocessor Fault Detection in Temporal Redundant Systems

  • Author

    Höller;Tobias Rauter;Johannes Iber;Christian Kreiner

  • Author_Institution
    Inst. for Tech. Inf., Graz Univ. of Technol., Graz, Austria
  • fYear
    2015
  • Firstpage
    1928
  • Lastpage
    1935
  • Abstract
    As hardware components are expected to become ever more unreliable due to the technology scaling, hardware errors have become unavoidable. Dependable systems that rely on a correct functionality often use redundancy to detect such hardware faults during operation. However, to design costefficient reliable systems, it is crucial to effectively exploit the available redundancy. Thus, researchers have investigated ways to automatically add cost-efficient diversity to software to increase the efficiency of redundancy strategies. One of these automated software diversification methods is diverse compiling, which exploits the diversity introduced by different compilers and different optimization flags. However, there is a lack of statistics regarding the efficiency of the approach for detecting certain types of faults. In this paper, we contribute towards filling this gap by evaluating the diverse compiling approach regarding its ability to detect faults in the microprocessor. We experimentally quantify the efficiency of diverse compiling for three benchmarks regarding the detection of register and instruction decoder faults for an ARM9 processor. For these applications, our fault injection campaigns show that about 90% register faults and 70% instruction decoder faults can be detected with diverse compiling. These results indicate that this approach is quite promising for improving the efficiency of redundancy techniques.
  • Keywords
    "Redundancy","Hardware","Optimization","Fault tolerant systems","Software","Registers"
  • Publisher
    ieee
  • Conference_Titel
    Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing (CIT/IUCC/DASC/PICOM), 2015 IEEE International Conference on
  • Type

    conf

  • DOI
    10.1109/CIT/IUCC/DASC/PICOM.2015.285
  • Filename
    7363331