An UML profile for dependability analysis and modeling of software systems

In this document we define the Dependability Analysis Modelling profile, namely DAM profile. The process of deriving a DAM profile has been going through several steps. First of all, an in depth analysis of the literature has been carried out, in order to collect in a checklist the information requirements for the profile. Then a two-step approach for the profile definition has been followed. In the first step, a Dependability Analysis (DA) domain model is defined, in terms of a structured set of UML Class Diagrams, where the basic concepts supporting dependability analysis are represented. The domain model is assessed with respect to the works in the literature considered before passing to the second step. In the second step, the DAM profile is defined considering the domain model. The DAM profile is then assessed with respect to the checklist of information requirements. I. APPROACH OVERVIEW The process of deriving an UML profile for dependability analysis of software systems has been characterized by several tasks that can be summarized as follows: complete? [no] Completeness assessment of the DA model using (3) Definition of DAM profile Definition of DA stereotypes Definition of DA library using MARTE [yes] DAM profile assessment using the requirement checklist all requirements satisfied? [no] Study of literature 1Existing UML profiles 2Dependability literature 3Survey on UML dependability analysis Definition of conceptual DA model requirement checklist

[1]  Bojan Cukic,et al.  Early reliability assessment of UML based software models , 2002, WOSP '02.

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

[3]  Vincenzo Grassi,et al.  From design to analysis models: a kernel language for performance and reliability analysis of component-based systems , 2005, WOSP '05.

[4]  Eila Niemelä,et al.  Survey of reliability and availability prediction methods from the viewpoint of software architecture , 2007, Software & Systems Modeling.

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

[6]  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.

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

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

[9]  J. Aagedal,et al.  UML Pro?le for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms , 2004 .

[10]  Jacky Montmain,et al.  Methodology for UML Modeling and Formal Verification of Real-Time Systems , 2006, 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06).

[11]  Giuliana Franceschinis,et al.  Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study , 2003, Reliab. Eng. Syst. Saf..

[12]  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).

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

[14]  Bernardi Simona,et al.  Comparing two UML Profiles for Non-functional Requirement Annotations: the SPT and QoS Profiles , 2004 .

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

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

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

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

[19]  Algirdas Avizienis,et al.  Software Fault Tolerance , 1989, IFIP Congress.

[20]  Diego Latella,et al.  Dependability analysis in the early phases of UML-based system design , 2001, Comput. Syst. Sci. Eng..

[21]  R. E. Wheeler.  Statistical distributions , 1983, APLQ.

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

[23]  Boudewijn R. Haverkort,et al.  Performance and reliability analysis of computer systems: An example-based approach using the sharpe software package , 1998 .

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

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

[26]  Wolfgang A. Halang,et al.  A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems , 2007, Contributions to Ubiquitous Computing.

[27]  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..

[28]  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..