Wiesmayr, Bianca and Mehlhop, Sven and Zoitl, Alois (2023) Close enough? Criteria for sufficient simulations of IEC 61499 models. In: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE). IEEE, [Piscataway, NJ], pp. 1-7. ISBN 979-8-3503-2069-5

[img] - Published Version
Restricted to Registered users only

Volltext (633Kb) | Request a copy
Official URL: http://dx.doi.org/10.1109/CASE56687.2023.10260555


The IEC 61499 standard defines a model for dis- tributed control systems based on function blocks (FBs) and event-driven execution. Although interoperability and portability between tools are core goals of the standard, the behavior of an executable model varies significantly between run-time environments (RTEs). This presents challenges for comparing execution traces, e.g., when validating that a simulation of an IEC 61499 model conforms to a specific RTE. In this paper, we propose a methodology for analyzing the behavior of custom IEC 61499 RTEs based on example models that cover specific language features or known semantic variants. These examples are derived from an analysis of the standard and relevant literature on IEC 61499 semantics. We founded a publicly available repository of collected examples that can be used to analyze the RTE behavior in a structured way. Our approach provides a starting point for a future comprehensive set of example models. In this paper, we focus on FB network execution and demonstrate the effectiveness of our approach by comparing the behavior of 4diac FORTE and a model simulator. Our methodology offers a systematic and practical way for identifying implemented semantic variants of IEC 61499.

Item Type: Book Section
Uncontrolled Keywords: IEC 61499, model based design
Subjects: Generalities, computers, information > Computer science, internet
Divisions: School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited: 22 Mar 2024 12:13
Last Modified: 22 Mar 2024 12:13
URI: https://oops.uni-oldenburg.de/id/eprint/6271
URN: urn:nbn:de:gbv:715-oops-63520
DOI: 10.1109/CASE56687.2023.10260555

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...