Towards Dependability Modeling of FT-CORBA Architectures

Majzik, István; Huszerl, Gabör

doi:10.1007/3-540-36080-8_14

Cited by 9 publications

(7 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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%

See 1 more Smart Citation

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

Section: Discussion and Related Workmentioning

confidence: 99%

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

show abstract

“…Besides the structural dependability modeling of the production cell benchmark [6], we successfully applied the model refinement approach in the case of FT-CORBA architectures [21].…”

Section: Resultsmentioning

confidence: 99%

“…Again, based on this interface the repair actions can be refined in subsequent steps. This approach was introduced first in [16] and adapted to the fault tolerance infrastructure defined by FT-CORBA [23] in [21]. In this adaptation, first a high-level dependability model is constructed that allows the analysis of the fault tolerance strategies and properties directly supported by the standard infrastructure.…”

Section: Refined Modeling Of Redundancy Managementmentioning

confidence: 99%

Stochastic Dependability Analysis of System Architecture Based on UML Models

Majzik

Pataricza

Bondavalli

2003

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. The work in this paper1 is devoted to the definition of a dependability modeling and model based evaluation approach based on UML models. It is to be used in the early phases of the system design to capture system dependability attributes like reliability and availability, thus providing guidelines for the choice among different architectural and design solutions. We show how structural UML diagrams can be processed to filter out the dependability related information and how a system-wide dependability model is constructed. Due to the modular construction, this model can be refined later as more detailed information becomes available. We discuss the model refinement based on the General Resource Model, an extension of UML. We show that the dependability model can be constructed automatically by using graph transformation techniques.

show abstract

“…Markov models are generated based on these descriptions automatically. The authors in Majzik and Huszerl (2002) use stochastic Petri nets to model and analyze faulttolerant CORBA applications that are modeled using UML. Hereby, the UML profile is extended to be able to incorporate the dependability properties that are required to generate Petri net models.…”

Section: Related Workmentioning

confidence: 99%

Availability analysis of software architecture decomposition alternatives for local recovery

et al. 2016

View full text Add to dashboard Cite

Due to copyright restrictions, the access to the full text of this article is only available via subscription.We present an efficient and easy-to-use methodology to predict—at design time—the availability of systems that support local recovery. Our analysis techniques work at the architectural level, where the software designer simply inputs the software modules’ decomposition annotated with failure and repair rates. From this decomposition, we automatically generate an analytical model (a continuous-time Markov chain), from which an availability measure is then computed, in a completely automated way. A crucial step is the use of intermediate models in the input/output interactive Markov chain formalism, which makes our techniques efficient, mathematically rigorous, and easy to adapt. In particular, we use aggressive minimization techniques to keep the size of the generated state spaces small. We have applied our methodology on a realistic case study, namely the MPlayer open-source software. We have investigated four different decomposition alternatives and compared our analytical results with the measured availability on a running MPlayer. We found that our predicted results closely match the measured ones .Dutch Ministry of Economic Affairs ; the Netherlands Organization for Scientific Research ; European Commissio

show abstract

Towards Dependability Modeling of FT-CORBA Architectures

Cited by 9 publications

References 5 publications

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

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

Stochastic Dependability Analysis of System Architecture Based on UML Models

Availability analysis of software architecture decomposition alternatives for local recovery

Contact Info

Product

Resources

About