Software reliability and dependability: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Software engineering for real-time: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Dependability of COTS Microkernel-Based Systems
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
PROPANE: an environment for examining the propagation of errors in software
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid
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
A Case Study in Statistical Testing of Reusable Concurrent Objects
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
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)
EPIC: Profiling the Propagation and Effect of Data Errors in Software
IEEE Transactions on Computers
Susceptibility of Commodity Systems and Software to Memory Soft Errors
IEEE Transactions on Computers
Soft-error classification and impact analysis on real-time operating systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Emulation of Software Faults: A Field Data Study and a Practical Approach
IEEE Transactions on Software Engineering
MODIFI: a MODel-implemented fault injection tool
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Formal specification for building robust real-time microkernels
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Novel generic middleware building blocks for dependable modular avionics systems
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Fast run-time reconfiguration for SEU injection
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Hi-index | 0.01 |
This paper addresses the problem of using COTS microkernels in safety critical systems. As the behavior in the presence of faults of such basic components is seldom established, it is questionable whether they can be used to develop operating systems for critical applications. The approach proposed for the assessment of a COTS microkernel relies on fault injection as a means to obtain objective insights for the provision of upper layer services. A specific tool (MAFALDA) has been developed to implement this approach. We present and discuss the results obtained when applying the tool to the Chorus ClassiX r3 microkernel. Finally, some lessons learnt from these experiments and plans for future work are described.