Some Improvements on The Rules for Exchanging Between Error Model Annex and AADL to Fault Tree

被引：1
|
作者：
Zhang, Quan [1 ]
Wang, Shihai [1 ]
Liu, Bin [1 ]
机构：
[1] Beihang Univ, Sch Reliabil & Syst Engn, Sci & Technol Reliabil & Environm Engn Lab, Beijing 100191, Peoples R China
来源：
2013 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND APPLICATIONS (ITA) | 2013年
关键词：
SCS; AADL; Dependability model; Fault tree; Model transformation; DEPENDABILITY;
D O I：
10.1109/ITA.2013.84
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
AADL (The architecture analysis and design language) can be used to describe the reliability of the safety critical system. In this paper, we, firstly, make an introduction on the AADL dependability model and summary the basic rules for translating from Error Model Annex (EMA) of AADL to Fault tree, and then we make a series of improvements on the transition rules from EMA to Fault tree in terms of various AADL architectures. There are a few of examples are provided for demonstrating how to use our modifications.
引用
收藏
页码：338 / 342
页数：5
相关论文
共 9 条
  • [1] Architecture Fault Modeling with the AADL Error-Model Annex
    Delange, Julien
    Feiler, Peter
    [J]. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 361 - 368
  • [2] Development of a Parser for the AADL Error Model Annex
    Gabsi, Wafa
    Zalila, Bechir
    Jmaiel, Mohamed
    [J]. 2017 16TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS 2017), 2017, : 233 - 238
  • [3] EMA2AOP: From the AADL Error Model Annex to Aspect Language Towards Fault Tolerant Systems
    Gabsi, Wafa
    Zalila, Bechir
    Jmaiel, Mohamed
    [J]. 2016 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS (SERA), 2016, : 155 - 162
  • [4] An analysis tool towards fault tolerance systems based on AADL error model
    Zhang W.
    Shen G.
    Huang Z.
    Yang Z.
    Xue L.
    [J]. International Journal of Performability Engineering, 2017, 13 (06): : 844 - 853
  • [5] A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex
    Hecht, Myron
    Lam, Alexander
    Vogl, Chris
    [J]. 2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 361 - 366
  • [6] SOME RELATIONSHIPS BETWEEN THE BINOMIAL ERROR MODEL AND CLASSICAL TEST THEORY
    FELDT, LS
    [J]. EDUCATIONAL AND PSYCHOLOGICAL MEASUREMENT, 1984, 44 (04) : 883 - 891
  • [7] Model of scaling correspondence between fault and seismic fields of the Earth's crust: Some generalizations
    Stakhovsky, IR
    [J]. IZVESTIYA-PHYSICS OF THE SOLID EARTH, 2004, 40 (09) : 745 - 751
  • [8] Comparison of M5’ model tree with MLR in the development of fault prediction models involving interaction between metrics
    Goyal, Rinkaj
    Chandra, Pravin
    Singh, Yogesh
    [J]. Lecture Notes in Electrical Engineering, 2015, 312 : 149 - 155
  • [9] Some features speak loud, but together they all speak louder: A study on the correlation between classification error and feature usage in decision-tree classification ensembles
    Cervantes, Barbara
    Monroy, Raul
    Angel Medina-Perez, Miguel
    Gonzalez-Mendoza, Miguel
    Ramirez-Marquez, Jose
    [J]. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2018, 67 : 270 - 282
1