A systematic approach for integrating fault trees into system statecharts

Omar A. El Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann Hang Lee

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

7 Scopus citations

Abstract

As software systems are encompassing a wide range of fields and applications, software reliability becomes a crucial step. The need for safety analysis and test cases that have high probability to uncover plausible faults are necessities in proving software quality. System models that represent only the operational behavioral of a system are incomplete sources for deriving test cases and performing safety analysis before the implementation process. Therefore, a system model that encompasses faults is required. This paper presents a technique that formalizes a safety model through the incorporation of faults with system specifications. The technique focuses on introducing semantic faults through the integration of fault trees with system specifications or statechart. The method uses a set of systematic transformation rules that tries to maintain the semantics of both fault trees and statechart representations during the transformation of fault trees into statechart notations.

Original languageEnglish (US)
Title of host publicationProceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008
Pages120-123
Number of pages4
DOIs
StatePublished - Sep 23 2008
Event32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008 - Turku, Finland
Duration: Jul 28 2008Aug 1 2008

Publication series

NameProceedings - International Computer Software and Applications Conference
ISSN (Print)0730-3157

Other

Other32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008
CountryFinland
CityTurku
Period7/28/088/1/08

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'A systematic approach for integrating fault trees into system statecharts'. Together they form a unique fingerprint.

  • Cite this

    El Ariss, O. A., Xu, D., Wong, W. E., Chen, Y., & Lee, Y. H. (2008). A systematic approach for integrating fault trees into system statecharts. In Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008 (pp. 120-123). [4591544] (Proceedings - International Computer Software and Applications Conference). https://doi.org/10.1109/COMPSAC.2008.19