Title :
Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems
Author :
Vyatkin, Valeriy
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Auckland, Auckland
Abstract :
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 systems. Implementation of the standard requires an execution environment that is deterministic, provides real-time reactivity, and is compact to fit embedded platforms. In particular, this paper discusses the problem of function block scheduling that would be the core of such execution environment. The function blocks are modeling by net condition/event systems (NCES). It is shown that the NCES implementation provides a natural scheduling policy for function blocks that preserves concurrency and enables evaluation of the reactivity by model- checking.
Keywords :
IEC standards; control engineering computing; industrial control; measurement systems; production engineering computing; scheduling; IEC 61499 standard architecture; execution semantic; function block networks; function block scheduling; industrial measurement; model-checking; net condition/event systems; real-time reactivity; Concurrent computing; Control system synthesis; Electrical equipment industry; IEC standards; Industrial control; Job shop scheduling; Measurement standards; Standards development; IEC 61499; function blocks; industrial informatics; net condition/event systems; reactive embedded control systems; scheduling;
Conference_Titel :
Industrial Informatics, 2006 IEEE International Conference on
Conference_Location :
Singapore
Print_ISBN :
0-7803-9700-2
Electronic_ISBN :
0-7803-9701-0
DOI :
10.1109/INDIN.2006.275692