Real-time execution of function blocks for Internet of Things using the RTFM-kernel

Lindgren, Per; Lindner, Marcus; Lindner, Andreas; Eriksson, Johan; Vyatkin, Valeriy

doi:10.1109/etfa.2014.7005232

Cited by 6 publications

(6 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…From the component point of view, one could argue that event properties should therefore be stated as part of the FBs. This was also the outset for the Real-Time Execution of IEC 61499 [4], as well as our previous work [18]. However, this approach is somewhat limiting, as output events may be split.…”

Section: Point Of Associationmentioning

confidence: 88%

“…In previous work, a mapping from device/resource level IEC 61499 models to the RTFM MoC (as provided by the RTFM-kernel API) has been proposed [18]. For this presentation, we adopt a similar approach, while mapping to the RTFM-core language instead of the RTFM-kernel scheduling primitives.…”

Section: Iec 61499 Mapping To the Rtfm Model Of Computationmentioning

confidence: 99%

“…This has the advantage that model level analysis and optimizations (performed by the RTFM-core compiler) can be put to use. (For detailed descriptions of the original work, we refer the reader to [18]. )…”

Section: Iec 61499 Mapping To the Rtfm Model Of Computationmentioning

confidence: 99%

“…Our approach builds on, and extends, the mapping of the IEC 61499 models to the RTFM MoC [18] (briefly reviewed in Section II-C). Event source: An event source, injects events from the environment into the FB design.…”

Section: Timing Semantics For Iec 61499mentioning

confidence: 99%

See 3 more Smart Citations

A real-time semantics for the IEC 61499 standard

Lindgren

Lindner

et al. 2015

2015 IEEE 20th Conference on Emerging Technologies &Amp; Factory Automation (ETFA)

Self Cite

View full text Add to dashboard Cite

Abstract-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.

show abstract

Section: Point Of Associationmentioning

confidence: 88%

Section: Iec 61499 Mapping To the Rtfm Model Of Computationmentioning

confidence: 99%

Section: Iec 61499 Mapping To the Rtfm Model Of Computationmentioning

confidence: 99%

Section: Timing Semantics For Iec 61499mentioning

confidence: 99%

See 2 more Smart Citations

A real-time semantics for the IEC 61499 standard

Lindgren

Lindner

et al. 2015

2015 IEEE 20th Conference on Emerging Technologies &Amp; Factory Automation (ETFA)

Self Cite

View full text Add to dashboard Cite

show abstract

“…In previous work, a mapping from device/resource level IEC 61499 models have been proposed [9]. At the edges of the IEC 61499 resources, Service Interface Blocks (SIFBs) are required for inter resource communication.…”

Section: B Iec 61499 To Rtfm-core Task and Resource Modelmentioning

confidence: 99%

Response time for IEC 61499 over Ethernet

Lindgren

Eriksson

Lindner

et al. 2015

2015 IEEE 13th International Conference on Industrial Informatics (INDIN)

Self Cite

View full text Add to dashboard Cite

Abstract-The IEC 61499 standard provides means to specify distributed control systems in terms of function blocks. The execution model is event driven (asynchronous), where triggering events may be associated with data (and seen as a message). In this paper we propose a low complexity implementation technique allowing to assess end-to-end response time of event chains spanning over a set of networked devices. In this paper we develop a method to provide safe end-to-end response time taking both intra-and inter-device delivery delays into account. As a use case we study the implementation onto (single-core) ARMcortex based devices communicating over a switched Ethernet network. For the analysis we define a generic switch model and an experimental setup allowing us to study the impact of network topology as well as 802.1Q quality of service in a mixed critical setting. Our results indicate that safe sub millisecond end-to-end response times can be obtained using the proposed approach.

show abstract