Adding Dependability Analysis Capabilities to the MARTE Profile

被引：0
|
作者：
Bernardi, Simona [1 ]
Merseguer, Jose [2 ]
Petriu, Dorina C. [3 ]
机构：
[1] Univ Turin, Dipartimento Informat, I-10124 Turin, Italy
[2] Univ Zaragoza, Dept Informat & Ingenieria Sistemas, Zaragoza, Spain
[3] Carleton Univ, Dept Syst & Comp Engn, Ottawa, ON, Canada
来源：
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS | 2008年 / 5301卷
基金：
加拿大自然科学与工程研究理事会;
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Dependability is a non-functional property that. should be assessed early it the software lifecycle. Although several UML profiles exist for quantitative annotations of non-functional properties, none of them provides concrete capabilities for dependability analysis of UML system models. In this paper, we propose a dependability analysis and modeling profile. The objective is twofold: to reuse proposals from the literature on dependability models from UML., annotated specifications and to be compliant with the recently adopted MARTE profile; which provides a framework for general quantitative analysis concept's that can be specialized to a particular analysis domain. The profile definition process was done in several steps. Firstly, an in depth analysis of the literature has been carried out to collect the information requirements for the profile. Secondly, a domain model for dependability analysis was defined independently of UML. Thirdly. the domain model was mapped to UML extensions by specializing MARTE.
引用
收藏
页码：736 / +
页数：3
相关论文
共 50 条
  • [31] Is diversity in capabilities desirable when adding decision makers?
    Ruth Ben-Yashar
    Shmuel Nitzan
    [J]. Theory and Decision, 2017, 82 : 395 - 402
  • [32] Adding autonomic capabilities to network fault management system
    Liu, Yan
    Jiang, Michael
    Raymer, David
    [J]. HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 373 - 374
  • [33] Adding SOMLib capabilities to the Greenstone digital library system
    Mayer, Rudolf
    Rauber, Andreas
    [J]. DIGITAL LIBRARIES: ACHIEVEMENTS, CHALLENGES AND OPPORTUNITIES, PROCEEDINGS, 2006, 4312 : 486 - +
  • [34] Adding string processing capabilities to data management systems
    Hakli, R
    Nykänen, M
    Tamm, H
    [J]. SPIRE 2000: SEVENTH INTERNATIONAL SYMPOSIUM ON STRING PROCESSING AND INFORMATION RETRIEVAL - PROCEEDINGS, 2000, : 122 - 131
  • [35] Framework to raise value-adding capabilities of members
    Mynors, Diane
    [J]. Metallurgia, 2002, 69 (11):
  • [36] Adding Grid Computing Capabilities to an Existing Modelling Framework
    Davis, G. P.
    Bridgart, R. J.
    Stephenson, T. R.
    Rahman, J. M.
    [J]. MODSIM 2005: INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION: ADVANCES AND APPLICATIONS FOR MANAGEMENT AND DECISION MAKING: ADVANCES AND APPLICATIONS FOR MANAGEMENT AND DECISION MAKING, 2005, : 620 - 626
  • [37] Adding remote computational capabilities to Dynamic Geometry Systems
    Escribano, Jesus
    Botana, Francisco
    Abanades, Miguel A.
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2010, 80 (06) : 1177 - 1184
  • [38] Intentions and Issues of Model-Driven Development and an Introduction to the OMG MARTE™ Profile
    VanZandt, Lonnie L.
    [J]. 2009 IEEE AEROSPACE CONFERENCE, VOLS 1-7, 2009, : 3376 - 3387
  • [39] DEPENDABILITY ANALYSIS OF A MULTIPURPOSE PLANT
    FAHNER, J
    NEUMANN, W
    BOCHE, R
    [J]. CHEMISCHE TECHNIK, 1984, 36 (08): : 347 - 347
  • [40] COMPOSITE PERFORMANCE AND DEPENDABILITY ANALYSIS
    TRIVEDI, KS
    MUPPALA, JK
    WOOLET, SP
    HAVERKORT, BR
    [J]. PERFORMANCE EVALUATION, 1992, 14 (3-4) : 197 - 215
12345