Fault injection tools based on Virtual Machines
Maha Kooli
(1)
,
Giorgio Di Natale
(1)
,
Pascal Benoit
(2)
,
Alberto Bosio
(1)
,
Lionel Torres
(2)
,
Volkmar Sieh
(3)
Maha Kooli
- Fonction : Auteur
- PersonId : 1021863
- IdHAL : maha-kooli
- ORCID : 0000-0003-3594-8371
Giorgio Di Natale
- Fonction : Auteur
- PersonId : 9897
- IdHAL : giorgio-di-natale
- ORCID : 0000-0001-8063-5388
- IdRef : 165791144
Pascal Benoit
- Fonction : Auteur
- PersonId : 3919
- IdHAL : pascal-benoit
- ORCID : 0000-0002-2945-5725
- IdRef : 069480915
Alberto Bosio
- Fonction : Auteur
- PersonId : 172965
- IdHAL : alberto-bosio
- ORCID : 0000-0001-6116-7339
- IdRef : 174383592
Résumé
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.
Format du dépôt | Notice |
---|---|
Type de dépôt | Communication dans un congrès |
Titre |
en
Fault injection tools based on Virtual Machines
|
Résumé |
en
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.
|
Auteur(s) |
Maha Kooli
1
, Giorgio Di Natale
1
, Pascal Benoit
2
, Alberto Bosio
1
, Lionel Torres
2
, Volkmar Sieh
3
1
TEST -
Test and dEpendability of microelectronic integrated SysTems
( 487992 )
- LIRMM, 161 rue Ada, 34000 Montpellier
- France
2
ADAC -
ADAptive Computing
( 487991 )
- LIRMM, 161 rue Ada, 34000 Montpellier
- France
3
FAU -
Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg
( 311714 )
- Schlossplatz 4, 91054 Erlangen, Germany
- Allemagne
|
Comité de lecture |
Oui
|
Ville |
Montpellier
|
Actes |
Oui
|
Pays |
France
|
Vulgarisation |
Non
|
Date fin congrès |
2014-05-28
|
Date début congrès |
2014-05-26
|
Titre du congrès |
ReCoSoC: Reconfigurable and Communication-Centric Systems-on-Chip
|
Date de publication |
2014-05-26
|
Langue du document |
Anglais
|
Audience |
Internationale
|
Invité |
Oui
|
Source |
9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip
|
Projet(s) Européen(s) |
|
Domaine(s) |
|
DOI | 10.1109/ReCoSoC.2014.6861351 |
Loading...