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 Citations (Scopus)

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

Fingerprint

Semantics
Specifications
Software reliability
Application programs

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

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
El Ariss, Omar A. ; Xu, Dianxiang ; Wong, W. Eric ; Chen, Yuting ; Lee, Yann Hang. / A systematic approach for integrating fault trees into system statecharts. Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008. 2008. pp. 120-123 (Proceedings - International Computer Software and Applications Conference).
@inproceedings{c4fa512984d146179d15e57aca668e32,
title = "A systematic approach for integrating fault trees into system statecharts",
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.",
author = "{El Ariss}, {Omar A.} and Dianxiang Xu and Wong, {W. Eric} and Yuting Chen and Lee, {Yann Hang}",
year = "2008",
month = "9",
day = "23",
doi = "10.1109/COMPSAC.2008.19",
language = "English (US)",
isbn = "9780769532622",
series = "Proceedings - International Computer Software and Applications Conference",
pages = "120--123",
booktitle = "Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008",

}

El Ariss, OA, Xu, D, Wong, WE, Chen, Y & Lee, YH 2008, A systematic approach for integrating fault trees into system statecharts. in Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008., 4591544, Proceedings - International Computer Software and Applications Conference, pp. 120-123, 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, Turku, Finland, 7/28/08. https://doi.org/10.1109/COMPSAC.2008.19

A systematic approach for integrating fault trees into system statecharts. / El Ariss, Omar A.; Xu, Dianxiang; Wong, W. Eric; Chen, Yuting; Lee, Yann Hang.

Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008. 2008. p. 120-123 4591544 (Proceedings - International Computer Software and Applications Conference).

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

TY - GEN

T1 - A systematic approach for integrating fault trees into system statecharts

AU - El Ariss, Omar A.

AU - Xu, Dianxiang

AU - Wong, W. Eric

AU - Chen, Yuting

AU - Lee, Yann Hang

PY - 2008/9/23

Y1 - 2008/9/23

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

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

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

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

U2 - 10.1109/COMPSAC.2008.19

DO - 10.1109/COMPSAC.2008.19

M3 - Conference contribution

AN - SCOPUS:51949101611

SN - 9780769532622

T3 - Proceedings - International Computer Software and Applications Conference

SP - 120

EP - 123

BT - Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008

ER -

El Ariss OA, Xu D, Wong WE, Chen Y, Lee YH. A systematic approach for integrating fault trees into system statecharts. In Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008. 2008. p. 120-123. 4591544. (Proceedings - International Computer Software and Applications Conference). https://doi.org/10.1109/COMPSAC.2008.19