A Reusable Modular Toolchain for Automated Dependability Evaluation
Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli · 2014
Model-transformation techniques have increasingly gained attention in the design and evaluation of high-integrity systems, with the purpose to provide (semi-)automatic tools for non-functional analysis. Analysis models are automatically derived from an architectural description of the system in a U