Während des Lebenszyklus von langlebigen Automatisierungssystemen müssen infolge veränderter Kunden- und Systemanforderungen regelmäss ig Systemelemente geändert oder getauscht werden. Um die Kompatibilität dieser Elemente zum bestehenden System zu analysieren, bedarf es einerseits modellbasierter Ansätze zur interdisziplinären Modellierung und Visualisierung und andererseits formaler Methoden zur Analyse der Änderungsauswirkungen automatisierungstechnischer Systeme. Die Notwendigkeit der Kombination dieser Ansätze zur Sicherung der Funktionsfähigkeit des Gesamtsystems sowie die daraus resultierenden Herausforderungen werden in diesem Beitrag aufgezeigt.     «

Während des Lebenszyklus von langlebigen Automatisierungssystemen müssen infolge veränderter Kunden- und Systemanforderungen regelmäss ig Systemelemente geändert oder getauscht werden. Um die Kompatibilität dieser Elemente zum bestehenden System zu analysieren, bedarf es einerseits modellbasierter Ansätze zur interdisziplinären Modellierung und Visualisierung und andererseits formaler Methoden zur Analyse der Änderungsauswirkungen automatisierungstechnischer Systeme. Die Notwendigkeit der Kombin...     »