loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh Pacific Rim International Symposium on Dependable Computing (PRDC'00)
Building dependable COTS microkernel-based systems using MAFALDA
Los Angeles, California
December 18-December 20
ISBN: 0-7695-0975-4
ASCII Text
x 
 
J.-C. Fabre, M. Rodriguez, J. Arlat, J.-M. Sizun, "Building dependable COTS microkernel-based systems using MAFALDA," Pacific Rim International Symposium on Dependable Computing, IEEE, pp. 85, Seventh Pacific Rim International Symposium on Dependable Computing (PRDC'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/PRDC.2000.897288,
author = {J.-C. Fabre and M. Rodriguez and J. Arlat and J.-M. Sizun},
title = {Building dependable COTS microkernel-based systems using MAFALDA},
journal ={Pacific Rim International Symposium on Dependable Computing, IEEE},
volume = {0},
year = {2000},
isbn = {0-7695-0975-4},
pages = {85},
doi = {http://doi.ieeecomputersociety.org/10.1109/PRDC.2000.897288},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Pacific Rim International Symposium on Dependable Computing, IEEE
TI - Building dependable COTS microkernel-based systems using MAFALDA
SN - 0-7695-0975-4
SP
EP
A1 - J.-C. Fabre,
A1 - M. Rodriguez,
A1 - J. Arlat,
A1 - J.-M. Sizun,
PY - 2000
KW - operating system kernels; software fault tolerance; dependable COTS; microkernel-based systems; MAFALDA; COTS microkernels; fault injection; error confinement wrappers
VL - 0
JA - Pacific Rim International Symposium on Dependable Computing, IEEE
ER -
 
J.-C. Fabre, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
M. Rodriguez, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J. Arlat, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J.-M. Sizun, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
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.
Index Terms:
operating system kernels; software fault tolerance; dependable COTS; microkernel-based systems; MAFALDA; COTS microkernels; fault injection; error confinement wrappers
Citation:
J.-C. Fabre, M. Rodriguez, J. Arlat, J.-M. Sizun, "Building dependable COTS microkernel-based systems using MAFALDA," prdc, pp.85, Seventh Pacific Rim International Symposium on Dependable Computing (PRDC'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.