In:
at - Automatisierungstechnik, Walter de Gruyter GmbH, Vol. 68, No. 1 ( 2020-01-28), p. 3-14
Abstract:
Durch zunehmende Agilität im Entwicklungsprozess, kürzere Lebenszyklen und sich ändernde Kunden- und Gesetzgeberanforderungen müssen Produktionssysteme wandlungsfähig sein. Aber jede Veränderung des Systemverhaltens muss anschließend auch erneut abgesichert werden. Zur Absicherung sicherheitskritischer Funktionen eignen sich formale Verifikationsmethoden. Allerdings ist hierzu ein hoher Modellierungsaufwand notwendig, was den Einsatz formaler Verifikationsmethoden in der Praxis hemmt. Zudem empfiehlt sich eine Überprüfung der zur formalen Verifikation eingesetzten Modelle. Zur Bewältigung der Herausforderungen für die Absicherung, die eine Rekonfiguration während des Betriebs nach sich zieht, werden in diesem Beitrag zwei vielversprechende und sich gegenseitig ergänzende Ansätze für die lebenszyklusübergreifende Absicherung von Produktionssystemen vorgestellt.
Type of Medium:
Online Resource
ISSN:
2196-677X
,
0178-2312
DOI:
10.1515/auto-2019-0115
Language:
English
Publisher:
Walter de Gruyter GmbH
Publication Date:
2020
detail.hit.zdb_id:
629186-7
detail.hit.zdb_id:
2027287-X
SSG:
15,3
Permalink