Safety verification of Ada95 programs using software fault trees

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)


Software fault tree is a graphical analysis technique that is based on the concept of axiomatic verification. A template-based approach to software fault tree analysis was proposed for Ada83 programs. For the past years since this approach, no noticeable extensions or revisions on the template-based software fault tree analysis have been proposed while the target language has been evolved into Ada95. In this paper, we examine the validness of the original Ada83 analysis templates to determine which of them are still applicable to Ada95 programs considering major changes from Ada83 to Ada95. In addition, we propose newly required templates as well as the necessary modification of the original Ada83 templates in order to cope with the changes. We demonstrate the use of our proposed templates with an example program.

Original languageEnglish
Title of host publicationComputer Safety, Reliability and Security - 18th International Conference, SAFECOMP 1999, Proceedings
EditorsMassimo Felici, Alberto Pasquini, Karama Kanoun
PublisherSpringer Verlag
Number of pages13
ISBN (Print)3540664882, 9783540664888
Publication statusPublished - 1999
Externally publishedYes
Event18th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1999 - Toulouse, France
Duration: 1999 Sept 271999 Sept 29

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other18th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1999

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Safety verification of Ada95 programs using software fault trees'. Together they form a unique fingerprint.

Cite this