Formal models for the verification of IEC 61499 function block based control applications

A Luder, C Schwab, M Tangermann… - 2005 IEEE Conference …, 2005 - ieeexplore.ieee.org
Industrial automation is currently on the cusp to the application of distributed systems based
on distributed intelligence enabling distributed decision making within control. As one main …

A modeling approach for verification of IEC1499 function blocks using net condition/event systems

V Vyatkin, HM Hanisch - 1999 7th IEEE International …, 1999 - ieeexplore.ieee.org
This paper presents a preliminary report on verification of discrete control applications
defined by a new international standard draft IEC 1499. As a first step to verification, the …

Formal modeling of function block applications running in IEC 61499 execution runtime

G Cengic, O Ljungkrantz… - 2006 IEEE Conference on …, 2006 - ieeexplore.ieee.org
The execution model in a new standard for distributed control systems, IEC 61499, is
analyzed. It is shown how the same standard compliant application running in two different …

An iec61499-based development approach for distributed industrial control applications

M Khalgui, K Thramboulidis - International Journal of …, 2008 - inderscienceonline.com
The IEC61499 standard proposes the function block (FB) model for the next generation of
distributed control applications. This model defines the FB type to be the basic construct in …

IEC61499 execution model semantics

K Thramboulidis, G Doukas - Innovative Algorithms and Techniques in …, 2007 - Springer
The International Electro-technical Commission (IEC) has adopted the function block (FB)
concept to define the IEC 61499 standard for the development of the next generation …

Semantics-robust design patterns for IEC 61499

VN Dubinin, V Vyatkin - IEEE Transactions on Industrial …, 2012 - ieeexplore.ieee.org
The international standard IEC 61499 for the design of distributed industrial control systems
defines an abstract model of function blocks (FB) which allows many different semantic …

Execution semantic of function blocks based on the model of net condition/event systems

V Vyatkin - 2006 4th IEEE International Conference on …, 2006 - ieeexplore.ieee.org
This paper aims at the development of an execution model of function block networks
following the IEC 61499 standard architecture for industrial measurement and control …

Automatic model generation of IEC 61499 function block using net condition/event systems

C Pang, V Vyatkin - 2008 6th IEEE International Conference on …, 2008 - ieeexplore.ieee.org
The IEC 61499 standard establishes a framework specifically designed for the
implementation of decentralized reconfigurable industrial automation systems. However, the …

Implementation model alternatives for IEC 61499 function block networks

G Doukas, K Thramboulidis - 2008 6th IEEE International …, 2008 - ieeexplore.ieee.org
The function block (FB) is proposed by IEC 61499 as the basic construct for the development
of reusable, interoperable, distributed control applications. The FB design-level construct is …

Field device specification for the development of function block oriented engineering support systems

K Thramboulidis, A Prayati - ETFA 2001. 8th International …, 2001 - ieeexplore.ieee.org
The function block (FB) concept is proposed by evolving standards to address most of the
problems encountered in the development process of distributed industrial process …