Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Synchronous-reactive Semantic Modelling and Verification for Function Block Networks
School of Mechanical and Automotive Engineering, South China University of Technology.
School of Mechanical and Automotive Engineering, South China University of Technology.
ABB Corporate Research, Västerås.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Show others and affiliations
2017 (English)In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050Article in journal (Refereed) Epub ahead of print
Abstract [en]

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 modelling 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 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 function blocks with the minimum overhead. Finally, by conducting the experiment for an industrial application, the feasibility and validity of the presented implementation scheme is proved.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2017.
National Category
Computer Science
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-64251DOI: 10.1109/TII.2017.2698606OAI: oai:DiVA.org:ltu-64251DiVA: diva2:1112178
Available from: 2017-06-20 Created: 2017-06-20 Last updated: 2017-06-20

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
In the same journal
IEEE Transactions on Industrial Informatics
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 2 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf