A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex

被引：5
|
作者：
Hecht, Myron [1 ]
Lam, Alexander [1 ]
Vogl, Chris [2 ]
机构：
[1] Aerosp Corp, Computers & Software Div, El Segundo, CA 90245 USA
[2] Northwestern Univ, Dept Engn Sci & Appl Math, Evanston, IL 60208 USA
来源：
2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) | 2011年
关键词：
AADL; error model annex reliability analysis; availability; modeling; stochastic analysis network; stochastic petri net;
D O I：
10.1109/ICECCS.2011.44
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Cyberphysical (embedded) computer system availability and reliability can be modeled and assessed using the Architecture Analysis and Design Language (AADL) and its Error Model Annex. AADL can represent systems at multiple levels of abstraction. Therefore, analyses can be performed early and often throughout the development process thereby minimizing the cost and schedule impact of changes. We discuss how the AADL and its Error Model Annex can be used for automated generation of a reliability/dependability model. We then describe a tool set to graphically create AADL system architecture and error behavior files that are then transformed into Stochastic Petri Nets (SPN) and Stochastic Activity Network (SAN) representations and demonstrate its use using a generic satellite as an example.
引用
收藏
页码：361 / 366
页数：6
相关论文
共 50 条
  • [1] Software Dependability Metrics and Analysis Based on AADL Error Model
    Liu, Xin-ning
    Qian, Hong-bing
    ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT III, 2011, 7004 : 236 - 244
  • [2] INTEGRATED SOFTWARE TOOL SET FOR DESIGN ANALYSIS OF ELECTRONIC HARDWARE
    NILSON, DR
    PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1991, (SYM): : 380 - 383
  • [3] Hardware-software Integrated Reliability Modeling and Analysis Using AADL
    Lu Y.
    Qin S.-D.
    Guo P.
    Dong Y.-W.
    Ruan Jian Xue Bao/Journal of Software, 2022, 33 (08): : 2995 - 3014
  • [4] Space systems modeling using the Architecture Analysis & Design Language (AADL)
    Munoz, Michela
    2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2013, : 97 - 98
  • [5] ABV - A Verifier for the Architecture Analysis and Design Language (AADL)
    Bjornander, Stefan
    Seceleanu, Cristina
    Lundqvist, Kristina
    Pettersson, Paul
    2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 355 - 360
  • [6] An effective method for obtaining architecture of test model of AADL (architecture analysis and design language)
    Ma, Chunyan
    Dong, Yunwei
    Zhu, Yufeng
    Lu, Wei
    Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University, 2010, 28 (06): : 968 - 973
  • [7] Modeling and Analysis Cyber Threats in Power Systems Using Architecture Analysis & Design Language (AADL)
    Tamimi, Ali
    Touhiduzzaman, Md
    Hahn, Adam
    2019 RESILIENCE WEEK (RWS), 2019, : 213 - 218
  • [8] Quantitative Tradeoff Analysis of Software Architecture using the Architecture Analysis and Design Language
    Lee, Jihyun
    Lee, Dan Hyung
    SNPD 2009: 10TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCES, NETWORKING AND PARALLEL DISTRIBUTED COMPUTING, PROCEEDINGS, 2009, : 561 - +
  • [9] AN INTEGRATED TOOL SET FOR SOFTWARE SAFETY ANALYSIS
    FENELON, P
    MCDERMID, JA
    JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (03) : 279 - 290
  • [10] Predictive Engineering of an of an Unmanned Aerial System (UAS) Using the Architecture Analysis and Design Language (AADL)
    Barott, Jeanette B.
    Gluch, David P.
    Kirby, Savannah L.
    2011 IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2011), 2011, : 569 - 573
12345