You are here: Home :: Area NEM :: Engineering :: Automation

Torsten Heverhagen

Verification of Function Block Adapters through Modelchecking

The Unified Modeling Language (UML) is more and more important to the field of automation and control. Within version 2.0 the UML contains so called “Ports”. Among other things, Ports ease the integration of the UML into heterogeneous environments, which are typical for automation and control. Especially for the integration with languages for programmable controllers Ports are used as interfaces to function blocks of the IEC 61131-3. The transformation of different protocol types is handled by function block adapters. The logical, platform-independent behavior of a function block adapter is described by a system of communicating finite automata. These automata are investigated by symbolic model checking for some typical specification errors.

at – Automatisierungstechnik, Oldenbourg Wissenschaftsverlag

Print ISSN: 0178-2312
Volume: 51, 04/2003
Pages: 153

Journal homepage (external site)

Show all available items of this journal

 

Area NEM