Title :
Building dependable COTS microkernel-based systems using MAFALDA
Author :
Fabre, Jean-Charles ; Rodriguez, M. ; Arlat, Jean
Author_Institution :
Lab. d´Autom. et d´Anal. des Syst., CNRS, Toulouse
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 :
operating system kernels; software fault tolerance; COTS microkernels; MAFALDA; dependable COTS; error confinement wrappers; fault injection; microkernel-based systems; Aerospace industry; Aerospace safety; Buildings; Costs; Embedded system; Encapsulation; Failure analysis; Information analysis; Rail transportation; User interfaces;
Conference_Titel :
Dependable Computing, 2000. Proceedings. 2000 Pacific Rim International Symposium on
Conference_Location :
Los Angeles, CA
Print_ISBN :
0-7695-0975-4
DOI :
10.1109/PRDC.2000.897288
