VALIDATION OF ULTRAHIGH DEPENDABILITY FOR SOFTWARE-BASED SYSTEMS

被引：112

作者：

LITTLEWOOD, B ^{[1
]}

STRIGINI, L ^{[1
]}

机构：

[1] CNR,IEI,I-56126 PISA,ITALY

来源：

COMMUNICATIONS OF THE ACM | 1993年 / 36卷 / 11期

关键词：

RISK ASSESSMENT; SAFETY-CRITICAL SYSTEMS; ULTRAHIGH DEPENDABILITY;

D O I：

10.1145/163359.163373

中图分类号：

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

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：69 / 80

页数：12

共 22 条

[1] EVALUATION OF COMPETING SOFTWARE-RELIABILITY PREDICTIONS [J].

ABDELGHALY, AA ;

CHAN, PY ;

LITTLEWOOD, B .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) :950-967

[2] OPTIMIZING PREVENTIVE SERVICE OF SOFTWARE PRODUCTS [J].

ADAMS, EN .

IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1984, 28 (01) :2-14

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

ANDERSON, T ;

BARRETT, PA ;

HALLIWELL, DN ;

MOULDING, MR .

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

[4]

AVIZIENIS A, 1984, IEEE COMPUT, V17, P67

[5]

BARWISE J, 1989, NOT AM MATH SOC, V36, P844

[6]

BISHOP PG, 1988, 18TH P INT S FAULT T, P1

[7] CERTIFYING THE RELIABILITY OF SOFTWARE [J].

CURRIT, PA ;

DYER, M ;

MILLS, HD .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (01) :3-11

[8]

DeGroot, 1970, OPTIMAL STAT DECISIO, V82

[9] THE APPROACH TO RISK ANALYSIS IN 3 INDUSTRIES - NUCLEAR-POWER, SPACE SYSTEMS, AND CHEMICAL PROCESS [J].

GARRICK, BJ .

RELIABILITY ENGINEERING & SYSTEM SAFETY, 1988, 23 (03) :195-205

[10]

GILOTH FK, 1983, 13TH P INT S FAULT T, P392

← 1 2 3 →