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 …
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
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 …
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
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 …
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 …
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) …
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 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 …
adequately perform its tasks during its entire life cycle. The early evaluation of system …
Engineering model transformations with transML
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 …
increasing complexity of systems and modelling languages has dramatically raised the …
Stochastic dependability analysis of system architecture based on UML models
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 …
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
The paper introduces a method which allows quantitative dependability analysis of systems
modeled by using the Unified Modeling Language (UML) statechart diagrams. The analysis …
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 …
increasing amount of complicated systems are tightly embedded into our surroundings …