• DocumentCode
    3110609
  • Title

    Towards a Formal Semantic Model of IEC 61499 Function Blocks

  • Author

    Dubinin, V. ; Vyatkin, V.

  • Author_Institution
    Univ. of Penza, Penza
  • fYear
    2006
  • fDate
    16-18 Aug. 2006
  • Firstpage
    6
  • Lastpage
    11
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Informatics, 2006 IEEE International Conference on
  • Conference_Location
    Singapore
  • Print_ISBN
    0-7803-9700-2
  • Electronic_ISBN
    0-7803-9701-0
  • Type

    conf

  • DOI
    10.1109/INDIN.2006.275709
  • Filename
    4053354
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3110609