A Formal Model Transformation from Data Flow Models to IEC 61499 Models

Malte Grave; Markus Meingast; Verena Klös; Alois Zoitl; Lisa Sonnleithner; Jörg Walter

doi:10.1109/ETFA65518.2025.11205747

A Formal Model Transformation from Data Flow Models to IEC 61499 Models

Malte Grave^*
, Markus Meingast^*
, Verena Klös^*
, Alois Zoitl^*
, Lisa Sonnleithner^*
, Jörg Walter^*

^*Korrespondierende/r Autor/-in für diese Arbeit

LIT Cyber-Physical Systems Lab

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Abstract

Signal processing plays a vital role in various areas of engineering, particularly in industrial automation. Signal processing applications are based on a data flow paradigm, which uses directed graphs to describe the flow of data between operations. Although industrial control applications are based on standards such as IEC 61499, their syntax, and semantics differ from the data flow paradigm, creating a challenge in integrating signal processing applications into industrial automation systems. Modeling signal processing applications using IEC 61499 is not yet a common practice. This paper addresses this gap by proposing an approach to transform data flow models into IEC 61499 models. This approach enables the design and transformation of signal processing applications using data flow models, without requiring manual modeling or knowledge of the IEC 61499 standard. The model transformation is formally defined and subsequently implemented as a separate tool. A running example illustrates the transformation process, demonstrating that the model is both syntactically correct and executable.

Originalsprache	Englisch
Titel	2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)
Herausgeber*innen	Luis Almeida, Marina Indria, Mario de Sousa, Antonio Visioli, Mohammad Ashjaei, Pedro Santos
Verlag	IEEE
Seiten	1-8
Seitenumfang	8
Auflage	1
ISBN (elektronisch)	9798331553838
ISBN (Print)	979-8-3315-5384-5
DOIs	https://doi.org/10.1109/ETFA65518.2025.11205747
Publikationsstatus	Veröffentlicht - 21 Okt. 2025
Veranstaltung	2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA) - Porto, Portugal Dauer: 09 Sep. 2025 → 12 Sep. 2025

Publikationsreihe

Name	IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
ISSN (Print)	1946-0740
ISSN (elektronisch)	1946-0759

Konferenz

Konferenz	2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)
Zeitraum	09.09.2025 → 12.09.2025

Wissenschaftszweige

102 Informatik
202003 Automatisierungstechnik
102022 Softwareentwicklung
202017 Embedded Systems
202041 Technische Informatik
102029 Praktische Informatik
102025 Verteilte Systeme

JKU-Schwerpunkte

Digital Transformation

Zugriff auf Dokument

10.1109/ETFA65518.2025.11205747

https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11205747

Andere Dateien und Links

Christian Doppler Laboratory for Mastering Variability in Software-intensive Cyber-physical Production Systems (CDL VaSiCS)
Bauer, P. (Forscher*in), Fadhlillah, H. (Forscher*in), Gutierrez, A. (Forscher*in), Kutsia, E. (Forscher*in), Sharma, S. (Forscher*in), Sonnleithner, L. (Forscher*in), Unterdechler, M. (Forscher*in), Rabiser, R. (Projektleiter*in) & Zoitl, A. (Projektleiter*in)
01.02.2021 → 31.01.2028
Projekt: Geförderte Forschung › CDG - Christian Doppler Forschungsgesellschaft

Dieses zitieren

Grave, M., Meingast, M., Klös, V., Zoitl, A., Sonnleithner, L., & Walter, J. (2025). A Formal Model Transformation from Data Flow Models to IEC 61499 Models. in L. Almeida, M. Indria, M. de Sousa, A. Visioli, M. Ashjaei, & P. Santos (Hrsg.), 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA) (1 Aufl., S. 1-8). Artikel 11205747 (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA). IEEE. https://doi.org/10.1109/ETFA65518.2025.11205747

Grave, Malte ; Meingast, Markus ; Klös, Verena et al. / A Formal Model Transformation from Data Flow Models to IEC 61499 Models. 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). Hrsg. / Luis Almeida ; Marina Indria ; Mario de Sousa ; Antonio Visioli ; Mohammad Ashjaei ; Pedro Santos. 1. Aufl. IEEE, 2025. S. 1-8 (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).

@inproceedings{1f148aee77744b849676a2ff6d276d52,

title = "A Formal Model Transformation from Data Flow Models to IEC 61499 Models",

abstract = "Signal processing plays a vital role in various areas of engineering, particularly in industrial automation. Signal processing applications are based on a data flow paradigm, which uses directed graphs to describe the flow of data between operations. Although industrial control applications are based on standards such as IEC 61499, their syntax, and semantics differ from the data flow paradigm, creating a challenge in integrating signal processing applications into industrial automation systems. Modeling signal processing applications using IEC 61499 is not yet a common practice. This paper addresses this gap by proposing an approach to transform data flow models into IEC 61499 models. This approach enables the design and transformation of signal processing applications using data flow models, without requiring manual modeling or knowledge of the IEC 61499 standard. The model transformation is formally defined and subsequently implemented as a separate tool. A running example illustrates the transformation process, demonstrating that the model is both syntactically correct and executable.",

keywords = "Runtime, Semantics, Signal processing algorithms, Transforms, Signal processing, Filtering algorithms, Syntactics, Data models, IEC Standards, Standards",

author = "Malte Grave and Markus Meingast and Verena Kl{\"o}s and Alois Zoitl and Lisa Sonnleithner and J{\"o}rg Walter",

year = "2025",

month = oct,

day = "21",

doi = "10.1109/ETFA65518.2025.11205747",

language = "English",

isbn = "979-8-3315-5384-5",

series = "IEEE International Conference on Emerging Technologies and Factory Automation, ETFA",

publisher = "IEEE",

pages = "1--8",

editor = "Luis Almeida and Marina Indria and \{de Sousa\}, Mario and Antonio Visioli and Mohammad Ashjaei and Pedro Santos",

booktitle = "2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)",

edition = "1",

note = "2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA) ; Conference date: 09-09-2025 Through 12-09-2025",

}

