ECMFA 2026
Tue 30 June - Wed 1 July 2026
co-located with STAF 2026
Tue 30 Jun 2026 16:05 - 16:30 at Auditorium - Domain-Specific Modeling Languages Chair(s): Houari Sahraoui

Control software of cyber-physical production systems can be modeled using the domain-specific language defined in the IEC 61499 standard, which focuses on distributed control systems. The event-based execution model of this language well reflects the behavior of such systems and the block-based diagrams allow for component orientation. However, especially when applying the standard to larger-scale automation systems, engineers require sophisticated methods and tool support. Current testing methods rely on executing control software after deploying it to dedicated devices or run-time environments. As this requires complete software models including the used communication infrastructure, in this paper, we aim to allow for early feedback during the development of control software by interpreting the hardware-independent Application model. Our interpreter-based execution framework for IEC 61499 Function Block (FB) networks directly executes the software model, allows for recording execution traces, and visualizes these traces, e.g., for testing purposes. We have evaluated our approach using the execution semantics of 4diac FORTE with a compliance test suite. Although the interpreter does not mimic the real-time behavior of the cyber-physical production system, developers receive feedback on the event-based execution logic. According to our scalability test, interpreting a for loop with 4000 executed FB instances takes between 14.1 s and 107.1 s, depending on the complexity of the FB implementation. We also used our interpreter and its accompanying tools for analyzing an existing IEC 61499 Application. These results show that Application models can be efficiently interpreted for providing early validation feedback to engineers before moving to system tests.

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

15:40 - 17:20
Domain-Specific Modeling LanguagesECMFA 2026 at Auditorium
Chair(s): Houari Sahraoui DIRO, Université de Montréal
15:40
25m
Talk
A Model-Driven Approach To Support The Understanding Of Machine Learning Pipelines
ECMFA 2026
Nicolas Lacroix Université Côte d'Azur, I3S, Mireille Blay-Fornarino Université Nice Sophia Antipolis, I3S, Philippe Collet University of Nice, Frederic Precioso Laboratoire I3S UMR UNS-CNRS 7271, Sébastien Mosser McMaster University
16:05
25m
Talk
An Interpreter-Based Execution Framework for IEC 61499 Function Block Networks
ECMFA 2026
Bianca Wiesmayr Ulm University, Antonio Garmendia Universidad Autónoma de Madrid, Alois Zoitl LIT CPS Lab, Johannes Kepler University Linz, Manuel Wimmer JKU Linz
16:30
25m
Talk
Sock: A Clock-Based Modeling Language to Specify Secure Periodic Real-Time Tasks
ECMFA 2026
Stéphanie Challita University of Rennes / IRISA, Benoit Combemale Inria, Univ Rennes, CNRS, IRISA
16:55
25m
Talk
Weaving executable models and code for software development
ECMFA 2026
Hugo Richard Lab-STICC / UBO, Eric Cariou Lab-STICC UMR6285, Université de Brest, Jean-Philippe Babau Lab-STICC / UBO