Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

E Ruijters, M Stoelinga - Computer science review, 2015 - Elsevier
Fault tree analysis (FTA) is a very prominent method to analyze the risks related to safety
and economically critical assets, like power plants, airplanes, data centers and web shops …

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

D Varró, G Bergmann, Á Hegedüs, Á Horváth… - Software & Systems …, 2016 - Springer
The current release of VIATRA provides open-source tool support for an event-driven,
reactive model transformation engine built on top of highly scalable incremental graph …

Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker

D Latella, I Majzik, M Massink - Formal aspects of computing, 1999 - Springer
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system
behaviour within the Unified Modelling Language (UML). In this paper we present a …

Designing the automatic transformation of visual languages

D Varró, G Varró, A Pataricza - Science of Computer Programming, 2002 - Elsevier
The design process of complex systems requires a precise checking of the functional and
dependability attributes of the target design. The growing complexity of systems necessitates …

VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling …

D Varró, A Pataricza - Software & Systems Modeling, 2003 - Springer
As UML 2.0 is evolving into a family of languages with individually specified semantics, there
is an increasing need for automated and provenly correct model transformations that (i) …

[PDF][PDF] Dependability analysis in the early phases of UML-based system design

A Bondavalli, M Dal Cin, D Latella, I Majzik… - Comput. Syst. Sci …, 2001 - Citeseer
A thorough system specification is insufficient to guarantee that a computer system will
adequately perform its tasks during its entire life cycle. The early evaluation of system …

Engineering model transformations with transML

E Guerra, J de Lara, DS Kolovos, RF Paige… - Software & Systems …, 2013 - Springer
Abstract Model transformation is one of the pillars of model-driven engineering (MDE). The
increasing complexity of systems and modelling languages has dramatically raised the …

Stochastic dependability analysis of system architecture based on UML models

I Majzik, A Pataricza, A Bondavalli - Architecting dependable systems, 2007 - Springer
The work in this paper 1 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 …

Quantitative analysis of UML statechart models of dependable systems

G Huszerl, I Majzik, A Pataricza, K Kosmidis… - The computer …, 2002 - academic.oup.com
The paper introduces a method which allows quantitative dependability analysis of systems
modeled by using the Unified Modeling Language (UML) statechart diagrams. The analysis …

A method for predicting reliability and availability at the architecture level

A Immonen - Software Product Lines, 2006 - Springer
The demand of high reliability and availability of today's systems is considerable as an
increasing amount of complicated systems are tightly embedded into our surroundings …