FERRARI: a tool for the validation of system dependability properties
- 1 January 1992
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 336-344
- https://doi.org/10.1109/ftcs.1992.243567
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Fault injection for dependability validation of fault-tolerant computing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- FIAT-fault injection based automated testing environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Continuous signature monitoring: low-cost concurrent detection of processor control errorsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1990
- Algorithm-based fault tolerance on a hypercube multiprocessorIEEE Transactions on Computers, 1990
- Fault injection for dependability validation: a methodology and some applicationsIEEE Transactions on Software Engineering, 1990
- Synthesizing robust data structures-an introductionIEEE Transactions on Computers, 1990
- Measurement-Based Analysis of Error LatencyIEEE Transactions on Computers, 1987
- Processor Control Flow Monitoring Using Signatured Instruction StreamsIEEE Transactions on Computers, 1987
- Measurement and Application of Fault LatencyIEEE Transactions on Computers, 1986
- Redundancy in Data Structures: Improving Software Fault ToleranceIEEE Transactions on Software Engineering, 1980