Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
A Real-Time Semantics for the IEC 61499 standard
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.ORCID iD: 0000-0002-1791-535X
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.ORCID iD: 0000-0002-9315-9920
Show others and affiliations
2015 (English)In: Proceedings of 2015 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2015): Luxembourg, 8-11 Sept. 2015, Piscataway, NJ: IEEE Communications Society, 2015, 7301558Conference paper, Published paper (Refereed)
Abstract [en]

The IEC 61499 standard provides an executable model for distributed control systems in terms of interacting function blocks. However, the current IEC 61499 standard lacks appropriate timing semantics for the specification of timing requirements, reasoning on timing properties at the model level, and for the timing verification of a specific deployment. In this paper we address this fundamental shortcoming by proposing Real-Time-4-FUN, a real-time semantics for IEC 61499. The key property is the preservation of non-determinism, allowing us to reason on (and verify) timing properties at the model level without assuming any specific scheduling policy or stipulating specific order of execution for the deployment. This provides for a clear separation of concerns, where the designer can focus on properties of the application prior to, and separately from, deployment verification. The proposed timing semantics is backwards compatible to the current standard, thus allow for reuse of existing designs. The transitional property allows timing requirements to propagate to downstream sub-systems, and can be utilized for scheduling both at device and network level. Based on a translation to RTFM-tasks and resources, IEC 61499 the models can be analyzed, compiled and executed. As a proof of concept the timing semantics has been experimentally implemented in the RTFM-core language and the accompanying (thread based) RTFM-RT run-time system.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2015. 7301558
Series
I E E E International Conference on Emerging Technologies and Factory Automation. Proceedings, ISSN 1946-0740
National Category
Embedded Systems Computer Science
Research subject
Embedded System; Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-36915DOI: 10.1109/ETFA.2015.7301558Local ID: abd06064-cd7b-4d30-8ca2-a6eed13cec5bISBN: 978-1-4673-7929-8 (electronic)OAI: oai:DiVA.org:ltu-36915DiVA: diva2:1010414
Conference
IEEE International Conference on Emerging Technologies and Factory Automation : 08/09/2015 - 11/09/2015
Note
Validerad; 2016; Nivå 1; 20150917 (maalin)Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2017-10-19Bibliographically approved

Open Access in DiVA

fulltext(371 kB)48 downloads
File information
File name FULLTEXT01.pdfFile size 371 kBChecksum SHA-512
f1c431bc757527bb02e7d5b5e0d3f449b8a0c127d76fa6709698cac754d00546903e7a13cf5d0d2a6809a186630a868691295098dc12bf99600d81ac29027b92
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Lindgren, PerLindner, MarcusLindner, AndreasVyatkin, Valeriy
By organisation
Embedded Internet Systems LabComputer Science
Embedded SystemsComputer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 48 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 109 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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