This open access book presents the outcomes of the "Design for Future - Managed Software Evolution" priority program 1593, which was launched by the German Research Foundation ("Deutsche Forschungsgemeinschaft (DFG)") to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process. Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage. The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a continuum of former and future releases.

Moderne Unternehmen mussen komplexe Innovationsprozesse beherrschen koennen. Die, fur Probleme ursachlichen, wechselseitigen Abhangigkeiten werden von den Autoren analysiert, modelliert und Loesungsvorschlage dargestellt. Hierbei werden Moeglichkeiten zur Verbesserung der Innovationsprozesse integrierter Sach- und Dienstleistungen (Produkt-Service Systeme (PSS)) aufgezeigt. Effektivitat und Effizienz der Innovationsprozesse, die aus unterschiedlichen Perspektiven betrachtet werden, sind dabei zentrale Schwerpunkte, denn darin liegen die wesentlichen Herausforderungen innovativ wirkender Unternehmen in der Industrie.

This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.

This open access book presents the outcomes of the "Design for Future - Managed Software Evolution" priority program 1593, which was launched by the German Research Foundation ("Deutsche Forschungsgemeinschaft (DFG)") to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process. Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage. The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a continuum of former and future releases.

Mit ihrer Jahrestagung 2007 bietet die GI-Fachgruppe "Echtzeitsysteme und PEARL" Nutzern und Herstellern ein Forum an, auf dem neue Trends und Entwicklungen zu zahlreichen Themen aus dem Bereich der "Mobilit t und Echtzeit" vorgestellt werden. Das Forum deckt folgende Sachgebiete ab: Safety, Security, Kommunikation, Automotive, Betriebssysteme, Robotik, Ressourcenmanagement mit Anwendungsbeispielen, Konzepten und Entwicklungsumgebungen.

Mit ihrer Jahrestagung 2006 bietet die GI-Fachgruppe Echtzeitsysteme und PEARL Nutzern und Herstellern ein Forum an, auf dem neue Trends und Entwicklungen zu folgenden Themengebieten aus dem Bereich der "Echtzeitsysteme im Alltag" vorgestellt werden: Anwendungsbeispiele wie Gebaudeleit- und Raumtechnik, Hausliche Serviceroboter, Spiele, Handy-TV, Telefonie und Telemedizin, sowie Aspekte der Technologie, Entwicklung und Ausbildung in Echtzeitsystemen und PEARL.

Mit ihrer Jahrestagung 2005 bietet die GI-Fachgruppe Echtzeitsysteme und PEARL Nutzern und Herstellern ein Forum an, auf dem neue Trends und Entwicklungen zu folgenden Themengebieten aus dem Bereich der "Echtzeitaspekte bei der Koordinierung Autonomer Systeme" vorgestellt werden: Kommunikationsaspekte (Ad-Hoc-Netze, Sensornetzwerke, drahtlose Netze), Networked Control (Net-in-the-Loop, Fahrzeugsysteme), Zuverl ssigkeit, Anforderungen und Beispiele, Echtzeitsysteme und PEARL.

Mit ihrer Jahrestagung 2004 bietet die GI-Fachgruppe Echtzeitprogrammierung Nutzern und Herstellern ein Forum an, auf dem neue Trends und Entwicklungen zu folgenden Themengebieten aus dem Bereich der "Eingebetteten Systeme" vorgestellt werden: Stand der Technik, Architektur (System on Chip), Engineering (Systementwurf, Programmierung, Verifikation), Vernetzung, Betriebssysteme, Nutzer-Schnittstellen, Anwendungsklassen (Kfz, Fertigung, Simulatoren, Telekommunikation, SetTopBoxen).

Schwerpunktthemen des diesjahrigen Workshops sind: verteilte Echzeitsysteme, u.a. Engineering, Diagnose und Wartung, Internet, Funknetze, Datenhaltung und Anwendungen z.B. aus der Robotik, ausserdem Exponate und PEARL und Echtzeitprogrammierung in der Ausbildung. Vortrage und Workshops zu diesen Themen uber praktischen Einsatz, Methoden, Erfahrungen und Ausblicke bilden den Inhalt dieses Bandes."

Schwerpunktthemen des diesjahrigen Workshops:
Sicherheit und Verfugbarkeit in Echtzeit- und Automatisierungssystemen: Verlasslichkeit und Fehlertoleranz (Safety); Eindringsicherheit und Bedrohungsszenarien ( Security); Verifizierbarkeit und Zertifizierbarkeit.
Sicherheitsgerichtete Technologien: Engineering-Standards, Validierung; Entwurfsmethodik; Implementierung.
Aktuelle Echtzeitanwendungen: Erfahrungen und Echtzeitprogrammierung.
PEARL und Echtzeitprogrammierung in der Ausbildung.
Die Vortrage zu diesen Themen, u.a. uber praktischen Einsatz, Methoden und Erfahrungen sowie Ausblicke in die Zukunft sind Inhalt dieses Bandes."

Schwerpunktthema des diesjahrigen Workshops "Echtzeitkommunikation und Ethernet/Internet" ist eine grundsatzliche Gegenuberstellung der Anforderungen von Echtzeitanwendungen und der Leistungsfahigkeit von Kommunikationsnetzen. Beitrage aus den Bereichen Automatisierung uber Ethernet/Internet, Echtzeit und Ethernet/Internet sowie harte Echtzeitkommunikation werden erganzt durch eher traditionelle Themen wie Programmiermethoden und Programmentwicklung bei Realzeit-Software. Den Abschluss bilden Beitrage zu den klassischen aktuellen Echtzeitanwendungen."

Digital Transformation in Industry 4.0/5.0 requires the effective and efficient application of digitalization technologies in the area of production systems. This book elaborates on concepts, techniques, and technologies from computer science in the context of Industry 4.0/5.0 and demonstrates their possible applications. Thus, the book serves as an orientation but also as a reference work for experts in the field of Industry 4.0/5.0 to successfully advance digitization in their companies.

Mit der Neuauflage des erfolgreichen Werkes wird die Geschichte der vierten industriellen Revolution fortgeschrieben und der Dynamik Rechnung getragen, mit der die Vision in den vergangenen zwei bis drei Jahren weiterentwickelt und verwirklicht wurde. Experten aus Wissenschaft und Technik beleuchten verschiedene Facetten der Industrie 4.0 und schaffen gleichermassen einen UEberblick uber den Stand der Technik und die Vision selbst. Dies gelingt nicht zuletzt Dank einer ausgewogenen Mischung aus wissenschaftlichen Erkenntnissen, Praxisbeispielen und UEbersichtsbeitragen. Die Themen der Beitrage reichen von Basistechnologien uber Integrations- und Migrationsansatze bis hin zu Geschaftsmodellen und Dienstleistungen fur die Industrie 4.0. Zudem werden die Datensicherheit und auch rechtliche Aspekte mit Datenanalyse und maschinellem Lernen behandelt. In der dritten Auflage werden die Themenfelder um Kunstliche Intelligenz, aktuelle Mobilfunkstandards und den daraus resultierenden Potentialen fur eine zukunftige Plattformoekonomie erweitert. Die dritte uberarbeitete und erweiterte Auflage erscheint wiederum in 3 Banden. Der vorliegende dritte Band umfasst neue und bearbeitete Beitrage zur Logistik. Online ist dieses Nachschlagewerk auch uber Springer Reference verfugbar.