KlaperSuite: an integrated model-driven environment for reliability and performance analysis of component-based systems
File(s)
Accepted version
Author(s)
Ciancone, A
Filieri, A
Drago, M
Mirandola, R
Grassi, V
Type
Conference Paper
Abstract
Automatic prediction tools play a key role in enabling the application of non-functional requirements analysis to selection and assembly of components for Component-Based Systems, reducing the need for strong mathematical skills to software designers. Exploiting the paradigm of Model Driven Engineering (MDE), it is possible to automate transformations from design models to analytical models, enabling for formal property verification. MDE is the core paradigm of KlaperSuite presented in this paper, which exploits the KLAPER pivot language to fill the gap between Design and Analysis of Component-Based Systems for reliability and performance properties. KlaperSuite is a family of tools empowering designers with the ability to capture and analyze QoS views of their systems by building a one-click bridge towards a number of established verification instruments.
Date Issued
2011-06-30
Date Acceptance
2011-06-28
Citation
Objects, Models, Components, Patterns. 49th International Conference, TOOLS 2011 Zurich, Switzerland, June 28-30, 2011 Proceedings, 2011, 6705, pp.99-114
ISBN
978-3-642-21951-1
ISSN
0302-9743
Publisher
Springer Berlin Heidelberg
Start Page
99
End Page
114
Journal / Book Title
Objects, Models, Components, Patterns. 49th International Conference, TOOLS 2011 Zurich, Switzerland, June 28-30, 2011 Proceedings
Volume
6705
Copyright Statement
© Springer Verlag 2011. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-21952-8_9
Source
49th International Conference, TOOLS 2011
Subjects
Artificial Intelligence & Image Processing
08 Information And Computing Sciences
Publication Status
Published
Start Date
2011-06-28
Finish Date
2011-06-30
Coverage Spatial
Zurich, Switzerland