Assessment of COTS microkernels by fault injection
Authors:
- J.-C. FabreJFJ.-C. Fabre
- F. SallesFSF. Salles
- M.R. MorenoMMM.R. Moreno
- J. ArlatJAJ. Arlat
- 20 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 25-44
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- FIAT-fault injection based automated testing environment2003
- Can we rely on COTS microkernels for building fault-tolerant systems?2002
- Comparing operating systems using robustness benchmarks2002
- Certifying off-the-shelf software componentsComputer, 1998
- Automated robustness testing of off-the-shelf software components1998
- Measuring software dependability by robustness benchmarkingIEEE Transactions on Software Engineering, 1997
- Fault injection techniques and toolsComputer, 1997
- FERRARI: a flexible software-based fault and error injection systemIEEE Transactions on Computers, 1995
- FINE: A fault injection and monitoring environment for tracing the UNIX system behavior under faultsIEEE Transactions on Software Engineering, 1993
- Fault injection for dependability validation: a methodology and some applicationsIEEE Transactions on Software Engineering, 1990