Abstract
This paper proposes a novel extension for communication in the lEC 61499 standard. Inspired by the features found in the formal programming language SystemJ, the extension supports reliable and guaranteed communication in distributed execution of function block application(s)/program(s). The extension utilizes mechanisms agnostic on underlying network protocols and are based on formal semantics that guarantee data delivery. The use of proposed extension, called channel, is demonstrated in an industrial automation-type example.
Original language | English |
---|---|
Title of host publication | Proceedings or the 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation, ETFA 2018 |
Publisher | IEEE |
Pages | 147-154 |
Number of pages | 8 |
Volume | 2018-September |
ISBN (Electronic) | 9781538671085 |
DOIs | |
Publication status | Published - 22 Oct 2018 |
MoE publication type | A4 Article in a conference publication |
Event | IEEE International Conference on Emerging Technologies and Factory Automation - Torino, Italy Duration: 4 Sep 2018 → 7 Sep 2018 Conference number: 23 |
Publication series
Name | Proceedings IEEE International Conference on Emerging Technologies and Factory Automation |
---|---|
Publisher | IEEE |
ISSN (Print) | 1946-0740 |
ISSN (Electronic) | 2379-9560 |
Conference
Conference | IEEE International Conference on Emerging Technologies and Factory Automation |
---|---|
Abbreviated title | ETFA |
Country/Territory | Italy |
City | Torino |
Period | 04/09/2018 → 07/09/2018 |
Keywords
- blocking
- channel
- distributed control
- formal semantics
- IEe 61499
- reliable communication