© 2017-2024 Leonardo Montecchi
Conference Paper Tool Paper
Authors | |
---|---|
Abstract | 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. |
DOI | 10.4108/icst.valuetools.2013.254395 |
Event | 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013) |
Venue | Torino, Italy |
Date | December 10-12, 2013 |
Pages | 298-303 |
Publisher | ACM |
ISBN | 978-1-936968-48-0 |
Citation |
Bibtex
@inproceedings{2013VALUETOOLS, author = {Montecchi, Leonardo and Lollini, Paolo and Bondavalli, Andrea}, title = {{A Reusable Modular Toolchain for Automated Dependability Evaluation}}, booktitle = {7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013)}, address = {Torino, Italy}, date = {2013-12-10/2013-12-12}, pages = {298-303}, year = {2013} }
Plain TextL. Montecchi, P. Lollini, A. Bondavalli.
A Reusable Modular Toolchain for Automated Dependability Evaluation.
In: 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013), pp. 298-303.
Torino, Italy, December 10-12, 2013.
|
© 2017-2024 Leonardo Montecchi