SPP 1593:  Design for Future - Managed Software Evolution

Dieses Schwerpunktprogramm wurde gegründet, um fundamentale neue Ansätze im Software Engineering im Bereich langlebiger Software-Systeme zu entwickeln. Die bisherige Forschung im Software Engineering löst nicht aktuelle Probleme mit Legacy-Software, die Adaption von Software auf neue Plattformen und die kontinuierliche Weiterentwicklung von Software-Systemen im Hinblick auf ständig wechselnde Anforderungen, neu entstehende Technologien und die Integration neuer Software-, Hardware- und System-Komponenten. Daher sind neue Ansätze, Methoden und Werkzeuge zur Entwicklung von "jung bleibender" Software notwendig, wobei die Software ihre ursprüngliche Funktionalität und Qualität behält und sich kontinuierlich während der gesamten Lebensdauer verbessert. Wir werden eine Methodik zur kontinuierlichen Evolution von Software und Software-/Hardware-Systemen entwickeln, sodass sich Systeme an ändernde Anforderungen und Umgebungen adaptieren können. Im Bereich des Software Engineerings sind mehrere Forschungsbereiche besonders geeignet, um zu diesem Ziel beizutragen. Ohne Forderung der Vollständigkeit haben bestehende Ansätze für Anforderungsmanagement, Architekturdesign und -management, modellbasiertes/-getriebenes Software Engineering, Qualitätsmanagement, Artefaktmanagement, Evolution und Reengineering bereits einen starken Einfluss auf das Management von Software-Evolution. Allerdings müssen diese Ansätze mit einem speziellen Fokus auf langlebigen Software-Systemen ausgebaut und integriert werden. Deshalb stellen wir hiermit ein neues Paradigma auf, indem einerseits Entwicklung, Anpassung und Evolution von Software und deren Plattformen und andererseits Betrieb, Überwachung und Wartung nicht mehr getrennt, sondern integriert betrachtet werden. Ein Ziel ist es, Meta-Modelle für die Erhaltung und den Zugriff auf Wissen, das während des Systementwicklungsprozesses gewonnen wird, zur Verfügung zu stellen. Darüber hinaus sollen Methoden, Vorgehensmodelle und geeignete Infrastrukturen zur umfassenden Unterstützung der Integration der Software-Entwicklung und -Evolution bereitgestellt werden. In diesem Schwerpunktprogramm beabsichtigen wir es nicht, Ansätze isoliert von deren Anwendung zu erforschen. Wir konzentrieren uns hier auf zwei konkrete Anwendungsbereiche: Informationssysteme und Produktionssysteme in der Automatisierungstechnik.

DFG-Verfahren Schwerpunktprogramme

• Beyond One-Shot Security: Requirements-driven Run-time Security Adaptation to Reduce Code Patching (SecVolution@Run-time) (Antragsteller Jürjens, Jan ;  Schneider, Kurt )
• Concepts, methods and tools for architecture - and quality-centric evolution of long-living software systems (Antragsteller Goedicke, Michael ;  Reussner, Ralf Heinrich )
• Continuous Usage- and Rationale-based Evolution Decision Support (CURES) (Antragstellerinnen / Antragsteller Brügge, Bernd ;  Paech, Barbara )
• DECLARE - Declarative Performance Engineering (Antragsteller van Hoorn, André ;  Kounev, Samuel )
• Domänen-übergreifende Wartbarkeitsabschätzungen von Informationssystemen und Fertigungsautomatisierungssystemen (Antragstellerinnen / Antragsteller Reussner, Ralf Heinrich ;  Vogel-Heuser, Birgit )
• ENSURE II - ENsurance of Software evolUtion by Run-time cErtification (Antragsteller Grunske, Lars ;  Tichy, Matthias )
• Integrated Model-based Testing of Continously Evolving Software Product Lines (IMoTEP) (Antragstellerinnen / Antragsteller Goltz, Ursula ;  Schürr, Andreas )
• Integrated Model-based Testing of Continuously Evolving Software Product Lines (IMoTEP 2) (Antragstellerinnen / Antragsteller Lochau, Malte ;  Schaefer, Ina )
• Integrierte Beobachtungs- und Modellierungstechniken zur Adaption und Evolution von Softwaresystemen (Antragsteller Hasselbring, Wilhelm ;  Pohl, Klaus ;  Reussner, Ralf Heinrich )
• Linked Forever Young Production Automation with Active Components (LinkedFYPA²C) (Antragsteller Fay, Alexander ;  Lamersdorf, Winfried )
• Model-Driven Evolution Management for Microscopic Changes in Automation Systems (MoDEMMiCAS) (Antragstellerinnen / Antragsteller Broy, Manfred ;  Vogel-Heuser, Birgit )
• Regression Verification in a User-Centered Software Development Process for Evolving Automated Production Systems (Antragstellerinnen / Antragsteller Beckert, Bernhard ;  Ulbrich, Mattias ;  Vogel-Heuser, Birgit )
• Scalable design and performance analysis for long-living software families (DAPS2) (Antragstellerin Schaefer, Ina )
• Scientific Coordination of SPP 1593 (Antragstellerinnen / Antragsteller Goltz, Ursula ;  Reussner, Ralf Heinrich )
• Scientific Coordination of SPP 1593 (Antragsteller Reussner, Ralf Heinrich )
• Serviceproject (Antragsteller Reussner, Ralf Heinrich )
• Specifying and Recognizing Model Changes in Networks of Models (Antragstellerinnen / Antragsteller Kelter, Udo ;  Taentzer, Gabriele )
• Support for correct evolution of software product lines (Antragsteller Koschke, Rainer ;  Schmid, Klaus )
• Techniken und Vorhersagemodelle für nachhaltige Produktlinienentwicklung (Antragsteller Apel, Sven )
• Usage- and Rationale-based Evolution Desicison Support (Antragstellerinnen / Antragsteller Brügge, Bernd ;  Paech, Barbara )

Sprecher Professor Dr. Ralf Heinrich Reussner