DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE FAULT-TOLERANT SYSTEMS

被引：27

作者：

ARLAT, J

KANOUN, K

LAPRIE, JC

机构：

[1] Laboratoire d'Automatique et d'Analyse des Systèmes du Centre National de la Recherche Scientifique (LAAS-CNRS), Toulouse

来源：

IEEE TRANSACTIONS ON COMPUTERS | 1990年 / 39卷 / 04期

关键词：

Dependability evaluation; dependability modeling; software design diversity; software fault tolerance;

D O I：

10.1109/12.54843

中图分类号：

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

学科分类号：

0812 ;

摘要：

The paper provides dependability modeling and evaluation (encompassing reliability and safety issues) of the two major fault tolerance software approaches: recovery blocks (RB) and N-version programming (NVP). The study is based on the detailed analysis of software fault-tolerance architectures able to tolerate a single fault (RB: two alternates and an acceptance test, NVP: three versions and a decider). © 1990 IEEE

引用

页码：504 / 513

页数：10

共 28 条

[1] SOFTWARE FAULT TOLERANCE - AN EVALUATION [J].

ANDERSON, T ;

BARRETT, PA ;

HALLIWELL, DN ;

MOULDING, MR .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (12) :1502-1510

[2]

[Anonymous], 1968, INTRO PROBABILITY TH

[3]

ARLAT J, 1988, JUN P FTCS 18, P142

[4] DEPENDABLE COMPUTING - FROM CONCEPTS TO DESIGN DIVERSITY [J].

AVIZIENIS, A ;

LAPRIE, JC .

PROCEEDINGS OF THE IEEE, 1986, 74 (05) :629-638

[5]

AVIZIENIS A, 1984, IEEE COMPUTER AUG, P67

[6]

AVIZIENIS A, 1985, OCT P SAFE COMP 85 C, P173

[7]

BISHOP PG, 1989, 1ST P INT WORK C DEP, P25

[8]

CHA SP, 1986, OCT P IFAC WORKSH SA, P21

[9]

CHEN L, 1978, JUN P FTCS8 TOUL FRA, P3

[10]

CHEUNG RC, 1985, IEEE T SOFTWARE ENG, V6, P118

← 1 2 3 →