A Reusable Modular Toolchain for Automated Dependability Evaluation

Research Area: Uncategorized Year: 2013
Type of Publication: In Proceedings
Authors: Leonardo Montecchi; Paolo Lollini; Andrea Bondavalli
Book title: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013)
Pages: 298-303
Month: December, 10-12
ISBN: 978-1-936968-48-0
© ACM, 2013. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The final publication is available at dl.acm.org
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 UML-like language. One of the main challenges is designing tools which can be reused: the modeling language, the analysis tools, and possibly the analysis method itself are going to evolve over time (e.g., due to different domains, new software versions, updates to standards). In this paper we describe the design and implementation of the toolchain for state-based dependability analysis developed within the CHESS project. The toolchain, which also provides back-annotation facilities, has been designed to be adapted to different modeling languages and analysis tools. The tool has been implemented as a plugin for the Eclipse platform, and it is publicly available on the CHESS website.

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web