Established development processes for industrial control systems are static and struggle to
adopt changing requirements. The interdisciplinary nature of such systems necessitates …

Abstract Model-based software engineering is a promising approach for controlling complex
automation systems. Automation engineers, unfortunately, do not routinely model the …

Reconfiguration is an important feature for industrial automation systems to provide
flexibility, adaptability, and resilience. Dynamic reconfiguration of real-time systems requires …

Resilience is a critical quality of future Industrial Control Systems (ICS). The ability to detect
and react to unanticipated attacks, bugs, and failures is crucial. Self-adaptation can provide …

Industrial automation is a complex process involving various stakeholders. The international
standard IEC 61499 helps to specify distributed automation using a generic architectural …

Future industrial control systems face the need for being highly adaptive, productive, and
efficient, yet providing a high level of safety towards operating staff, environment, and …

With the growing adoption of Industry 4.0 concepts in production systems, new challenges
arise in engineering control software. Highly distributed control with tight real-time …

Dynamic reconfiguration is a core contributor to the flexibility and agility of future industrial
control systems. Verification and validation can provide some confidence in the success of a …

Dynamic reconfiguration is one of the key challenges in adaptive systems. As many tasks of
adaptive systems are carried out by software and flexible machines, adaptation can be …

Zusammenfassung An Steuerungsprogramme werden hohe Anforderungen hinsichtlich
Korrektheit und Robustheit gestellt. Moderne Werkzeuge können Entwickler* innen bei der …