DEPEND: A Simulation-Based Environment for System Level Dependability Analysis
IEEE Transactions on Computers
IEEE Transactions on Computers
IEEE Transactions on Parallel and Distributed Systems
Stress-Based and Path-Based Fault Injection
IEEE Transactions on Computers
Teraflops Supercomputer: Architecture and Validation of the Fault Tolerance Mechanisms
IEEE Transactions on Computers
Simulation-based Testing of Communication Protocols for Dependable Embedded Systems
The Journal of Supercomputing - Special issue on embedded fault-tolerance systems
Fault Injection Techniques and Tools
Computer
Assessing Error Detection Coverage by Simulated Fault Injection
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Speeding-Up Fault Injection Campaigns in VHDL Models
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
A fault injection environment for microprocessor-based boards
ITC '98 Proceedings of the 1998 IEEE International Test Conference
Generation of an error set that emulates software faults based on field data
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
An approach towards benchmarking of fault-tolerant commercial systems
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Fault Injection Based on a Partial View of the Global State of a Distributed System
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Evaluating the Fault Tolerance Capabilities of Embedded Systems via BDM
VTS '99 Proceedings of the 1999 17TH IEEE VLSI Test Symposium
Cesium: Testing Hard Real-time and Dependability Properties of Distributed Protocols
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
VirtualWire: A Fault Injection and Analysis Tool for Network Protocols
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
A Global-State-Triggered Fault Injector for Distributed System Evaluation
IEEE Transactions on Parallel and Distributed Systems
Testing of java web services for robustness
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Robustness Testing of Java Server Applications
IEEE Transactions on Software Engineering
Study of the Effects of SEU-Induced Faults on a Pipeline Protected Microprocessor
IEEE Transactions on Computers
Case-based software reliability assessmentby fault injection unified procedures
Proceedings of the 2008 international workshop on Software Engineering in east and south europe
A formal approach for specification and verification of fault injection process
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
Dependability metrics
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
A fault injection tool for testing web services composition
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
MODIFI: a MODel-implemented fault injection tool
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
A Java Framework to Specify Faultloads for Fault Injection Campaigns
Journal of Electronic Testing: Theory and Applications
Automated and distributed protocol testing and debugging for wireless ad-hoc networks
Proceedings of the 9th ACM international symposium on Mobility management and wireless access
A kernel-based communication fault injector for dependability testing of distributed systems
HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Enforcing Murphy's law for advance identification of run-time failures
USENIX ATC'12 Proceedings of the 2012 USENIX conference on Annual Technical Conference
Journal of Systems and Software
Combining Fault-Injection with Property-Based Testing
Proceedings of International Workshop on Engineering Simulations for Cyber-Physical Systems
| Hi-index | 0.02 |
Abstract: The paper presents an integrated software fault injection environment (DOCTOR) which is capable of (1) generating synthetic workloads under which system dependability is evaluated, (2) injecting various types of faults with different options, and (3) collecting performance and dependability data. A comprehensive graphical user interface is also provided. The software implemented fault-injection tools supports three types of faults: memory faults, CPU faults, and communication faults. Each injected fault may be permanent, transient or intermittent. A fault-injection plan can be formulated probabilistically, or based on the past event history. The modular organization of tools is particularly designed for distributed architectures. DOCTOR is implemented on a distributed real-time system called HARTS, and it capability has been tested through numerous experiments.