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 条
  • [21] Tool support to model-based quality analysis of software architecture
    Zhang, Qian
    Wu, Jian
    Zhu, Hong
    30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 121 - +
  • [22] Framework for an integrated tool set for object-oriented analysis of application software development
    Yau, SS
    Wang, J
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 502 - 507
  • [23] Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems
    Tumer, Irem Y.
    Smidts, Carol S.
    IEEE TRANSACTIONS ON COMPUTERS, 2011, 60 (08) : 1072 - 1084
  • [24] Software Behavior Model Measuring Approach of Combining Structural Analysis and Language Set
    Xue, JingFeng
    Zhang, Yan
    Hu, ChangZhen
    Ren, HongYu
    Li, ZhiQiang
    TRUSTED SYSTEMS, INTRUST 2014, 2015, 9473 : 137 - 150
  • [25] Resource Management and Performance Analysis of Model-Based Control System Software Engineering Using AADL
    Kushal, K. S.
    Nanda, Manju
    Jayanthi, J.
    COMPUTATIONAL INTELLIGENCE IN DATA MINING, CIDM, VOL 2, 2016, 411 : 81 - 96
  • [26] Prediction analysis model of integrated carrying capacity using set pair analysis
    Wei, Chao
    Dai, Xiaoyan
    Ye, Shufeng
    Guo, Zhongyang
    Wu, Jianping
    OCEAN & COASTAL MANAGEMENT, 2016, 120 : 39 - 48
  • [27] Area and Power Analysis of AES using Hardware and Software Co-Design
    Deotare, Vilas V.
    Padole, Dinesh V.
    Wakode, Ashok S.
    2014 IEEE GLOBAL CONFERENCE ON WIRELESS COMPUTING AND NETWORKING (GCWCN), 2014, : 194 - 198
  • [28] Quantitative Global Dataflow Analysis on Virtual Instruction Set Simulators for Hardware/Software Co-Design
    Gremzow, Carsten
    2008 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 2008, : 377 - 383
  • [29] Modelling Airborne Mission Systems using the Architecture Analysis and Design Language
    Sioutis, C.
    Nguyen, T.
    18TH WORLD IMACS CONGRESS AND MODSIM09 INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION: INTERFACING MODELLING AND SIMULATION WITH MATHEMATICAL AND COMPUTATIONAL SCIENCES, 2009, : 1650 - 1655
  • [30] Using model trees for computer architecture performance analysis of software applications
    ElMoustapha, Ould-Ahmed-Vall
    Woodlee, James
    Yount, Charles
    Doshi, Kshitij A.
    Abraham, Seth
    ISPASS 2007: IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE, 2007, : 116 - +
12345