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
منابع مشابه
Dependability analysis of DES based on MARTE and UML state machines models
UML (Unified Modeling Language) is a standard design notation which offers the state machines diagram to specify reactive software systems. The “Modeling and Analysis of Real-Time and Embedded systems” profile (MARTE) enables UML with capabilities for performance analysis. MARTE has been specialized in a “Dependability Analysis and Modeling” profile (DAM), then providing UML with dependability ...
متن کامل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 p...
متن کاملUML Model to Fault Tree Model Transformation for Dependability Analysis
This paper proposes a model transformation to automatically generate Fault Tree models from UML software models annotated with dependability annotations. The goal is to extend the model-driven software development process with the capability of verifying some important dependability properties (such as reliability, safety) starting early in the software lifecycle, by solving the generated Fault...
متن کاملA UML Profile for Requirements Analysis of Dependable Software
At Safecomp 2009, we presented a foundation for requirements analysis of dependable software. We defined a set of patterns for expressing and analyzing dependability requirements, such as confidentiality, integrity, availability, and reliability. The patterns take into account random faults as well as certain attacks and therefore support a combined safety and security engineering. In this pape...
متن کاملQuantitative Analysis of Concurrent System Architectures
Safety-critical software and systems development is subject to special dependability requirements. Early analysis of dependability during design and development phase is often a statutory condition for the approval of technical systems. In order to support the developers in verifying and analysing these systems the QuantUM tool was recently introduced [31]. The UML model of the system can be an...
متن کامل