• DocumentCode
    188025
  • Title

    Fault injection tools based on Virtual Machines

  • Author

    Kooli, Maha ; Benoit, Pascal ; Di Natale, G. ; Torres, L. ; Sieh, Volkmar

  • Author_Institution
    Lab. d´Inf., de Robot. et de Microelectron. de Montpellier (LIRMM), Montpellier, France
  • fYear
    2014
  • fDate
    26-28 May 2014
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    Transient and permanent faults in complex digital systems used for safety-critical applications may result in catastrophic effects. It becomes therefore extremely important to adopt techniques such as fault injection to observe the behavior of the system in the presence of faults. Several tools have been proposed in the literature that support fault injection. However, few of them allow observing complex computer-based systems. This paper presents current advances in this field, by focusing on Low Level Virtual Machine (LLVM) based fault injectors and FAUMachine. We give an overview of the LLVM environment, and two based fault injection tools: LLFI and KULFI. Moreover, we introduce FAUmachine as virtual machine that supports fault injection in different components of the system (memory, disk and network). We present limitations and difficulties of the tool, and we propose a new implementation that allows injecting faults into the register of the target processor. The paper concludes with a comparison between the fault injection tools based on virtual machine in a first level, and between the LLVM-based fault injection tools in a second level.
  • Keywords
    program compilers; safety-critical software; virtual machines; FAUMachine; KULFI; LLFI; LLVM environment; complex computer-based systems; complex digital systems; fault injection tools; low level virtual machine; permanent faults; target processor; transient faults; Circuit faults; Hardware; Operating systems; Registers; Transient analysis; Virtual machining; FAUmachine; Fault Injection; KULFI; LLFI; LLVM; Virtual Machine;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2014 9th International Symposium on
  • Conference_Location
    Montpellier
  • Type

    conf

  • DOI
    10.1109/ReCoSoC.2014.6861351
  • Filename
    6861351