Quantitative Analysis of UML Statechart Models of Dependable Systems

Huszerl, Gabör; Majzik, István; Pataricza, András; Kosmidis, Konstantinos; Cin, Mario Dal

doi:10.1093/comjnl/45.3.260

Cited by 41 publications

(23 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[15,24]). The main difference with our approach is that our translation constructs the AND/OR tree, while these other translations remove the AND/OR tree by omitting composite nodes.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way

Eshuis

2009

FM 2009: Formal Methods

View full text Add to dashboard Cite

Abstract. Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enable the automated exchange of models between Petri net and statechart tools, we present a structural, polynomial algorithm that translates safe Petri nets into statecharts. The translation algorithm preserves both the structure and the behaviour of the input net. The algorithm can fail, since not every safe net has a statechart translation that preserves both its structure and behaviour. The algorithm is proven correct and the class of safe nets for which the algorithm succeeds is formally characterised. We show that the algorithm can also fail for some nets that do have a structure-and behaviour-preserving statechart translation, but this incompleteness does not appear to be a severe limitation in practice.

show abstract

“…[15,24]). The main difference with our approach is that our translation constructs the AND/OR tree, while these other translations remove the AND/OR tree by omitting composite nodes.…”

Section: Related Workmentioning

confidence: 99%

“…While structure-preserving translations from statecharts to Petri nets exist [15,24], well-defined translations for the reverse direction are lacking. This paper defines a structure/behaviour-preserving translation from Petri nets to statecharts, i.e.…”

Section: Introductionmentioning

confidence: 99%

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way

Eshuis

2009

FM 2009: Formal Methods

View full text Add to dashboard Cite

show abstract

“…Statecharts of selected objects are mapped directly to Petri nets by a model transformation that preserves the dynamic semantics of the statechart [15]. This way the designer is allowed to use the full power of statecharts (state hierarchy, concurrency etc.)…”

Section: Refined Modeling Of Redundancy Managementmentioning

confidence: 99%

“…The model transformation technology that maps fault activation and usage scenarios to dependability sub-models is the message sequence chart and statechart to TPN transformation introduced in Sect. 5.1 [15].…”

Section: Modeling Of Propagationmentioning

confidence: 99%

Stochastic Dependability Analysis of System Architecture Based on UML Models

Majzik

Pataricza

Bondavalli

2003

Lecture Notes in Computer Science

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

“…Several researchers proposed techniques to automatically derive stochastic models for availability/reliability/performance assessment such as Dynamic Fault Tree (DFT) [1], Repairable Fault Tree [2], Timed Petri Net (TPN) [3], Stochastic Petri net (SPN) [4], Generalized Stochastic Petri Nets (GSPN) [5]- [7], Deterministic and Stochastic Petri Nets (DSPN) [8], Stochastic Well-formed Net (SWN) [9] and Stochastic Reward Nets (SRN) [10]- [12], from widelyused design description languages such as Unified Modeling Language (UML) [13], System Modeling Language (SysML) [14] and Architecture Analysis & Design Language (AADL) [15]. However, the models derived by these methods do not provide the means to identify the SUCCF.…”

Section: Introductionmentioning

confidence: 99%

Identification of Smallest Unacceptable Combinations of Simultaneous Component Failures in Information Systems

Tadano¹,

Xiang²,

Machida³

et al. 2013

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

SUMMARYLarge-scale disasters may cause simultaneous failures of many components in information systems. In the design for disaster recovery, operational procedures to recover from simultaneous component failures need to be determined so as to satisfy the time-to-recovery objective within the limited budget. For this purpose, it is beneficial to identify the smallest unacceptable combination of component failures (SUCCF) which exceeds the acceptable cost for recovering the system. This allows us to know the limitation of the recovery capability of the designed recovery operation procedure. In this paper, we propose a technique to identify the SUCCF by predicting the required cost for recovery from each combination of component failures with and without two-person cross-check of execution of recovery operations. We synthesize analytic models from the description of recovery operation procedure in the form of SysML Activity Diagram, and solve the models to predict the time-to-recovery and the cost. An example recovery operation procedure for a commercial database management system is used to demonstrate the proposed technique. key words: automatic model synthesis, recovery operation procedure, stochastic reward net (SRN), time to recover (TTR)

show abstract

Quantitative Analysis of UML Statechart Models of Dependable Systems

Cited by 41 publications

References 23 publications

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way

Stochastic Dependability Analysis of System Architecture Based on UML Models

Identification of Smallest Unacceptable Combinations of Simultaneous Component Failures in Information Systems

Contact Info

Product

Resources

About