Sökning: onr:"swepub:oai:DiVA.org:mdh-23974" >
Exhaustif :
Exhaustif : a fault injection tool for distributed heterogeneous embedded systems
-
- Da Silva Fariña, Antonio (författare)
- Technical University of Madrid
-
- Martínez-Ortega, José-Fernán (författare)
- Technical University of Madrid
-
- Lopez, Lourdes (författare)
- Technical University of Madrid
-
visa fler...
-
- Garcia Hernando, Ana Belen (författare)
- Technical University of Madrid
-
- Redondo, Luis (författare)
- Métodos y Tecnología, Paseo de la Castellana, Spain
-
visa färre...
-
(creator_code:org_t)
- 2007-05-14
- 2007
- Engelska.
-
Ingår i: Euro American Conference on Telematics and Information Systems - Proceedings of the 2007 Euro American Conference on Telematics and Information Systems, EATIS 2007. - New York, NY, USA : ACM Press. - 9781595935984 ; , s. Article number a17-
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- This paper presents Exhaustif®, a SWIFI fault injection tool for fault tolerance verification and the validation of embedded software in distributedheterogeneous systems. Exhaustif® mainly consists of two parts: EEM and FIK. Exhaustif® Executive Manager (EEM) is a GUI Java application to define the fault injection campaign that uses a SQL database to save the test results obtained from the System under Test (SUT) in order to carry out a post injection data analysis. FIK is under the command of EEM to cary out fault injections in applications running under diverse operating systems using pure SWIFI techniques. Exhaustif® carries out floating point register and memory corruptions using temporary triggers and uses an optimized routine interception mechanism to cany out argument and return value corruption with a minimal time overhead. Two experimentalFault Injector Kernels (FIK) under the RTEMS operating system for an EADS-Astrium SPARC ERC32-based MCM processor board and i386 standard PC mainboard have been developed.
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas