Change search
ReferencesLink to record
Permanent link

Direct link
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
University of Auckland, Penza State University, Department of Computer Science, University of Penza.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
2015 (English)In: Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / [ed] Andrei Voronkov ; Irina Virbitskaite, Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2015, 76-91 p.Conference paper (Refereed)
Abstract [en]

The Function Blocks Architecture of the IEC 61499 standard is an executable component model for distributed embedded control systems combining block-diagrams and state machines. The standard aims at the portability of control applications that is however hampered by ambiguities in its execution semantics descriptions. In recent years several execution models have been implemented in different software tools that generate mutually incompatible code.This paper proposes a general approach to neutralizing these semantic ambiguities by formal description of the IEC 61499 in abstract state machines (ASM). The model embodies all known execution semantics of function blocks. The ASM model is further translated to the input format of the SMV model-checker which is used to verify formally properties of applications. In this way the proposed verification framework enables the portability checking of component-based control applications across different implementation platforms compliant with the IEC 61499 standard.The paper first discusses different existing execution semantics of function blocks and the portability issues across different IEC 61499 tools. Then a modular formal model of function blocks’ operational semantics in ASM is introduced and exemplified in the paper by the cyclic execution semantics case for a composite function block. Subsequently, the SMV model is generated and model-checking is illustrated for a simple test case.

Place, publisher, year, edition, pages
Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2015. 76-91 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8974
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-35294Local ID: 9c483ff1-8450-4f13-8ae8-2b51e48e34dbISBN: 978-3-662-46822-7ISBN: 978-3-662-46823-4 (PDF)OAI: oai:DiVA.org:ltu-35294DiVA: diva2:1008546
Conference
International Ershov Informatics Conference : 22/06/2014 - 27/06/2014
Note
Validerad; 2015; Nivå 1; 20150504 (andbra)Available from: 2016-09-30 Created: 2016-09-30Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Patil, SandeepPang, ChengVyatkin, Valeriy
By organisation
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 5 hits
ReferencesLink to record
Permanent link

Direct link