Safety verification of Ada95 programs using software fault trees

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1698, Issue , 1999, Pages 226-238

  Min, Sang Yoon ^a   Jang, Yoon Kyu ^a   Cha, Sung Deok ^a   Kwon, Yong Rae ^a   Bae, Doo Hwan ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; VERIFICATION;

GRAPHICAL ANALYSIS; SAFETY VERIFICATION; SOFTWARE FAULT TREE ANALYSIS; SOFTWARE FAULT TREES; TARGET LANGUAGE; TEMPLATE-BASED; TEMPLATE-BASED APPROACHES;

FAULT TREE ANALYSIS;

EID: 80053037582     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48249-0_20     Document Type: Conference Paper

References (6)

1. Nancy G. Leveson, Stephen S. Cha, and Timothy J. Shimeall, ''Safety Verification of Ada Programs Using Software Fault Trees, '' IEEE Software, July 1991, pp. 48-59.
2. Ada95 Rationale, Intermetrics, 1995.
3. ADA83 LRM, ANSI/MIL-STD-1815A-1983, DOD, 1983.
4. ADA95 LRM, ISO/IEC 8652: 1995(E), Intermetrics 1995.
5. Grady Booch, Doug Bryan, and Charles G. Petersen, Software Engineering with Ada, The Benjamin/Cummings Publishing Company, Inc., 1994.
6. Michael B. Feldman and Elliot B. Koffman, Ada95 Problem Solving and Program Design, Addison-Wesley, 1996.