Verifikation von Funktionsbausteinadaptern durch Modelchecking (Verification of Function Block Adapters through Modelchecking)
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 378843028 | ||
| 003 | CHVBK | ||
| 005 | 20180305123304.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 161128e20030401xx s 000 0 ger | ||
| 024 | 7 | 0 | |a 10.1524/auto.51.4.153.20909 |2 doi |
| 035 | |a (NATIONALLICENCE)gruyter-10.1524/auto.51.4.153.20909 | ||
| 100 | 1 | |a Heverhagen |D Torsten | |
| 245 | 1 | 0 | |a Verifikation von Funktionsbausteinadaptern durch Modelchecking (Verification of Function Block Adapters through Modelchecking) |h [Elektronische Daten] |c [Torsten Heverhagen] |
| 246 | 0 | |a Verification of Function Block Adapters through Modelchecking | |
| 520 | 3 | |a 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. | |
| 540 | |a © 2003 Oldenbourg Wissenschaftsverlag GmbH | ||
| 690 | 7 | |a Engineering: general |2 nationallicence | |
| 690 | 7 | |a Production engineering |2 nationallicence | |
| 690 | 7 | |a Electrical engineering |2 nationallicence | |
| 773 | 0 | |t at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik |d Oldenbourg Wissenschaftsverlag GmbH |g 51/4/2003(2003-04-01), 153-163 |x 0178-2312 |q 51:4/2003<153 |1 2003 |2 51 |o auto | |
| 856 | 4 | 0 | |u https://doi.org/10.1524/auto.51.4.153.20909 |q text/html |z Onlinezugriff via DOI |
| 908 | |D 1 |a research article |2 jats | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1524/auto.51.4.153.20909 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 100 |E 1- |a Heverhagen |D Torsten | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik |d Oldenbourg Wissenschaftsverlag GmbH |g 51/4/2003(2003-04-01), 153-163 |x 0178-2312 |q 51:4/2003<153 |1 2003 |2 51 |o auto | ||
| 900 | 7 | |b CC0 |u http://creativecommons.org/publicdomain/zero/1.0 |2 nationallicence | |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-gruyter | ||