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 条
  • [1] 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
  • [2] Dependability analysis for AADL models by PVS
    Chen, Geng
    Luo, Lei
    Gong, Rong
    Gui, Shenglin
    [J]. EIGHTH IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, PROCEEDINGS, 2009, : 19 - 24
  • [3] A Model-based Testing for AADL Model of Embedded Software
    Dong, Yun-wei
    Wang, Geng
    Zhao, Hong-bing
    [J]. 2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 185 - +
  • [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] Safety, Dependability and Performance Analysis of Extended AADL Models
    Bozzano, Marco
    Cimatti, Alessandro
    Katoen, Joost-Pieter
    Viet Yen Nguyen
    Noll, Thomas
    Roveri, Marco
    [J]. COMPUTER JOURNAL, 2011, 54 (05): : 754 - 775
  • [6] An AADL Model-based Safety Analysis Method for Flight Control Software
    Zhang, Tao
    Jiang, Yechun
    Ye, Junda
    Jing, Cheng
    Qu, Huamin
    [J]. 2014 6TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMMUNICATION NETWORKS, 2014, : 1148 - 1152
  • [7] Software Dependability Assessment Using DevOps Metrics
    Popentiu-Vladicescu, Florin
    Albeanu, Grigore
    [J]. 2022 6TH INTERNATIONAL CONFERENCE ON BUSINESS AND INFORMATION MANAGEMENT, ICBIM, 2022, : 168 - 172
  • [8] Software Security, Privacy, and Dependability Metrics and Measurement
    Hatzivasilis, George
    Papaefstathiou, Ioannis
    Manifavas, Charalampos
    [J]. IEEE SOFTWARE, 2016, 33 (04) : 46 - 54
  • [9] Research on the Reliability Analysis of the Integrated Modular Avionics System Based on the AADL Error Model
    Wang, Peng
    Zhao, Changxiao
    Yan, Fang
    [J]. INTERNATIONAL JOURNAL OF AEROSPACE ENGINEERING, 2018, 2018
  • [10] A formal approach to AADL model-based software engineering
    Mkaouar, Hana
    Zalila, Bechir
    Hugues, Jerome
    Jmaiel, Mohamed
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (02) : 219 - 247
12345