English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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.

Verifikation von Funktionsbausteinadaptern durch Modelchecking (Verification of Function Block Adapters through Modelchecking)