A software development kit for dependable applications in embedded systems

被引：5

作者：

Benso, A ^{[1
]}

Chiusano, S ^{[1
]}

Prinetto, P ^{[1
]}

机构：

[1] Politecn Torino, Dipartimento Automat & Informat, I-10129 Turin, Italy

来源：

INTERNATIONAL TEST CONFERENCE 2000, PROCEEDINGS | 2000年

关键词：

D O I：

10.1109/TEST.2000.894204

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper we present DSDK1, a Dependable Software Development Kit designed to support the software engineer in releasing dependable applications for embedded systems, starting from either commercial or native software. The proposed kit integrates four different tools: RECCO, a source-to-source compiler able to transform any C/C++ native source code in a more dependable version of the same code, WRAF: a tool able to wrap executable software modules and transparently enhance their dependability characteristic, EXEM, an external world and device emulator tool, and BOND, a powerful Fault Injection environment able to emulate the occurrence of different types of faults in the system and to evaluate the dependability properties of the overall system. Experimental results gathered on an embedded system running Embedded NT OS demonstrate the effectiveness and the flexibility of the tool.

引用

页码：170 / 178

页数：9

共 14 条

[1]

ALBERT D, 1998, ACM T COMPUT SYST, V16, P207

[2] Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment [J].

Amendola, AM ;

Benso, A ;

Corno, F ;

Impagliazzo, L ;

Marmo, P ;

Prinetto, P ;

Rebaudengo, M ;

Reorda, MS .

EURO-DAC '96 - EUROPEAN DESIGN AUTOMATION CONFERENCE WITH EURO-VHDL '96 AND EXHIBITION, PROCEEDINGS, 1996, :536-541

[3]

BAGCHI S, 1998, P 28 FAULT TOL COMP

[4]

GHORMLEY DP, 1998, P USENIX ANN TECHN C

[5]

GHOSH AK, 1999, P 29 IEEE FAULT TOL

[6] ALGORITHM-BASED FAULT TOLERANCE FOR MATRIX OPERATIONS [J].

HUANG, KH ;

ABRAHAM, JA .

IEEE TRANSACTIONS ON COMPUTERS, 1984, 33 (06) :518-528

[7]

JONES MB, 1993, P 14 ACM S OP SYST P, P80

[8]

LU DJ, 1982, IEEE T COMPUT, V31, P681, DOI 10.1109/TC.1982.1676066

[9]

MADEIRA H, 1992, DEPENDABLE COMPUTING, V2, P395

[10] ANIMATED VISUALIZATION OF A HIGH-RESOLUTION COLOR 3-DIMENSIONAL DIGITAL-COMPUTER MODEL OF THE WHOLE HUMAN HEAD [J].

NARAYAN, S ;

SENSHARMA, D ;

SANTORI, EM ;

LEE, AA ;

SABHERWAL, A ;

TOGA, AW .

INTERNATIONAL JOURNAL OF BIO-MEDICAL COMPUTING, 1993, 32 (01) :7-17

← 1 2 →