Grave, M , Meingast, M, Klös, V, Zoitl, A , Sonnleithner, L & Walter, J 2025, A Formal Model Transformation from Data Flow Models to IEC 61499 Models. in L Almeida, M Indria, M de Sousa, A Visioli, M Ashjaei & P Santos (Hrsg.), 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). 1 Aufl., 11205747, IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, IEEE, S. 1-8, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA), 09.09.2025. https://doi.org/10.1109/ETFA65518.2025.11205747

A Formal Model Transformation from Data Flow Models to IEC 61499 Models. / Grave, Malte ; Meingast, Markus; Klös, Verena et al.
2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). Hrsg. / Luis Almeida; Marina Indria; Mario de Sousa; Antonio Visioli; Mohammad Ashjaei; Pedro Santos. 1. Aufl. IEEE, 2025. S. 1-8 11205747 (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - A Formal Model Transformation from Data Flow Models to IEC 61499 Models

AU - Grave, Malte

AU - Meingast, Markus

AU - Klös, Verena

AU - Zoitl, Alois

AU - Sonnleithner, Lisa

AU - Walter, Jörg

PY - 2025/10/21

Y1 - 2025/10/21

N2 - Signal processing plays a vital role in various areas of engineering, particularly in industrial automation. Signal processing applications are based on a data flow paradigm, which uses directed graphs to describe the flow of data between operations. Although industrial control applications are based on standards such as IEC 61499, their syntax, and semantics differ from the data flow paradigm, creating a challenge in integrating signal processing applications into industrial automation systems. Modeling signal processing applications using IEC 61499 is not yet a common practice. This paper addresses this gap by proposing an approach to transform data flow models into IEC 61499 models. This approach enables the design and transformation of signal processing applications using data flow models, without requiring manual modeling or knowledge of the IEC 61499 standard. The model transformation is formally defined and subsequently implemented as a separate tool. A running example illustrates the transformation process, demonstrating that the model is both syntactically correct and executable.

AB - Signal processing plays a vital role in various areas of engineering, particularly in industrial automation. Signal processing applications are based on a data flow paradigm, which uses directed graphs to describe the flow of data between operations. Although industrial control applications are based on standards such as IEC 61499, their syntax, and semantics differ from the data flow paradigm, creating a challenge in integrating signal processing applications into industrial automation systems. Modeling signal processing applications using IEC 61499 is not yet a common practice. This paper addresses this gap by proposing an approach to transform data flow models into IEC 61499 models. This approach enables the design and transformation of signal processing applications using data flow models, without requiring manual modeling or knowledge of the IEC 61499 standard. The model transformation is formally defined and subsequently implemented as a separate tool. A running example illustrates the transformation process, demonstrating that the model is both syntactically correct and executable.

KW - Runtime

KW - Semantics

KW - Signal processing algorithms

KW - Transforms

KW - Signal processing

KW - Filtering algorithms

KW - Syntactics

KW - Data models

KW - IEC Standards

KW - Standards

UR - https://ieeexplore.ieee.org/document/11205747/

UR - https://www.scopus.com/pages/publications/105021815180

U2 - 10.1109/ETFA65518.2025.11205747

DO - 10.1109/ETFA65518.2025.11205747

M3 - Conference proceedings

SN - 979-8-3315-5384-5

T3 - IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

SP - 1

EP - 8

BT - 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)

A2 - Almeida, Luis

A2 - Indria, Marina

A2 - de Sousa, Mario

A2 - Visioli, Antonio

A2 - Ashjaei, Mohammad

A2 - Santos, Pedro

PB - IEEE

T2 - 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)

Y2 - 9 September 2025 through 12 September 2025

ER -

Grave M , Meingast M, Klös V, Zoitl A , Sonnleithner L, Walter J. A Formal Model Transformation from Data Flow Models to IEC 61499 Models. in Almeida L, Indria M, de Sousa M, Visioli A, Ashjaei M, Santos P, Hrsg., 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). 1 Aufl. IEEE. 2025. S. 1-8. 11205747. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA). doi: 10.1109/ETFA65518.2025.11205747

A Formal Model Transformation from Data Flow Models to IEC 61499 Models

Abstract

Publikationsreihe

Konferenz

Wissenschaftszweige

JKU-Schwerpunkte

Zugriff auf Dokument

Andere Dateien und Links

Projekte

Christian Doppler Laboratory for Mastering Variability in Software-intensive Cyber-physical Production Systems (CDL VaSiCS)

Dieses zitieren