This program is tentative and subject to change.

When designing cyber-physical systems, especially in industrial automation, model-driven engineering plays an essential role in ensuring software maintainability and supporting evolution. Whereas textual programming environments provide mature tool support for refactoring and maintenance, equivalent capabilities in visual languages remain underdeveloped. This research addresses the challenges of maintaining and refactoring models in typed block-based modeling languages, such as IEC 61499 and Simulink, which are frequently used in industry. We propose a methodology that embeds repair mechanisms directly into refactoring processes, ensuring model consistency and minimizing manual intervention. By introducing a meta-model-based approach, we identify common maintenance operations and systematically define transformations that preserve the execution semantics while improving maintainability. Our approach is evaluated through a cross-language implementation, demonstrating its applicability across different modeling tools and industrial settings. We developed the concepts and assistance tools in close collaboration with our industry partner to enable software maintenance of large-scale automation software. The lessons learned are generalizable for various tool developers and contribute to error-resilient model evolution in visual modeling environments.

This program is tentative and subject to change.

Wed 8 Oct

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
Session 5: Quality Assurance and Model ManagementNew Ideas and Emerging Results (NIER) / Research Papers / Journal-First at DCIH 102

Hybrid

16:00
18m
Talk
Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical SystemsFT@In Person
Research Papers
Eric Roslin Wete Poaka Leibniz Universität Hannover, Joel Greenyer FHDW Hannover, Tom Yaacov Ben-Gurion University of the Negev, Daniel Kudenko L3S Research Center, Leibniz Universität Hannover, Germany, Wolfgang Nejdl Leibniz Universität Hannover
16:18
18m
Talk
Refactoring with Confidence: An Assistant for Repair-Integrated Refactoring in Block-based Industrial ModelsPT@In Person
Research Papers
Michael Oberlehner LIT CPS Lab, Johannes Kepler University Linz, Bianca Wiesmayr LIT CPS Lab, Johannes Kepler University Linz, Alois Zoitl LIT CPS Lab, Johannes Kepler University Linz
16:36
18m
Talk
Inclusive Model-Driven Engineering for Accessible SoftwareIn Person
New Ideas and Emerging Results (NIER)
Dominik Bork TU Wien, Stefan Klikovits Johannes Kepler University, Linz, Judith Michael University of Regensburg, Lukas Netz RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
Pre-print
16:54
18m
Talk
A Model Cleansing Pipeline for Model-driven Engineering: Mitigating the Garbage In, Garbage Out Problem for Open Model Repositories@RemoteFT
Research Papers
17:12
18m
Talk
Modeling with Gentleman: a web-based projectional editorRemote
Journal-First
Louis-Edouard Lafontant University of Montreal, Eugene Syriani Université de Montréal
DOI