Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks

Di Li; Zhenkun Zhai; Zhibo Pang; Valeriy Vyatkin; Chengliang Liu

doi:10.1109/TII.2017.2698606

Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks

Di Li
, Zhenkun Zhai^*
, Zhibo Pang
, Valeriy Vyatkin
, Chengliang Liu

^*Corresponding author for this work

Research output: Contribution to journal › Article › Scientific › peer-review

1 Citation (Scopus)

Abstract

Owing to the semantic ambiguities, it has hindered the promotion of IEC 61499 in the field of industrial automation. In order to solve the thorny problem, this paper proposes an implementation scheme for performing formal modeling and simulation verification of semantics of functional block networks. Based on the synchrony hypothesis, the formal execution model is defined according to the fixed point semantics assuming that the behavior of a component functional block is monotonic. Subsequently, through specifying the evaluation of function blocks (FBs) as a process of solving the least- fixed point problem and transforming the network topology into a directed graph, a connectivity attenuation- based algorithm is put forward to ascertain the optimal scheduling policy of FBs with the minimum overhead. Finally, by conducting the experiment for an industrial application, the feasibility and validity of the presented implementation scheme is proved.

Original language	English
Pages (from-to)	3389-3398
Number of pages	10
Journal	IEEE Transactions on Industrial Informatics
Volume	13
Issue number	6
DOIs	https://doi.org/10.1109/TII.2017.2698606
Publication status	Published - Dec 2017
MoE publication type	A1 Journal article-refereed

Funding

This work was supported in part by the National Key Technology Support Program of China (2015BAF20B01), in part by the National Key Technology R&D Program of China (2014BAD08B01), in part by the National Natural Science Foundation of China (51575194, 61262013), in part by the Natural Science Foundation of Guangdong Province, China (2015A030308002), and in part by the Program of Shanghai Subject Chief Scientist(14XD1402000).

Keywords

IEC 61499
modeling
scheduling
semantics
synchronous language
DISTRIBUTED AUTOMATION
EXECUTION

Access to Document

10.1109/TII.2017.2698606

Cite this

@article{1e09d5b441f54ddc8ebbb713f5d5f419,

title = "Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks",

abstract = "Owing to the semantic ambiguities, it has hindered the promotion of IEC 61499 in the field of industrial automation. In order to solve the thorny problem, this paper proposes an implementation scheme for performing formal modeling and simulation verification of semantics of functional block networks. Based on the synchrony hypothesis, the formal execution model is defined according to the fixed point semantics assuming that the behavior of a component functional block is monotonic. Subsequently, through specifying the evaluation of function blocks (FBs) as a process of solving the least- fixed point problem and transforming the network topology into a directed graph, a connectivity attenuation- based algorithm is put forward to ascertain the optimal scheduling policy of FBs with the minimum overhead. Finally, by conducting the experiment for an industrial application, the feasibility and validity of the presented implementation scheme is proved.",

keywords = "IEC 61499, modeling, scheduling, semantics, synchronous language, DISTRIBUTED AUTOMATION, EXECUTION",

author = "Di Li and Zhenkun Zhai and Zhibo Pang and Valeriy Vyatkin and Chengliang Liu",

year = "2017",

month = dec,

doi = "10.1109/TII.2017.2698606",

language = "English",

volume = "13",

pages = "3389--3398",

journal = "IEEE Transactions on Industrial Informatics",

issn = "1551-3203",

publisher = "IEEE",

number = "6",

}

TY - JOUR

T1 - Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks

AU - Li, Di

AU - Zhai, Zhenkun

AU - Pang, Zhibo

AU - Vyatkin, Valeriy

AU - Liu, Chengliang

PY - 2017/12

Y1 - 2017/12

N2 - Owing to the semantic ambiguities, it has hindered the promotion of IEC 61499 in the field of industrial automation. In order to solve the thorny problem, this paper proposes an implementation scheme for performing formal modeling and simulation verification of semantics of functional block networks. Based on the synchrony hypothesis, the formal execution model is defined according to the fixed point semantics assuming that the behavior of a component functional block is monotonic. Subsequently, through specifying the evaluation of function blocks (FBs) as a process of solving the least- fixed point problem and transforming the network topology into a directed graph, a connectivity attenuation- based algorithm is put forward to ascertain the optimal scheduling policy of FBs with the minimum overhead. Finally, by conducting the experiment for an industrial application, the feasibility and validity of the presented implementation scheme is proved.

AB - Owing to the semantic ambiguities, it has hindered the promotion of IEC 61499 in the field of industrial automation. In order to solve the thorny problem, this paper proposes an implementation scheme for performing formal modeling and simulation verification of semantics of functional block networks. Based on the synchrony hypothesis, the formal execution model is defined according to the fixed point semantics assuming that the behavior of a component functional block is monotonic. Subsequently, through specifying the evaluation of function blocks (FBs) as a process of solving the least- fixed point problem and transforming the network topology into a directed graph, a connectivity attenuation- based algorithm is put forward to ascertain the optimal scheduling policy of FBs with the minimum overhead. Finally, by conducting the experiment for an industrial application, the feasibility and validity of the presented implementation scheme is proved.

KW - IEC 61499

KW - modeling

KW - scheduling

KW - semantics

KW - synchronous language

KW - DISTRIBUTED AUTOMATION

KW - EXECUTION

U2 - 10.1109/TII.2017.2698606

DO - 10.1109/TII.2017.2698606

M3 - Article

SN - 1551-3203

VL - 13

SP - 3389

EP - 3398

JO - IEEE Transactions on Industrial Informatics

JF - IEEE Transactions on Industrial Informatics

IS - 6

ER -

Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks

Abstract

Funding

Keywords

Access to Document

Fingerprint

Cite this