Dependability analysis of DES based on MARTE and UML state machines models

Merseguer, José; Bernardi, Simona

doi:10.1007/s10626-011-0111-1

Cited by 19 publications

(5 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The approach is extended to statecharts with GEN delays by exploiting translation into extended DSPNs and solution through stochastic simulation [82], illustrating application to the analysis of the communication failures in the European Train Control System (ETCS) [25]. In [63], statecharts annotated with DAM stereotypes are translated into DSPNs, computing reliability measures such as mean time to failure and failure occurrence rate. Statecharts with GEN durations and event probabilities are mapped in [44] to stochastic input/output automata, enabling quality of service evaluation through model checking.…”

Section: ç 1 Introductionmentioning

confidence: 99%

Compositional Analysis of Hierarchical UML Statecharts

Carnevali¹,

German

Santoni

et al. 2022

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Quantitative evaluation of stochastic models supports early verification of design choices and assessment of non-functional requirements. Model Driven Engineering (MDE) leverages automated derivation of formal stochastic models from semi-formal artifacts of the Unified Modeling Language (UML) to facilitate deployment of quantitative evaluation methods without disrupting industrial practices. As a major limitation, when generally distributed (GEN) temporal parameters are considered to enhance the model expressivity, the structure and complexity of the underlying stochastic process cannot be easily controlled, possibly impairing the model analyzability. We present a hierarchical modeling formalism based on UML statecharts with GEN durations, designed to guarantee ease of modeling and efficient evaluation of steady-state or transient behaviour until absorption. To this end, fairly lax restrictions are applied to the model syntax to enable separate analysis of the Semi-Markov Process (SMP) underlying each model component. Scalability of solution is assessed by analyzing a suite of synthetic models referred to the context of timed Failure Logic Analysis (FLA) of component-based systems, specifically designed to point out each factor of computational complexity. Notably, the analysis derives both the probability that the system is in each step before failure and the Cumulative Distribution Function (CDF) of the duration of the overall failure process. A challenging case study that significantly and jointly stresses the main factors of computational complexity is finally addressed, performing steady-state analysis of a non-Markovian variant of a server virtualized system from the literature on software rejuvenation.

show abstract

Section: ç 1 Introductionmentioning

confidence: 99%

Compositional Analysis of Hierarchical UML Statecharts

Carnevali¹,

German

Santoni

et al. 2022

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…The work [ 14 ] formalized the methodology in Figure 1 . In this paper, we rigorously apply this formalization, through a case study, in the context of UML-based development.…”

Section: Introductionmentioning

confidence: 99%

Dependability Modeling and Assessment in UML-Based Software Development

Bernardi

Merseguer

Petriu³

2012

The Scientific World Journal

Self Cite

View full text Add to dashboard Cite

Assessment of software nonfunctional properties (NFP) is an important problem in software development. In the context of model-driven development, an emerging approach for the analysis of different NFPs consists of the following steps: (a) to extend the software models with annotations describing the NFP of interest; (b) to transform automatically the annotated software model to the formalism chosen for NFP analysis; (c) to analyze the formal model using existing solvers; (d) to assess the software based on the results and give feedback to designers. Such a modeling→analysis→assessment approach can be applied to any software modeling language, be it general purpose or domain specific. In this paper, we focus on UML-based development and on the dependability NFP, which encompasses reliability, availability, safety, integrity, and maintainability. The paper presents the profile used to extend UML with dependability information, the model transformation to generate a DSPN formal model, and the assessment of the system properties based on the DSPN results.

show abstract

“…Moreover, after applying the refactoring aspect on the original behavioral state machine, the refactored model will only have transitions with events or completion (done) transitions.In the following section we will describe the informal semantics of how we derived the SRN model from the refactored behavioral states machine that captures the internal software component behavior (normal and erroneous). In the literature, different approaches are suggested to translate state machines to Petri Net for analysis, such as[50],[121],[127]. Our approach of deriving SRN from BSM is inspired by[50].Initially, it concentrates on how to iteratively build the SRN model from BSM and PSM, and then it shows the mapping of MARTE and DAM profile attributes to the derived SRN.…”

mentioning

confidence: 99%

“…In the literature, different approaches are suggested to translate state machines to Petri Net for analysis, such as[50],[121],[127]. Our approach of deriving SRN from BSM is inspired by[50].Initially, it concentrates on how to iteratively build the SRN model from BSM and PSM, and then it shows the mapping of MARTE and DAM profile attributes to the derived SRN. simple state in our approach may represent a normal or erroneous behavior of the component.…”

mentioning

confidence: 99%

“…Conversely, erroneous states (error and failure modes) do not have any actions or activity, as they capture component dependability threats and error propagation.For normal behavior, we define different generic transformation rules shown inFigure 5.1, covering possible cases of a simple state. In order to compose the translated model elements we adopt the idea of interface transitions and places as in[50]. We use interface transitions and places that connect a simple state with its transitions based on matched names.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Automatic Derivation of Dependability and Fault Tolerance Analysis Models from Software Architecture

Alzahrani¹

View full text Add to dashboard Cite

Complex distributed software systems are increasingly employed to support and operate critical applications, so these systems should be highly dependable. The dependability of a software system is the ability to deliver trusted service and to avoid service failure that is more frequent and more severe than acceptable. Dependability attributes encompass a set of Non-Functional Properties (NFP), such as reliability and availability. The goal of this thesis is to develop a framework for integrating model-based dependability assessment techniques in the early stages of the software development process. This will support designers in taking the right design decisions and avoiding costly corrective actions later on, after the implementation and deployment have been completed. The first objective of the thesis is to introduce an aspect-based modeling approach for representing the erroneous behavior of UML components and for capturing failure propagation between connected components. This approach, called Component Erroneous Behavior Aspect Modeling approach (CeBAM), supports the definition of aspects representing component erroneous behavior and composes the aspects automatically with the normal component behavior represented as a state-machine. It also enables the compatibility verification between interacting components and conformance verification of their internal behavior with the corresponding ports protocol behavior. The next objective is to provide an automated transformation chain for deriving a Stochastic Reward Net (SRN) reliability analysis model from the software model in four phases: a) In-Place transformation to automate CeBAM approach, b) model-to-model transformation from UML software model extended with dependability annotations to SRN model, c) intermediate model-to-model transformation to build a CSPL model, and

show abstract

Dependability analysis of DES based on MARTE and UML state machines models

Cited by 19 publications

References 10 publications

Compositional Analysis of Hierarchical UML Statecharts

Compositional Analysis of Hierarchical UML Statecharts

Dependability Modeling and Assessment in UML-Based Software Development

Automatic Derivation of Dependability and Fault Tolerance Analysis Models from Software Architecture

Contact Info

Product

Resources

About