A dependability profile within MARTE

Abstract

The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP that should be assessed early in the software life-cycle by evaluating the system behaviour under different fault assumptions. Dependability-specific modeling and analysis techniques include for example Failure Mode and Effect Analysis for qualitative evaluation, stochastic Petri nets for quantitative evaluation, and fault trees for both forms of evaluation. Unified Modeling Language (UML) may be specialized for different domains by using the profile mechanism. For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis). This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM). A case study of an intrusion-tolerant message service will offer insight on how the MARTE-DAM profile can be used to derive a stochastic Petri net model for performance and dependability assessment.

Towards Pattern-Based Reliability Certification of Services

“…We can assess the level of reliability in an implemented system that was built with the use of reliability patterns by evaluating different reliability metrics. There are many metrics in the literature [3,16,17,22,27,28] that can be used to calculate the reliability using data collected by monitoring an implemented system. We have selected some reliability metrics from the literature and proposed some of our own.…”

“…Bernardi et al [3] proposed an approach called MARTE-DAM for dependability modeling and analysis using UML. MARTE-DAM extends UML and includes features for the modeling, evaluation, and analysis of real-time systems.…”

Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile

“…In particular, MARTE allows one to specify non-functional properties (NFPs) according to a well-defined Value Specification Language (VSL) syntax. MARTE was specialized for dependability modeling and analysis (DAM) in [6]. The DAM profile has been used so far to annotate dependability properties at the software design level, in particular, reliability, availability, maintainability and safety properties.…”

“…The misuse cases "Payload corruption" and "Payload crash" are selected (lines 6,8) in the current iteration. The former is updated with information related to mitigation activities performed by the Proactive-Reactive Recovery Service use case.…”

“…Although there does not exist a UML standard profile tailored to the reliability and availability domains, some profiles (focused on software quality aspects) can help to gather non-functional requirements, most notably the Modeling and Analysis of Real Time and Embedded Systems (MARTE) profile [5]. The Dependability Analysis and Modeling profile [6] (DAM) is a specialization of MARTE mainly intended to support the analyst in verification and validation (V&V) activities for the dependability requirements of software systems. DAM considers a set of dependability properties, following the taxonomy in [7]: reliability, availability, maintainability, and safety.…”