A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Formal Perspective on IEC 61499 Execution Control Chart Semantics
2015
2015 IEEE Trustcom/BigDataSE/ISPA
The IEC 61499 standard proposes an event driven execution model for distributed control applications for which an informal execution semantics is provided. Consequently, run-time implementations are not rigorously described and therefore their behavior relies on the interpretation made by the tool provider. In this paper, as a step towards a formal semantics, we focus on the Execution Control Chart semantics, which is fundamental to the dynamic behavior of Basic Function Block elements. In
doi:10.1109/trustcom.2015.647
dblp:conf/trustcom/LindgrenLPP15
fatcat:3zyuxngtdfdejesnvdeevsduoe