Dependability of COTS microkernel-based systems

被引：69

作者：

Arlat, J ^{[1
]}

Fabre, JC ^{[1
]}

Rodríguez, M ^{[1
]}

Salles, F ^{[1
]}

机构：

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

来源：

IEEE TRANSACTIONS ON COMPUTERS | 2002年 / 51卷 / 02期

关键词：

COTS microkernels; dependability characterization; fault injection; error confinement; wrapping;

D O I：

10.1109/12.980005

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The commercial offer concerning microkernel technology constitutes an attractive alternative for developing operating systems to suit a wide range of application domains. However, the integration of COTS microkernels into critical embedded computer systems is a problem for system developers, in particular due to the lack of objective data concerning their behavior in the presence of faults. This paper addresses this issue by describing a prototype environment (MAFALDA: Microkernel Assessment by Fault injection AnaLysis and Design Aid) that is aimed at providing objective failure data on a candidate microkernel and also improving its error detection capabilities. The paper first presents the overall architecture of MAFALDA. Then, a case study carried out on an instance of the Chorus microkernel is used to illustrate the benefits that can be obtained with MAFALDA both from the dependability assessment and design-aid viewpoints. Implementation issues are also addressed that account for the specific API of the target microkernel. Some overall insights and lessons learned, gained during the various studies conducted on both Chorus and another target microkernel (LynxOS), are then depicted and discussed. Finally, we conclude the paper by summarizing the main features of the work presented and by identifying future research.

引用

页码：138 / 163

页数：26

共 47 条

[11] Fault injection spot-checks computer system dependability [J].

Carreira, JV ;

Costa, D ;

Silva, JG .

IEEE SPECTRUM, 1999, 36 (08) :50-55

[12]

Cheswick WilliamR., 1994, FIREWALLS INTERNET S

[13]

*CHOR SYST, 1996, CSTR961198

[14]

Daran M., 1996, Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA), P158, DOI 10.1145/226295.226313

[15] Formal analysis of the priority ceiling protocol [J].

Dutertre, B .

21ST IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2000, :151-160

[16]

Fabre J.-C., 1999, Dependable Computing for Critical Applications 7, P25, DOI 10.1109/DCFTS.1999.814288

[17] Building dependable COTS microkernel-based systems using MAFALDA [J].

Fabre, JC ;

Rodríguez, M ;

Arlat, J ;

Salles, F ;

Sizun, JM .

2000 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2000, :85-92

[18]

Fuchs E., 1998, Dependable Computing and Fault-Tolerant Systems. Vol.11. Dependable Computing for Critical Applications 6, P225

[19] Executable assertions for detecting data errors in embedded control systems [J].

Hiller, M .

DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2000, :24-33

[20] Fault injection techniques and tools [J].

Hsueh, MC ;

Tsai, TK ;

Iyer, RK .

COMPUTER, 1997, 30 (04) :75-+

← 1 2 3 4 5 →