Servicenavigation

Detailseite

Zurück

Projekt Druckansicht

Modellgetriebene Methoden und Werkzeuge zur Performanz-Vorhersage und Kapazitätsplanung komponentenbasierter Software-Systeme (Ferdinand)

Fachliche Zuordnung Softwaretechnik und Programmiersprachen
Förderung Förderung von 2010 bis 2014
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 161907267
 
Erstellungsjahr 2015

Zusammenfassung der Projektergebnisse

The Ferdinand project was initiated as a heterogeneous, multi-domain research project as a combination of software engineering, performance engineering, and model-driven software development. The focus of the Ferdinand project and its main contribution was to provide and develop engineering approaches to performance-aware software development by software architecture-level design and analysis that is coupled to the software realization through well-defined transformations. The contributions of the project can be subdivided into the following four categories: Parametrizable performance model completions using higher-order transformations, model transformation maintenance, performance analysis and prediction for virtualized execution environments, and performance analysis and prediction for message-oriented communication. Overall, the contributions include case studies and empirical validation with state-of-the-art technology, such as QVT transformations, Xen Server virtualization, and ActiveMQ messaging middleware, as well as real-world system environments, such as Sun Fire and IBM System z server hardware. Our first contribution facilitates design-time predictions of software quality attributes by introducing completion transformations, a model-driven technique for automatically refining architectural models with low-level details. For optimal reusability, completion transformations must be highly parametrizable. We extend ideas from product line engineering and tailor them to the problem at hand: a completion transformation is compiled from transformation fragments following a particular feature configuration. Implementation-wise, our approach relies on higher-order transformations, i.e., transformations that process transformations and transformation fragments. We built several highly configurable completions including a connector completion to weave in messaging-related performance influences, and an I/O completion that automatically integrates performance costs of modern virtualized storage environments. A second contribution of the project aimed to alleviate maintenance efforts of such completion transformations as well as model transformations in general. We defined a set of code metrics to assess the quality of model transformations, which help to quickly identify potential design issues of model transformation programs. Since most transformation languages do not provide for modular programming, we developed information-hiding modularity for transformation languages. We were able to demonstrate that it helps to better structure transformation programs and to encapsulate design details behind well-defined interfaces. With regard to legacy transformation programs, benefits of a modular structure do not always justify manual re-modularization costs. For that matter, we suggest to apply visual analytics to cope with the inherent complexity of transformations on larger models. The visual analytics methodology helps to carry out typical maintenance tasks with a significantly reduced effort, according to an empirical study. The third contribution comprises performance analysis and prediction techniques tailored for applications in virtualized execution environments. Since virtualization technology is getting increasingly popular, the application deployed in virtualized environments require special attention to avoid performance bottlenecks and allow to use resources efficiently. To this end, the techniques developed as part of the project include regression analysis-based as well as queueing theory-based performance models. Further, by using the Palladio Component Model (PCM) as example, software architecture modeling approaches were enhanced and extended by concepts to allow practical performance predictions and optimize software designs at the architecture level. Due to their high abstraction level and high degree of automation, the modeling approaches allow to address typical capacity planning questions that were either very difficult or even impossible to answer with previously existing and related approaches. The final contribution comprises performance analysis and predictions for message-oriented communication. In enterprise systems, message-oriented middleware platforms are often used as a building block for distributed software applications. A systematic performance analysis methodology coupled with fine-grained, in-depth analysis to reveal important performance effects and their causes are required and usually abstracted or carefully sidestepped in comparable work. Here, new modeling approaches of the middleware core based on queueing theory are developed as a basis that can be included in performance models of the overall distributed software system. The Ferdinand project benefited from various collaborations and discussions with academic partners, especially the Charles University in Prague, and industry partners, specifically IBM and SUSE Linux in the context of the Informatics Innovation Center (IIC), as well as the SPEC Research Group as a collaborative organization for knowledge transfer between academia and industry. These collaborations emphasize the academic and practical relevance of the project and were a key contributor to its success leading to overall approximately 50 research publications in the scope of the Ferdinand project as well as multiple tools and demonstrators. The publications of the project include leading, highly ranked scientific platforms such as the Int. Conference on Software Engineering (ICSE), the Int. Conference on Modularity (AOSD), the Int. Symposium on Component-based Software Engineering (CBSE), the Int. Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), the Int. Conference on the Quality of Software Architectures (QoSA), the Int. Conference on Model Transformation (ICMT), and the Int. Conference on Performance Engineering (ICPE) as well as the Software and Systems Modeling (SoSyM) journal. Today, the members of the project either have finished, or are about to finish their PhD. Multiple of the bachelor's and master's students involved in the Ferdinand project have started their PhD in the group of the grant holder at the Karlsruhe Institute of Technology (KIT). Furthermore, the existing collaborations with academia and industry as well as new collaborations, for example with the King's College London, are based on the results of the project and will be pursued in the future.

Projektbezogene Publikationen (Auswahl)

 
 

Zusatzinformationen

© 2024 DFG Kontakt / Impressum / Datenschutz

Textvergrößerung und Kontrastanpassung