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^*

^*Corresponding author for this work

LIT Cyber-Physical Systems Lab

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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.

Original language	English
Title of host publication	2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)
Editors	Luis Almeida, Marina Indria, Mario de Sousa, Antonio Visioli, Mohammad Ashjaei, Pedro Santos
Publisher	IEEE
Pages	1-8
Number of pages	8
ISBN (Electronic)	9798331553838
ISBN (Print)	979-8-3315-5384-5
DOIs	https://doi.org/10.1109/ETFA65518.2025.11205747
Publication status	Published - 21 Oct 2025
Event	2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA) - Porto, Portugal Duration: 09 Sept 2025 → 12 Sept 2025

Publication series

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

Conference

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

Fields of science

102 Computer Sciences
202003 Automation
102022 Software development
202017 Embedded systems
202041 Computer engineering
102029 Practical computer science
102025 Distributed systems

JKU Focus areas

Digital Transformation

Access to Document

10.1109/ETFA65518.2025.11205747

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

Cite this

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 (Eds.), 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA) (pp. 1-8). Article 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). editor / Luis Almeida ; Marina Indria ; Mario de Sousa ; Antonio Visioli ; Mohammad Ashjaei ; Pedro Santos. IEEE, 2025. pp. 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)",

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 (eds), 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)., 11205747, IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, IEEE, pp. 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). ed. / Luis Almeida; Marina Indria; Mario de Sousa; Antonio Visioli; Mohammad Ashjaei; Pedro Santos. IEEE, 2025. p. 1-8 11205747 (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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, editors, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE. 2025. p. 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

Publication series

Conference

Fields of science

JKU Focus areas

Access to Document

Other files and links

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

Cite this

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

Abstract

Publication series

Conference

Fields of science

JKU Focus areas

Access to Document

Other files and links

Projects

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

Cite this