Adding Dependability Analysis Capabilities to the MARTE Profile

Dependability is a non-functional property that should be assessed early in 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 deriving dependability models from UML annotated specifications and to be compliant with the recently adopted MARTE profile, which provides a framework for general quantitative analysis concepts 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.

[1]  Rogério de Lemos,et al.  Architecting dependable systems , 2003, J. Syst. Softw..

[2]  Mario Dal Cin Extending UML towards a Useful OO-Language for Modeling Dependability Features , 2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[3]  Luiz Fernando Capretz,et al.  Component-based software development , 2001, IECON'01. 27th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.37243).

[4]  Vincenzo Grassi,et al.  Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach , 2007, J. Syst. Softw..

[5]  K. Goseva-Popstojanova,et al.  UML based severity analysis methodology , 2005, Annual Reliability and Maintainability Symposium, 2005. Proceedings..

[6]  Simona Bernardi,et al.  A UML profile for dependability analysis of real-time embedded systems , 2007, WOSP '07.

[7]  Bran Selic,et al.  A Systematic Approach to Domain-Specific Language Design Using UML , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[8]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[9]  Simona Bernardi,et al.  An UML profile for dependability analysis and modeling of software systems , 2008 .

[10]  Jacky Montmain,et al.  UML models for dependability analysis of real-time systems , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[11]  András Pataricza,et al.  UML-BASED DESIGN AND FORMAL ANALYSIS OF A SAFETY-CRITICAL RAILWAY CONTROL SOFTWARE MODULE , 2003 .

[12]  Hany H. Ammar,et al.  Architectural-Level Risk Analysis Using UML , 2003, IEEE Trans. Software Eng..

[13]  Gregory Zoughbi,et al.  A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software , 2007, MODELS'07.

[14]  Jan Jürjens,et al.  Component-Based Development of Dependable Systems with UML , 2005, Component-Based Software Development for Embedded Systems.

[15]  Joanne Bechta Dugan,et al.  Automatic synthesis of dynamic fault trees from UML system models , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[16]  Vittorio Cortellessa,et al.  Towards a UML profile for QoS: a contribution in the reliability domain , 2004, WOSP '04.

[17]  Susanna Donatelli,et al.  A class Diagram framework for collecting dependability requirements in automation systems , 2004, ISoLA.

[18]  Andrea Bondavalli,et al.  Stochastic Dependability Analysis of System Architecture Based on UML Models , 2002, WADS.

[19]  Michael R. Lyu,et al.  Handbook of software reliability engineering , 1996 .

[20]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[21]  Michael R. Lyu Software Fault Tolerance , 1995 .

[22]  Jan Jürjens,et al.  Developing Safety-Critical Systems with UML , 2003, UML.

[23]  Christian Bunse,et al.  Component-Based Software Development for Embedded Systems - An Overview of Current Research Trends , 2005, Component-Based Software Development for Embedded Systems.

[24]  Simona Bernardi,et al.  QoS assessment via stochastic analysis , 2006, IEEE Internet Computing.

[25]  Sébastien Gérard,et al.  Improving uml profile design practices by leveraging conceptual domain models , 2007, ASE.

[26]  Tim Kelly,et al.  Deriving safety requirements using scenarios , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.