Fault Injection for Dependability Validation: A Methodology and Some Applications
IEEE Transactions on Software Engineering
Why do some (weird) people inject faults?
ACM SIGSOFT Software Engineering Notes
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
IEEE Transactions on Software Engineering
GOOFI: Generic Object-Oriented Fault Injection Tool
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A Framework for Assessing Dependability in Distributed Systems with Lightweight Fault Injectors
IPDS '00 Proceedings of the 4th International Computer Performance and Dependability Symposium
An XML vocabulary for error message documentation
ACM SIGSOFT Software Engineering Notes
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
An Ontology-Based Approach for Determining the Dependability of Service-Oriented Architectures
WORDS '05 Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
Enhancing Fault Injection Testbench
DEPCOS-RELCOMEX '06 Proceedings of the International Conference on Dependability of Computer Systems
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes
DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
A Fault Taxonomy for Service-Oriented Architecture
HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
Modeling geological objects with the XML Schema
Computers & Geosciences
Assembly-Level pre-injection analysis for improving fault injection efficiency
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
On the effects of errors during boot
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Generic fault modelling for fault injection
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Hi-index | 0.00 |
Software implemented fault injection tools (SWIFI) use fault injectors to carry out the fault injection campaign defined in a GUI-based application. However, the communication between the fault injector and the application is defined in an ad-hoc manner. This paper describes an XML schema formalisation approach for the definition of fault sets which specify low level memory and/or register value corruptions in embedded microprocessor-based systems and resource usage faults in host based systems. Through this proposed XML schema definition, different injectors could be used to carry out the same fault set injection. To validate this approach an experimental tool called Exhaustif®, consisting of a GUI Java application for defining the fault sets and injection policies, one injector for Windows hosts systems and two injectors for Sparc and i386 architectures under RTEMS have been developed.