SAFETY VERIFICATION OF ADA PROGRAMS USING SOFTWARE FAULT-TREES

被引：66

作者：

LEVESON, NG ^{[1
]}

CHA, SS ^{[1
]}

SHIMEALL, TJ ^{[1
]}

机构：

[1] HUGHES AIRCRAFT CO,GROUND SYST GRP,TECH STAFF,CULVER CITY,CA 90230

来源：

IEEE SOFTWARE | 1991年 / 8卷 / 04期

关键词：

D O I：

10.1109/52.300036

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

[No abstract available]

引用

页码：48 / &

共 10 条

[1]

Leveson N.G., Software Safety: What, Why, and How, ACM Computing Surveys, June, pp. 125-164, (1986)

[2]

Leveson N.G., Harvey P.R., Analyzing Software Safety, IEEE Trans. Software Eng., Sept, pp. 569-579, (1983)

[3]

Vesely W.F., Et al., Fault-Tree Handbook, Jan, (1981)

[4]

Dijkstra F.W., A Discipline of Programming, (1976)

[5]

Bowman W.C., Et al., An Application of Fault-Tree Analysis to Safety-Critical Software at Ontario Hydro, Probabilistic Safety Assessment and Management, pp. 363-368, (1991)

[6]

Lamb J., The Everyday Risks of Playing It Safe, New Scientist, Sept, pp. 373-379, (1988)

[7]

Leveson N.G., Stolzy J.L., Safety Analysis Using Petri Nets, IEEE Trans. Software Eng., March, pp. 386-397, (1987)

[8]

Melhart B.F., Specification and Analysis of the Requirements for Embedded Software with an External interaction Model, July, (1990)

[9]

Cha S.S., A Safety-Verification Technique, June, (1991)

[10]

McIntee J.W., Fault-Tree Techniques as Applied to Software (Soft Tree), March, (1983)

← 1 →