Options
2009
Conference Paper
Titel
Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik
Abstract
Im Beitrag wird ein Ansatz vorgestellt, der bekannte und etablierte Verfahren für die Modellierung und Verifikation digitaler und mixed-signal Schaltkreise für die Verifikation von Steuerungen in der Automatisierungstechnik adaptiert. Der Ansatz basiert auf einer ganzheitlichen Modellierung der Steuerung und der maschinenbautechnischen Anlage in einer Modelica Modellierungs- und Simulationsumgebung. Als Verifikationsmethoden finden Design Rule Checking, Assertion Based Verification und Model Checking Anwendung. Das prinzipielle Vorgehen wird am Fallbeispiel einer Verpackungsmaschine demonstriert.
Author(s)