caa a22 4500 378843028 CHVBK 20180305123304.0 cr unu---uuuuu 161128e20030401xx s 000 0 ger 10.1524/auto.51.4.153.20909 doi (NATIONALLICENCE)gruyter-10.1524/auto.51.4.153.20909 Heverhagen Torsten Verifikation von Funktionsbausteinadaptern durch Modelchecking (Verification of Function Block Adapters through Modelchecking) [Elektronische Daten] [Torsten Heverhagen] Verification of Function Block Adapters through Modelchecking Die Unified Modeling Language (UML) gewinnt in der Automatisierungstechnik immer mehr an Bedeutung. In der Version 2.0 enthält die UML so genannte "Ports”, die unter anderem eine Integration der UML in ein stark heterogenes automatisierungstechnisches Umfeld erleichtern. Speziell zur Integration mit Sprachen für speicherprogrammierbare Steuerungen wurden Ports der UML als Schnittstelle zu Funktionsbausteinen der IEC 61131-3 eingesetzt. Die Umsetzung der unterschiedlichen Protokollarten erfolgt hierbei durch Funktionsbausteinadapter (FBAs). In diesem Artikel wird das logische, plattformunabhängige Verhalten von FBAs mit Hilfe kommunizierender endlicher Automaten beschrieben. Durch symbolisches Modelchecking wird dieses Automatenmodell anschließend auf häufige Spezifikationsfehler überprüft. © 2003 Oldenbourg Wissenschaftsverlag GmbH Engineering: general nationallicence Production engineering nationallicence Electrical engineering nationallicence at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik Oldenbourg Wissenschaftsverlag GmbH 51/4/2003(2003-04-01), 153-163 0178-2312 51:4/2003<153 2003 51 auto https://doi.org/10.1524/auto.51.4.153.20909 text/html Onlinezugriff via DOI 1 research article jats NATIONALLICENCE 856 40 https://doi.org/10.1524/auto.51.4.153.20909 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Heverhagen Torsten NATIONALLICENCE 773 0- at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik Oldenbourg Wissenschaftsverlag GmbH 51/4/2003(2003-04-01), 153-163 0178-2312 51:4/2003<153 2003 51 auto CC0 http://creativecommons.org/publicdomain/zero/1.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-gruyter