Software Dependability Metrics and Analysis Based on AADL Error Model

被引：0
|
作者：
Liu, Xin-ning [1 ]
Qian, Hong-bing [1 ]
机构：
[1] Beihang Univ, Inst Software Engn, Beijing, Peoples R China
来源：
ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT III | 2011年 / 7004卷
关键词：
AADL error model; dependability metrics; Markov analysis method; probabilistic reasoning;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
To analyze the software products dependability early in the software life cycle is an important means to assure the final product quality. This paper firstly defines the rules of transforming the AADL error model into expanded Markov chain, and then builds a dependability measurement model based on AADL error model. After discussing how to use the property of Markov chain to measure the software, a method is presented to measure the software dependability as a whole combined with AADL core model. Finally an example is given to explain the use of the measurement method and to analyze the measurement results.
引用
收藏
页码：236 / 244
页数：9
相关论文
共 50 条
  • [21] Error Analysis and Reliability Metrics for Software in Safety Critical Systems
    Lockhart, Jonathan
    Purdy, Carla
    Wilsey, Philip A.
    [J]. 2016 IEEE 59TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2016, : 89 - 92
  • [22] Resource Management and Performance Analysis of Model-Based Control System Software Engineering Using AADL
    Kushal, K. S.
    Nanda, Manju
    Jayanthi, J.
    [J]. COMPUTATIONAL INTELLIGENCE IN DATA MINING, CIDM, VOL 2, 2016, 411 : 81 - 96
  • [23] Error Analysis and Reliability Metrics for Software in Safety Critical Systems
    Lockhart, Jonathan
    Purdy, Carla
    Wilsey, Philip A.
    [J]. 2018 IEEE 61ST INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2018, : 512 - 515
  • [24] A Software Dependability Growth Model based on Self-Reconfiguration
    Zhao, Qian
    Wang, HuiQiang
    Lv, HongWu
    Feng, Guangsheng
    [J]. PROCEEDINGS OF THE 11TH JOINT CONFERENCE ON INFORMATION SCIENCES, 2008,
  • [25] A Method of Software System Security Verification and Evaluation Based on Extension of AADL Model
    Wang Bohan
    Ke Wenjun
    Zhang Jianwei
    Gao Xinrui
    Chen Jing
    Wang Kunlong
    Yang Yuting
    Da Yifei
    [J]. 2018 EIGHTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC 2018), 2018, : 1726 - 1731
  • [26] The ROI of software dependability: The iDAVE model
    Boehm, B
    Huang, LG
    Jain, A
    Madachy, B
    [J]. IEEE SOFTWARE, 2004, 21 (03) : 54 - +
  • [27] Hazard Analysis for AADL Model
    Wei, Xiaomin
    Dong, Yunwei
    Yang, Mengmeng
    Hu, Ning
    Ye, Hong
    [J]. 2014 IEEE 20TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2014,
  • [28] Analysis on aerospace software health metrics based on multifactor reliability growth model
    Xie, Weiqi
    Cai, Yuanwen
    Cheng, Long
    [J]. Computer Modelling and New Technologies, 2014, 18 (12): : 573 - 579
  • [29] A Model for Assessing the Dependability of Internetware Software Systems
    Zhao, HuiQun
    Sun, Jing
    Zhao, RuiXue
    [J]. IEEE 39TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC 2015), VOL 3, 2015, : 578 - 581
  • [30] A metrics-based software maintenance effort model
    Hayes, JH
    Patel, SC
    Zhao, LM
    [J]. CSMR 2004: EIGHTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2004, : 254 - 258
12345