Options
2009
Conference Paper
Title
Modellbasierter Entwurf von Steuerungen in der Automatisierungstechnik
Abstract
Im Beitrag wird ein Entwurfssystem zum modellbasierten Entwurf von Steuerungen in der Automatisierungstechnik vorgestellt. Ausgehend von der Spezifikation des Automatisierungssystems wird für die Steuerung verifizierter Programm-Code für programmierbare Steuerungen nach IEC61131 in den Schritten Modellbildung, Code-Generierung und Verifikation abgeleitet.
File(s)
Rights
Use according to copyright law
Language
German