Building dependable COTS microkernel-based systems using MAFALDA

被引：12

作者：

Fabre, JC ^{[1
]}

Rodríguez, M ^{[1
]}

Arlat, J ^{[1
]}

Salles, F ^{[1
]}

Sizun, JM ^{[1
]}

机构：

[1] CNRS, LAAS, F-31077 Toulouse 4, France

来源：

2000 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS | 2000年

关键词：

D O I：

10.1109/PRDC.2000.897288

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

MAFALDA (Microkernal 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.

引用

页码：85 / 92

页数：8

共 18 条

[11]

MATHISEN T, 1994, BYTE JUL, P191

[12]

*OMG, 1999, ORBOS990407 OMG SUN

[13]

Rodríguez M, 1999, LECT NOTES COMPUT SC, V1667, P143

[14]

RODRIGUEZ M, 2000, IN PRESS P 21 IEEE R

[15] MetaKernels and fault containment wrappers [J].

Salles, F ;

Rodríguez, M ;

Fabre, JC ;

Arlat, J .

TWENTY-NINTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS, 1999, :22-29

[16]

SALLES F, 1999, 99164 LAAS

[17] Certifying off-the-shelf software components [J].

Voas, JM .

COMPUTER, 1998, 31 (06) :53-+

[18]

*VXWORKS, 1998, VXWORKS REALT KERN

← 1 2 →