Exhaustif®: a fault injection tool for distributed heterogeneous embedded systems
Authors: 
Antonio Dasilva, José-F Martínez, Lourdes López, Ana-B García, Luis RedondoAuthors Info & Claims
Antonio Dasilva, José-F Martínez, Lourdes López, Ana-B García, Luis RedondoAuthors Info & ClaimsArticle No.: 17, Pages 1 - 8
Abstract
This paper presents Exhaustif®, a SWIFI fault injection tool for fault tolerance verification and the validation of embedded software in distributed heterogeneous 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 carry out argument and return value corruption with a minimal time overhead. Two experimental Fault 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.
References
[1]
Voas, J.: Software Fault-Injection: Growing 'safer' Systems, In Proceedings. of IEEE Aerospace Conference, Snowmass, February (1997)
[2]
Carreira, J and Silva, J. G.: ¿Why do some (weird) people Inject Faults?, Software Engineering Notes, Vol 23 no 1, pp. 42, January (1998)
[3]
Gacek, C., de Lemos R.: Architectural description of dependable systems, In: Structure for Dependability: Computer-Bases Systems from an Interdisciplinary Perspective. Lecture Notes in Computer Science 4527. Springer-Verlang, pp. 127--142, (2006)
[4]
Carreira, J., Madeira, H., and Silva, J. G.: Xception: A technique for Experimental Evaluation of Dependability in Modern Computers, IEEE Transactions On Software Engineering, Vol. 24, pp 125--135, February (1998)
[5]
Aidemark, J., Vinter, J., Folkesson, P., and Karlsson, J.: GOOFI: Generic Object-Oriented Fault Injection Tool, In Proceedings of International Conference on Dependable Systems and Networks (2001).
[6]
Arlat, J., Crouzet, Y., and. Laprie, J. C.: Fault Injection for dependability validation of fault-tolerant computing systems, Laboratoire d'Automatique et d'Analyse des Systèmes du C.N.R.S, Toulouse, France (1989).
[7]
Höxer H.-J., Sieh V.; Waitz M.: Fast Simulation of Stuck-At and Coupling Memory Faults Using FAUmachine, In Supplement to Proceedings. HASE 2005: International Symposium on High Assurance Systems Engineering (2005)
[8]
Maia, R., Enriques, L., Barbosa, R., Costa, D., and Madeira, H.: Xception Fault Injection and Robusteness testing Framework: a case-study of testing RTEMS, WTF: VI Workshop de Testes e Tolerancia a Falhas (2005)
[9]
Arlat, J., Fabre, J. C., Rodriguez, M., and Salles, F.: MAFALDA: A series of prototype tools for the assessment of real time COTS microkernel-based systems, In Fault injection techniques and tools for embedded systems reliability evaluation, Boston: Kluwer academic, (2003)
[10]
EADS-Astrium: www.astrium.eads.net (2006)
[11]
RTEMS: Real Time Executive for Multiprocesor Systems. www.rtems.org. (2006)
[12]
TSIM: ERC32/Leon Simulator. www.gaisler.com (2006)
[13]
Sparc Standards: www.sparc.org (2006)
Recommendations
A Reconfiguration-Based Fault-Tolerant Anti-Lock Brake-by-Wire System
Anti-Lock Braking Systems (ABS) and Brake-by-Wire Systems (BBW) are safety-critical applications by nature. Such systems are required to demonstrate high degrees of dependability. Fault-tolerance is the primary means to achieve dependability at runtime ...
XML Schema Based Faultset Definition to Improve Faults Injection Tools Interoperability
DEPCOS-RELCOMEX '08: Proceedings of the 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEXThis paper describes an XML schema formalization approach for the definition of basic fault sets which specify memory and/or register value corruption in microprocessor-based systems. SWIFI (Software Implemented Fault Injection) tools use fault ...
Comparison of Physical and Software-Implemented Fault Injection Techniques
This paper addresses the issue of characterizing the respective impact of fault injection techniques. Three physical techniques and one software-implemented technique that have been used to assess the fault tolerance features of the MARS fault-tolerant ...
Comments
Information & Contributors
Information
Published In
May 2007
498 pages
ISBN:9781595935984
DOI:10.1145/1352694
- Conference Chairs:
- Rogério P. C. do Nascimento,
- Amine Berqia,
- Patricio Serendero,
- Eduardo Carrillo,
- Program Chair:
- Amine Berqia
Copyright © 2007 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- SIGMOD: ACM Special Interest Group on Management of Data
- SIGWEB: ACM Special Interest Group on Hypertext, Hypermedia, and Web
- SIGAPP: ACM Special Interest Group on Applied Computing
- SIGMM: ACM Special Interest Group on Multimedia
- EATIS: Euro American Association on Telematics and Information Systems
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 14 May 2007
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
EATIS07: Euro American Conference on Telematics and Information Systems
May 14 - 17, 2007
Faro, Portugal
Acceptance Rates
Overall Acceptance Rate 17 of 64 submissions, 27%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 171Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Reflects downloads up to 01 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in