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

共 30 条

[1]

ADDOUCHE N, 2004, P INT C SYST MAN CYB, V6, P5209

[2]

Allenby K, 2001, FIFTH IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS, P228

[3]

[Anonymous], 1995, SOFTWARE FAULT TOLER

[4]

[Anonymous], UML PROF SCHED PERF

[5]

[Anonymous], P S FORM METH RAILW

[6] Basic concepts and taxonomy of dependable and secure computing [J].

Avizienis, A ;

Laprie, JC ;

Randell, B ;

Landwehr, C .

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2004, 1 (01) :11-33

[7]

BEBNARDI S., 2004, P 1 INT S LEV APPL F

[8]

BERNARDI S, 2007, P 6 INT WORKSH SOFTW, P115

[9]

BERNARDI S, 2008, RR0805 U ZAR

[10] QoS assessment via stochastic analysis [J].

Bernardi, Simona ;

Merseguer, Jose .

IEEE INTERNET COMPUTING, 2006, 10 (03) :32-42

← 1 2 3 →