Building dependable COTS microkernel-based systems using MAFALDA
- 11 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
MAFALDA (Microkernel Assessment by Fault injection Analysis and Design Aid) is a generic tool providing quantitative information on COTS microkernels to support their integration into dependable systems. The main originality of MAFALDA relies on the features provided for both the analysis of the failure modes of the target microkernel and the design of error confinement wrappers. The paper illustrates: (i) how MAFALDA is organized and its user interface, and (ii) how it can be used to carry out fault injection campaigns. Finally, we present the experimental context of campaigns carried out on two commercial microkernels and draw the main lessons learnt.Keywords
This publication has 11 references indexed in Scilit:
- Assessment of COTS microkernels by fault injectionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Comparing the robustness of POSIX operating systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- MetaKernels and fault containment wrappersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formal specification for building robust real-time microkernelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Certifying off-the-shelf software componentsComputer, 1998
- Xception: a technique for the experimental evaluation of dependability in modern computersIEEE Transactions on Software Engineering, 1998
- Implementation of the GARF replicated objects platformDistributed Systems Engineering, 1995
- A Linguistic Framework for Dynamic Composition of Dependability ProtocolsPublished by Springer Nature ,1993
- FINE: A fault injection and monitoring environment for tracing the UNIX system behavior under faultsIEEE Transactions on Software Engineering, 1993
- Concepts and experiments in computational reflectionPublished by Association for Computing Machinery (ACM) ,1987