Modular Construction of Dependability Models from System Architecture Models: A Tool-supported Approach

被引：2
|
作者：
Magyar, M. [1 ]
Majzik, I. [1 ]
机构：
[1] Budapest Univ Technol & Econ, Dept Measurement & Informat Syst, H-1117 Budapest, Hungary
来源：
SIXTH INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS | 2009年
关键词：
dependability evaluation; UML based modeling; modular model construction; Stochastic Activity Networks;
D O I：
10.1109/QEST.2009.32
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Model based dependability analysis can be used to evaluate the effects of architectural choices on system level availability and reliability. In component based systems the dependability model is built typically from sub-models that are assigned to components or subsystems and represent the local fault occurrences and error propagation. We describe the design and application of a tool that is able to construct the system level dependability model from these sub-models automatically, on the basis of the architecture model of the system. In our tool currently UML architecture model and Stochastic Activity Networks dependability model formalism are supported.
引用
收藏
页码：95 / 96
页数：2
相关论文
共 50 条
  • [1] Construction of Productivity Models A Tool-Supported Approach in the Area of Facility Management
    Becker, Joerg
    Bernhold, Torben
    Beverungen, Daniel
    Kaling, Nina
    Knackstedt, Ralf
    Lellek, Vanessa
    Rauer, Hans Peter
    [J]. ENTERPRISE MODELLING AND INFORMATION SYSTEMS ARCHITECTURES-AN INTERNATIONAL JOURNAL, 2012, 7 (01): : 28 - 43
  • [2] A tool-supported approach to testing UML design models
    Dinh-Trong, T
    Kawane, N
    Ghosh, S
    France, R
    [J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 519 - 528
  • [3] A tool-supported approach to engineering HTN planning models
    McCluskey, TL
    Kitchin, DE
    [J]. TENTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 272 - 279
  • [4] Tool-supported method for the extraction of OCL from ORM models
    Sosunovas, Sergejus
    Vasilecas, Olegas
    [J]. BUSINESS INFORMATION SYSTEMS, PROCEEDINGS, 2007, 4439 : 449 - +
  • [5] Tool-supported customization of UML class diagrams for learning complex system models
    Hammouda, I
    Guldogan, O
    Koskimies, K
    Systä, T
    [J]. IWPC 2004: 12TH IEEE INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 2004, : 24 - 33
  • [6] NomosT: Building large models of law with a tool-supported process
    Zeni, N.
    Seid, E. A.
    Engiel, P.
    Mylopoulos, J.
    [J]. DATA & KNOWLEDGE ENGINEERING, 2018, 117 : 407 - 418
  • [7] Tool-Supported Mechatronic System Design
    Hyde, R. A.
    Wendlandt, J.
    [J]. IECON 2008: 34TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-5, PROCEEDINGS, 2008, : 1615 - 1620
  • [8] A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models
    Autili, Marco
    Bertolino, Antonia
    De Angelis, Guglielmo
    Di Ruscio, Davide
    Di Sandro, Alessio
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 42 (01) : 2 - 25
  • [9] Introducing Tool-Supported Architecture Review into Software Design Education
    Cai, Yuanfang
    Kazman, Rick
    Jaspan, Ciera
    Aldrich, Jonathan
    [J]. 2013 IEEE 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEE&T), 2013, : 70 - 79
  • [10] Stochastic dependability analysis of system architecture based on UML models
    Majzik, I
    Pataricza, A
    Bondavalli, A
    [J]. ARCHITECTING DEPENDABLE SYSTEMS, 2003, 2677 : 219 - 244
12345