Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.25673/116044
Titel: Ansätze für die Modellierung von Streckeninformationen zur Verifikation im Steuerungsentwurf
Autor(en): Schnakenbeck, Aron
Mroß, Robin
Völker, Marcus
Kowalewski, Stefan
Fay, Alexander
Erscheinungsdatum: 2024
Art: Konferenzobjekt
Sprache: Deutsch
Herausgeber: Otto von Guericke University Library, Magdeburg, Germany
URN: urn:nbn:de:gbv:ma9:1-1981185920-1180005
Schlagwörter: GRAFCET
Vertifikation
Formale Methoden
Streckenmodellierung
Zusammenfassung: Während der Entwicklung von automatisierten Anlagen ist die Spezifikation der Steuerungslogik ein wichtiger Schritt. Um diesen Prozess mit formalen Methoden zu unterstützen, kann die Steuerungslogik zunächst mithilfe eines formalen Modells spezifiziert werden, was eine formale Verifikation ermöglicht. In einem Vorgängerbeitrag der Autoren wurde eine solche Verifikation vorgestellt, die es ermöglicht, GRAFCET-Spezifikationen zu analysieren. In diesem Beitrag wird dieses Konzept um die Modellierung von Streckeninformationen erweitert. Die Modellierung von Streckeninformationen ermöglicht eine genauere Verifikation und in Teilen eine Reduktion des Zustandsraums. Anhand eines durchgängigen Beispiels werden zwei Ansätze für die Modellierung von Streckeninformationen vorgestellt und verglichen: die Modellierung mittels Invarianten und die Modellierung mittels GRAFCET. Bei der Modellierung mittels GRAFCET wird gezeigt, wie neben dem Verhalten der Steuerstrecke auch zusätzliche Eigenschaften des kombinierten Verhaltens modelliert werden können, wie beispielsweise die korrekte Abarbeitung des SPS-Zyklus. Um diese zusätzlichen Eigenschaften anwenderfreundlich modellieren zu können, wird eine Erweiterung von GRAFCET vorgestellt und gezeigt, wie dieses Konzept zur Modellierung von Streckeninformationen in die bereits vorgestellte Werkzeugkette zur Verifikation von GRAFCET-Spezifikationen integriert werden kann.
URI: https://opendata.uni-halle.de//handle/1981185920/118000
http://dx.doi.org/10.25673/116044
Open-Access: Open-Access-Publikation
Nutzungslizenz: (CC BY-SA 4.0) Creative Commons Namensnennung - Weitergabe unter gleichen Bedingungen 4.0 International(CC BY-SA 4.0) Creative Commons Namensnennung - Weitergabe unter gleichen Bedingungen 4.0 International
Enthalten in den Sammlungen:Fakultät für Elektrotechnik und Informationstechnik (OA)

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
06_EKA2024_V2_2_Schnakenbeck_Beitrag-113_Ansätze für die Modellierung von Streckeninformationen_Manuskript_DOI-44.pdfAufsatz280.84 kBAdobe PDFMiniaturbild
Öffnen/Anzeigen