Safety verification of Ada95 programs using software fault trees

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

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

5 Citations (Scopus)

Abstract

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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages226-238
Number of pages13
Volume1698
ISBN (Print)3540664882, 9783540664888
Publication statusPublished - 1999
Externally publishedYes
Event18th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1999 - Toulouse, France
Duration: 1999 Sep 271999 Sep 29

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1698
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other18th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1999
CountryFrance
CityToulouse
Period99/9/2799/9/29

Fingerprint

Fault tree analysis
Fault Tree
Template
Safety
Software
Fault Tree Analysis
Target
Necessary
Demonstrate

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Min, S. Y., Jang, Y. K., Cha, S., Kwon, Y. R., & Bae, D. H. (1999). Safety verification of Ada95 programs using software fault trees. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1698, pp. 226-238). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1698). Springer Verlag.

Safety verification of Ada95 programs using software fault trees. / Min, Sang Yoon; Jang, Yoon Kyu; Cha, Sungdeok; Kwon, Yong Rae; Bae, Doo Hwan.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1698 Springer Verlag, 1999. p. 226-238 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1698).

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

Min, SY, Jang, YK, Cha, S, Kwon, YR & Bae, DH 1999, Safety verification of Ada95 programs using software fault trees. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 1698, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1698, Springer Verlag, pp. 226-238, 18th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1999, Toulouse, France, 99/9/27.
Min SY, Jang YK, Cha S, Kwon YR, Bae DH. Safety verification of Ada95 programs using software fault trees. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1698. Springer Verlag. 1999. p. 226-238. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Min, Sang Yoon ; Jang, Yoon Kyu ; Cha, Sungdeok ; Kwon, Yong Rae ; Bae, Doo Hwan. / 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). Vol. 1698 Springer Verlag, 1999. pp. 226-238 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{9bd2a2dff5054f08871c82a5f549f13f,
title = "Safety verification of Ada95 programs using software fault trees",
abstract = "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.",
author = "Min, {Sang Yoon} and Jang, {Yoon Kyu} and Sungdeok Cha and Kwon, {Yong Rae} and Bae, {Doo Hwan}",
year = "1999",
language = "English",
isbn = "3540664882",
volume = "1698",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "226--238",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Safety verification of Ada95 programs using software fault trees

AU - Min, Sang Yoon

AU - Jang, Yoon Kyu

AU - Cha, Sungdeok

AU - Kwon, Yong Rae

AU - Bae, Doo Hwan

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=80053037582&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80053037582&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:80053037582

SN - 3540664882

SN - 9783540664888

VL - 1698

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

SP - 226

EP - 238

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

PB - Springer Verlag

ER -