Measurement and Application of Fault Latency
IEEE Transactions on Computers - The MIT Press scientific computation series
Measurement-Based Analysis of Error Latency
IEEE Transactions on Computers
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
Reliability modeling techniques for self-repairing computer systems
ACM '69 Proceedings of the 1969 24th national conference
On mutation
Principal Features of the VOLTAN Family of Reliable Node Architectures for Distributed Systems
IEEE Transactions on Computers - Special issue on fault-tolerant computing
FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior Under Faults
IEEE Transactions on Software Engineering - Special issue on software reliability
FERRARI: A Flexible Software-Based Fault and Error Injection System
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Estimators for Fault Tolerance Coverage Evaluation
IEEE Transactions on Computers - Special issue on fault-tolerant computing
The Effect of Program Behavior on Fault Observability
IEEE Transactions on Computers
DEPEND: A Simulation-Based Environment for System Level Dependability Analysis
IEEE Transactions on Computers
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Why do some (weird) people inject faults?
ACM SIGSOFT Software Engineering Notes
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems
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
SEU effect analysis in an open-source router via a distributed fault injection environment
Proceedings of the conference on Design, automation and test in Europe
The Design and Verification of the Rio File Cache
IEEE Transactions on Computers
An empirical study of operating systems errors
SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
Dependability of COTS Microkernel-Based Systems
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Coverage estimation using statistic of the extremes for when testing reveals no failures: 3
IEEE Transactions on Computers
An FPGA-Based Approach for Speeding-Up Fault Injection Campaigns on Safety-Critical Circuits
Journal of Electronic Testing: Theory and Applications
Computer
Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures
IEEE Transactions on Computers
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems
IEEE Transactions on Computers
Software Dependability in the Tandem GUARDIAN System
IEEE Transactions on Software Engineering
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
IEEE Transactions on Software Engineering
Assessing Error Detection Coverage by Simulated Fault Injection
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Fault Injection into VHDL Models: Experimental Validation of a Fault Tolerant Microcomputer System
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
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Assessment of the Benefit of Redundant Systems
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Measurement-Based Analysis of System Dependability Using Fault Injection and Field Failure Data
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
An Approach for Analysing the Propagation of Data Errors in Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
FPGA-Based Fault Injection Techniques for Fast Evaluation of Fault Tolerance in VLSI Circuits
FPL '01 Proceedings of the 11th International Conference on Field-Programmable Logic and Applications
Simulation-Based Analysis of SEU Effects on SRAM-based FPGAs
FPL '02 Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications
A fault injection environment for microprocessor-based boards
ITC '98 Proceedings of the 1998 IEEE International Test Conference
GOOFI: Generic Object-Oriented Fault Injection Tool
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
FITS: a fault injection architecture for time-triggered systems
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
EDTC '97 Proceedings of the 1997 European conference on Design and Test
Experimental assessment of parallel systems
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
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)
IOLTW '00 Proceedings of the 6th IEEE International On-Line Testing Workshop (IOLTW)
New Techniques for Accelerating Fault Injection in VHDL Descriptions
IOLTW '00 Proceedings of the 6th IEEE International On-Line Testing Workshop (IOLTW)
An Approach to Measuring and Assessing Dependability for Critical Software Systems
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Comparison of Physical and Software-Implemented Fault Injection Techniques
IEEE Transactions on Computers
EPIC: Profiling the Propagation and Effect of Data Errors in Software
IEEE Transactions on Computers
A Global-State-Triggered Fault Injector for Distributed System Evaluation
IEEE Transactions on Parallel and Distributed Systems
A multi-level approach to the dependability analysis of networked systems based on the CAN protocol
SBCCI '04 Proceedings of the 17th symposium on Integrated circuits and system design
Automatic Detection and Masking of Nonatomic Exception Handling
IEEE Transactions on Software Engineering
Testing network-based intrusion detection signatures using mutant exploits
Proceedings of the 11th ACM conference on Computer and communications security
Reflections on Industry Trends and Experimental Research in Dependability
IEEE Transactions on Dependable and Secure Computing
Soft error rate estimation and mitigation for SRAM-based FPGAs
Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays
Fault-Based Testing of Database Application Programs with Conceptual Data Model
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Automatic generation of defect injectable VHDL fault models for ASIC standard cell libraries
Integration, the VLSI Journal
Study of the Effects of SEU-Induced Faults on a Pipeline Protected Microprocessor
IEEE Transactions on Computers
Evaluating fault-tolerant system designs using FAUmachine
Proceedings of the 2007 workshop on Engineering fault tolerant systems
Journal of Systems and Software
Certification process of software components
ACM SIGSOFT Software Engineering Notes
Enhancement of fault injection techniques based on the modification of VHDL code
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Soft error rate computation in early design stages using boolean satisfiability
Proceedings of the 19th ACM Great Lakes symposium on VLSI
Fault emulation for dependability evaluation of VLSI systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
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
An Experimental Framework for the Analysis and Validation of Software Clocks
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Exogenous fault detection in a collective robotic task
ECAL'07 Proceedings of the 9th European conference on Advances in artificial life
Dependability metrics
XML schema based fault set definition to improve fault injection tools interoperability
International Journal of Critical Computer-Based Systems
Injecting various faults for the dependability validation of commercial microcontrollers
ICNVS'10 Proceedings of the 12th international conference on Networking, VLSI and signal processing
MODIFI: a MODel-implemented fault injection tool
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Fault injection approach based on dependence analysis
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Dependable computing: concepts, limits, challenges
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Fault injection into Verilog models for dependability evaluation of digital systems
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Architecting and validating dependable systems: experiences and visions
Architecting dependable systems VII
Journal of Systems and Software
Efficient Testing of Recovery Code Using Fault Injection
ACM Transactions on Computer Systems (TOCS)
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 LEON3 virtual platform with real spacewire interfaces for dependable space software development
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
An approach to experimentally obtain service dependability characteristics of the Jgroup/ARM system
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Fault injection approach based on architectural dependencies
Architecting Dependable Systems III
Selectively fortifying reconfigurable computing device to achieve higher error resilience
Journal of Electrical and Computer Engineering - Special issue on ESL Design Methodology
POWER-MODES: POWer-EmulatoR- and MOdel-Based DEpendability and Security Evaluations
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Designing fault injection experiments using state-based model to test a space software
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
SEU Fault-Injection in VHDL-Based Processors: A Case Study
Journal of Electronic Testing: Theory and Applications
Using unreliable virtual hardware to inject errors in extreme-scale systems
Proceedings of the 3rd Workshop on Fault-tolerance for HPC at extreme scale
A survey on resiliency assessment techniques for wireless sensor networks
Proceedings of the 11th ACM international symposium on Mobility management and wireless access
Combining Fault-Injection with Property-Based Testing
Proceedings of International Workshop on Engineering Simulations for Cyber-Physical Systems
| Hi-index | 0.04 |
The authors address the problem of validating the dependability of fault-tolerant computing systems, in particular, the validation of the fault-tolerance mechanisms. The proposed approach is based on the use of fault injection at the physical level on a hardware/software prototype of the system considered. The place of this approach in a validation-directed design process and with respect to related work on fault injection is clearly identified. The major requirements and problems related to the development and application of a validation methodology based on fault injection are presented and discussed. Emphasis is put on the definition, analysis, and use of the experimental dependability measures that can be obtained. The proposed methodology has been implemented through the realization of a general pin-level fault injection tool (MESSALINE), and its usefulness is demonstrated by the application of MESSALINE to the experimental validation of two systems: a subsystem of a centralized computerized interlocking system for railway control applications and a distributed system corresponding to the current implementation of the dependable communication system of the ESPRIT Delta-4 Project.