Title :
Towards a Formal Semantic Model of IEC 61499 Function Blocks
Author :
Dubinin, V. ; Vyatkin, V.
Author_Institution :
Univ. of Penza, Penza
Abstract :
This paper proposes a formal model of IEC 61499 function blocks and systems. The model is intended to be used in description of formal semantic model of function blocks´ execution. The paper outlines a number of challenges for function blocks that are supposed to be answered by the proposed model.
Keywords :
IEC standards; control engineering computing; formal specification; IEC 61499 function blocks; formal semantic model; function block execution; Code standards; Computer languages; Dispatching; Formal verification; IEC standards; Input variables; Sampling methods; XML;
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.275709
