Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
SoftwareDynamics2: Fine-Grained Evolution of Software Behavior. In this joint-project between the University of Stuttgart and the Alpen-Adria University Klagenfurt, we will investigate novel methods and techniques to analyze and visualize the impact of specific code changes on the dynamic behavior of a software system, and to find causes for specific changes of dynamic behavior in the evolution of a software system.
Safe Round-Trip Software Engineering for Improving the Maintainability of Legacy Software Systems. In this project we aim at investigating methods and techniques to reverse engineer "formal models" from existing systems based on rewriting logic capturing explicit and implicit aspects of the original system. We claim that by using formal reasoning techniques on top of the extracted models the software engineer can first express a formal property that the system exhibits before re-engineering, and later check it against the re-engineered models representing the system design.
XAUTOMATA TECHNOLOGY GmbH and Università Politecnica delle Marche
The qualification network V-Net – IT enabled Eco Systems provides training for key personnel in South Styrian and Carinthian companies, preparing them to meet the new challenges and develop key competences that allow them to sell IT as a commodity, develop modern, web-based software and understand consumerism.
Allegio: Composable Embedded Systems for Healthcare
Univ.-Prof. Dipl.-Ing. Dr. Martin Pinzger
Martin Pinzger, Nicolas Dintzner, and Arie van Deursen
March 2011 - 2015
ICTRegie FES COMMIT
The objective of this project is to define an integrated set of methods and techniques that supports a systematic “Right by Design” component-based software design approach for complex embedded systems. This ensures that incremental changes become predictable and meet the required system qualities such as performance and safety. The Allegio project addresses the following key research questions:
How to decompose systems into components such that the global system requirements can be derived from the properties of the components? What are appropriate coherent systems views to reasons about various system qualities such as evolvability, performance and safety?
How to define interfaces of components that enable verifiable composition, re-use, configuration management, and replacement? How to include evolvability and safety aspects and how to characterize performance in a modular way?
How to reason about correctness aspects of large complex embedded systems. How to analyze the trade-off between system qualities early in the design process?
How do model-based verification techniques relate to model-based testing? What is the relation between the models that are suitable for these techniques? Does the verification reduce the testing effort? Can the testing results improve the scalability of the model checking techniques?
SERG/TU Delft, Embedded Systems Institute (ESI), Philips Healthcare (iXR R&D), the University of Twente (DACS and DE), and the Eindhoven University of Technology (DAS)
ReSOS: Re-engineering Service-Oriented Systems
Univ.-Prof. Dipl.-Ing. Dr. Martin Pinzger
Martin Pinzger, Arie van Deursen, Daniele Romano, Joost Visser, Eric Bouwers, Joost Koedijk, Yaroslav Usenko, Erwin Reinhoud
November 2010 - 2014
In recent years, companies and government organizations have installed Software as a Service (SaaS) and Service-Oriented Systems (SOS). While services are in place and run, companies face a number of problems, basically, due to continuing growth and increasing complexity of their systems. The ReSOS project tackles these problems by means of detecting and re-engineering shortcomings in the design and implementation of service-oriented systems.
In particular, we will investigate:
Meta-models and reverse engineering techniques for service-oriented systems
SOS specific quality attributes and metrics
SOS anti-pattern detection strategies
(Semi-)automated re-factoring techniques to resolve SOS anti-patterns
TU Delft, Software Improvement Group, and KPMG CT IT