Stochastic Dependability Analysis of System Architecture Based on UML Models

Majzik, István; Pataricza, András; Bondavalli, Andrea

doi:10.1007/3-540-45177-3_10

Cited by 53 publications

(36 citation statements)

References 22 publications

(24 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…However, the approach in [20] is exclusively for the dependability field, without considering security issues, and likely very bound to AADL (Architecture Analysis & Design Language). In [14], which is closer to ours, Bondavalli et al identify dependability attributes in early design phases of the system and construct a dependability model (as a Timed Petri Net) using graph transformation techniques in structural UML diagrams.…”

Section: Related Work and Conclusionmentioning

confidence: 82%

See 1 more Smart Citation

Modelling and analysing resilience as a security issue within UML

Rodríguez

Merseguer

Bernardi

2010

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems

View full text Add to dashboard Cite

Modelling system security is not common practise in software projects yet. Among other problems, there is not a widely accepted methodology which unifies the actual heterogeneity of security issues when addressing a whole security specification. Certainly, the reality is even worse since there is not an accepted or standard common notation for carrying out the security specification. In this work, we study how modelling security issues, specifically resilience, could be integrated in the MARTE-DAM framework, which allows the expression of performance and dependability requirements in UML models. We base this claim on the close relationship between security and dependability. Indeed, MARTE proposes a framework for non-functional properties specification (NFP), while DAM exploits it for dependability purposes. So, our goal is to take advantage of the common NFP framework while the dependability and security concerns are modelled in a unified view. On the other hand, we consider that the resulting security specification will be useful for developing model in which security related properties, such as availability, will be analysed. We will clarify these claims by means of an example.

show abstract

Section: Related Work and Conclusionmentioning

confidence: 82%

“…Regarding derivation of UML dependability models into stochastic Petri nets, it is worth mentioning the works presented in [14,20]. However, the approach in [20] is exclusively for the dependability field, without considering security issues, and likely very bound to AADL (Architecture Analysis & Design Language).…”

Section: Related Work and Conclusionmentioning

confidence: 99%

Modelling and analysing resilience as a security issue within UML

Rodríguez

Merseguer

Bernardi

2010

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems

View full text Add to dashboard Cite

show abstract

“…Other work can be situated in the area of a model-driven analysis technique: [12,13,4]. These approaches also propose a framework for automatic generation of reliability models from software specifications, bringing reliability analysis to early stages of the software lifecycle.…”

Section: Discussion and Related Workmentioning

confidence: 99%

“…These approaches also propose a framework for automatic generation of reliability models from software specifications, bringing reliability analysis to early stages of the software lifecycle. István et al [12,13] shed some light on ways to fully automate dependability analysis, applied to the Fault-Tolerant CORBA, using graph transformations into their VIATRA framework. The work from Singh et al [21] provides a prediction algorithm to analyse the reliability of the system prior to its construction.…”

Section: Discussion and Related Workmentioning

confidence: 99%

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems

Rodrigues

Rosenblum

Uchitel

2005

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract. Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level functionality. If component reliability information is available, scenarios can be used to perform early system reliability assessment. In this paper we present a novel automated approach for predicting software system reliability. The approach involves extending a scenario specification to model (1) the probability of component failure, and (2) scenario transition probabilities derived from an operational profile of the system. From the extended scenario specification, probabilistic behaviour models are synthesized for each component and are then composed in parallel into a model for the system. Finally, a user-oriented reliability model described by Cheung is used to compute a reliability prediction from the system behaviour model. The contribution of this paper is a reliability prediction technique that takes into account the component structure exhibited in the scenarios and the concurrent nature of component-based systems. We also show how implied scenarios induced by the component structure and system behaviour described in the scenarios can be used to evolve the reliability prediction.

show abstract

“…Links are used to represent the connections among them. The types of components, the redundancy schemes and the component level dependability attributes are modeled by using stereotypes and tagged values according to the conventions developed in [12]. In summary, these extensions represent generic fault occurrence processes, error propagations and repair mechanisms.…”

Section: The Application-service Dependency Modelmentioning

confidence: 99%

An integrated framework for the dependability evaluation of distributed mobile applications

Kovács

Lollini

Majzik

et al. 2008

Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems

Self Cite

View full text Add to dashboard Cite

Current distributed mobile systems are usually characterized by a huge number of nodes, different network domains, different applications running, variability of the users' behavior, and dynamicity and heterogeneity of the communication networks. A typical example can be found in the automotive context, considering car-to-car and car-to-infrastructure communication scenarios. In this paper we propose a model-based approach for the dependability evaluation of distributed applications in a mobile environment. The final Multiple Phased System model representing the analyzed mobile scenario is automatically derived from highlevel UML specifications through a sequence of model transformation steps. The evaluation workflow is based on i) a hierarchical modelling approach that analyzes the system at different levels, namely communication, architecture, application and user level; ii) a time-based system decomposition identifying different phases for different user activities and environment conditions.

show abstract

Stochastic Dependability Analysis of System Architecture Based on UML Models

Cited by 53 publications

References 22 publications

Modelling and analysing resilience as a security issue within UML

Modelling and analysing resilience as a security issue within UML

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems

An integrated framework for the dependability evaluation of distributed mobile applications

Contact Info

Product

Resources

About