@inproceedings{, author = {Terzimehić, Tarik and Groh, Eddie and Zoitl, Alois}, title = {Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic}, booktitle = {28th International Conference on Emerging Technologies and Factory Automation (ETFA)}, publisher = {IEEE}, year = {2023}, month = sep, timestamp = 2023.09.13, location = {Sinaia, Romania}, abstract = {The complexity of Industry 4.0 systems makes it challenging to manually synthesize and optimize architecture level decisions, such as service deployment and composition. To address this challenge, we propose an approach that utilizes a satisfiability modulo theories (SMT) solver to (semi-)automate service deployment and composition synthesis. Thereby, we conceptualize, formalize, and implement the complete workflow from input service workflows to valid and optimized service deployments and compositions. We demonstrate the practical application of our approach in an Industry 4.0 scenario, specifically the flexible production of new products. We evaluate the effectiveness of the proposed approach by investigating its benefits in terms of engineering effort, complexity of the resulting IEC 61499-based applications, and improvement of communication coupling quality attribute (QA).}, doi = {10.1109/ETFA54631.2023.10275652}, keywords = {Industry 4.0, IEC 61499, deployment synthesis, service composition, optimization, SMT, Design-Space Exploration, DSE, Model-based Systems engineering, MbSE}, } @inproceedings{, author = {Dorofeev, Kirill and Bergemann, Sebastian and Terzimehić, Tarik and Grothoff, Julian and Thies, Michael and Zoitl, Alois}, title = {Generation of the Orchestrator Code for Skill-Based Automation Systems}, booktitle = {IEEE International Conference on Emerging Technologies And Factory Automation (ETFA)}, publisher = {IEEE}, journal = {IEEE International Conference on Emerging Technologies And Factory Automation (ETFA)}, year = {2021}, month = sep, abstract = {Engineering distributed control systems is a complex task, where the complexity and, thus, costs of the software development are growing rapidly. To keep the software complexity at an acceptable level and save time for development and subsequent maintenance, new solutions are sorely needed. In this paper, we investigate the advantages of using skills - universal control device interfaces - for generating complex logic in distributed control environments. By enriching a skill interface with the information about the dynamic behavior of a component under control, we compose the functionalities of individual control devices. The logic, required for such composition, is automatically derived from the interface description and the production plan, identifying the required skill sequence. The evaluation, executed using two industrial demonstrators, shows that the approach successfully handles different behavioral models and is capable of generating fault-tolerant orchestrators, including error handling scenarios. Overall, for developing a complex logic in a distributed skill-based automation system, the proposed approach shows significant savings in development time allowing to automate the skill composition task.}, isbn = {978-1-7281-2989-1}, doi = {10.1109/ETFA45728.2021.9613728}, keywords = {Industry 4.0, skills, service-oriented architecture, IEC 61499, service composition, orchestration, PLC code generation, BaSys, Model-based Systems Engineering, MbSE}, } @inproceedings{, author = {Gampig, Jonas and Terzimehić, Tarik and Dorofeev, Kirill}, title = {PLC Integration into Industry 4.0 Middleware: Function Block Library for the Interaction with REST and OPC UA Asset Administration Shells}, booktitle = {IEEE International Conference on Emerging Technologies And Factory Automation (ETFA)}, publisher = {IEEE}, journal = {IEEE International Conference on Emerging Technologies And Factory Automation (ETFA)}, year = {2021}, month = sep, abstract = {An asset administration shell (AAS), as a key concept of Industry 4.0 (I4.0), provides a machine-accessible interface to any kind of asset. To enable interoperability and smooth integration of the devices into the I4.0 middleware, an application implementing the device's functionality should be able to interact with different AASs. In this work, we investigate the integration of the Programmable Logic Controller (PLC) runtime systems into the I4.0 middleware. For doing this, we specify the function blocks (FBs) for connecting the PLCs with AASs and other I4.0 components, such as registry and discovery server. We analyze the requirements of such FBs while focusing on REST/HTTP- and OPC UA-based AASs, and provide interface specification for IEC 61499- and IEC 61131-3-based FBs. Furthermore, we implemented an FB library that enables communication with an AAS from the respective control applications. Those FBs allow accessing properties and invoking operations of remote AASs, as well as hosting AASs submodels. Common functionalities, such as registering the runtime system at the registry component, or finding AASs, are also supported. The results obtained in this paper will ease interaction with the complex AAS structure from the low-level devices.}, doi = {10.1109/ETFA45728.2021.9613267}, keywords = {Industry 4.0, model-based systems engineering, MbSE, IEC 61499, IEC 61131-3, asset administration shell, digital twin, PLC, OPC UA, REST}, } @inproceedings{, author = {Terzimehić, Tarik and Dorofeev, Kirill and Bergemann, Sebastian and Zoitl, Alois and Voss, Sebastian}, title = {Towards Service Deployment and Composition in Industry 4.0}, booktitle = {IEEE International Conference on Emerging Technologies And Factory Automation (ETFA)}, publisher = {IEEE}, journal = {IEEE International Conference on Emerging Technologies And Factory Automation (ETFA)}, year = {2021}, month = sep, abstract = {The fourth industrial revolution (Industry 4.0) anticipates unplanned changes of production processes. Production changes may trigger synthesis, and preferably optimization, of architecture-level decisions, such as service deployment and composition. Performing such architecture-level decisions manually is difficult due to the ever-rising complexity of Industry 4.0 systems. In order to (semi-)automate the architecture synthesis and optimization, we propose an approach of service deployment and composition by using existing domain models. Our contribution is threefold: (1) We suggest a workflow with domain models for architecture synthesis in the industrial automation. (2) We display the formalization on a part of the workflow and provide an initial prototype of service deployment synthesis using a satisfiability modulo theories (SMT) solver. (3) We envision a way of service composition and code generation, and prototypically implemented it as conclusion of the suggested workflow. We demonstrate the practical use of the proposed approach in the Industry 4.0 scenario, i.e., flexible production of new products.}, doi = {10.1109/ETFA45728.2021.9613327}, keywords = {Industry 4.0, IEC 61499, deployment synthesis, service composition, code generation, model-based systems engineering, MbSE, design-space exploration, DSE}, } @inproceedings{, author = {Terzimehić, Tarik and Bayha, Andreas and Dorofeev, Kirill}, title = {Function Blocks for the Interaction with the Asset Administration Shell}, booktitle = {Proceedings of the {IEEE} International Conference on Emerging Technologies And Factory Automation ({ETFA})}, year = {2019}, month = sep, abstract = {An asset administration shell (AAS), as a key concept of the Industry 4.0, provides a machine accessible interface to any kind of asset. An application implementing the devices functionality should be able to interact with different AASs. In this work, we specify the function blocks (FBs) for accessing properties and invoking operations of AASs. We analyzed the nature and requirements of such FBs while focusing on REST/HTTP- and OPC UA-based AASs and provided IEC 61499-based implementation. The expected outcome of this paper will ease an interaction with the complex AAS structure from the low-level devices.}, doi = {10.1109/ETFA.2019.8868995}, keywords = {Industry 4.0, IEC 61499, IEC 61131-3, asset administration shell, digital twin, PLC, OPC UA, REST, model-based systems engineering, MbSE}, } @inproceedings{, author = {Terzimehić, Tarik and Wenger, Monika and Voss, Sebastian and Gr{\"{u}}ner, Sten and Elfham, Haitham}, title = {SMT-Based Deployment Calculation in Industrial Automation Domain}, booktitle = {Proceedings of the {IEEE} International Conference on Emerging Technologies And Factory Automation ({ETFA})}, publisher = {IEEE}, year = {2019}, month = sep, abstract = {The desired flexibility of industrial automation systems foresees among others flexible deployment and execution of control applications on distributed control nodes. This task can be performed more efficiently by an automated deployment algorithm yielding a valid deployment and optimizing nonfunctional objectives. Although extensively investigated, automated deployment approaches for the automotive domain cannot be translated to industrial control applications, due to a different execution semantics. Thus, in this paper, we present a method of satisfiability modulo theories (SMT)-based automated deployment of the industrial automation systems. We formalize and implement domain-relevant constraints and objectives. Our contribution is threefold: 1) we formalize the functional coupling and end-to-end deadline constraints and objectives while considering the semantics of control applications, 2) we encode the deployment problem into an SMT form, and 3) we validate the approach on an abstract example and a domain-relevant use case. The results obtained in this paper will allow application engineers to fulfill functional and real-time requirements by automatically solving the deployment problem.}, doi = {10.1109/ETFA.2019.8868247}, keywords = {BaSys 4.0, Model-based systems engineering, MbSE, deployment, Industry 4.0, IEC 61499, SMT, E2E latency, functional coupling, design-space exploration, DSE}, } @inproceedings{, author = {Terzimehić, Tarik}, title = {Optimization and Reconfiguration of IEC 61499-based Software Architectures}, booktitle = {ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) - Doctoral Symposium}, journal = {ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) - Doctoral Symposium}, year = {2018}, month = oct, abstract = {The fourth industrial revolution (Industry 4.0) strives for an optimized and flexible production process to reduce configuration costs. To achieve such a production process, first architecture-level decisions (i.e. deployment configuration, scheduling, etc.) are optimized. Following, these optimized architectural configurations are applied to dynamically reconfigure industrial control applications. To calculate software configurations, current research applies Design Space Exploration (DSE) techniques embedded into the IEC 61499 model-based approach. However, this research either applies simple and non-applicable constraints and objectives for real-life problems or considers architectural optimization solely at the design phase. Thus, reconfiguring industrial control applications is still an exhausting and manual task that requires production process' downtime. In this Ph.D. thesis, I handle the automatically optimized reconfiguration of the industrial automation systems. In particular, I propose applying DSE to calculate architectural configurations of IEC 61499-based control applications. To define different configuration problems from real-world situations, I identify domain-specific constraints and objectives. Furthermore, I will tackle the problem of runtime reconfiguration by applying several optimization strategies in various context scenarios and investigating an incremental search for new optimal configurations.}, doi = {doi.org/10.1145/3270112.3275336}, keywords = {Architectural Optimization, DSE, MbSE, model-based systems engineering, Industry 4.0, IEC 61499}, } @inproceedings{, author = {Terzimehić, Tarik and Voss, Sebastian and Wenger, Monika}, title = {Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based Systems}, booktitle = {14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018)}, publisher = {IEEE}, journal = {14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018)}, year = {2018}, month = aug, abstract = {Continuous digitalization in the industry leads to new, highly complex systems that increase configuration costs. In particular, software and hardware changes cause major downtime. To dynamically reconfigure control system and avoid downtime, it is necessary to calculate valid or optimal deployment configurations. Previous research applies Design Space Exploration (DSE) techniques embedded into model-based design methodologies to calculate deployment configurations. However, current research either aims domains other than industrial automation or applies simple and, for real-life problems, not applicable constraints and objectives. Thus, the deployment of software components to hardware components is still an exhausting and manual task. In this work, we take first steps towards an automatically optimized deployment of the industrial automation systems. In particular, we propose applying DSE to calculate deployment configurations of IEC 61499-based control applications. In order to reduce the exploration space, we identify domain-specific constraints and objectives. Furthermore, we extend the IEC 61499 System and Application models' descriptions by proposing relevant hardware and software annotations. We exhibit the applicability of the identified annotations, constraints and objectives on the example of an Industry 4.0 relevant case study.}, doi = {10.1109/COASE.2018.8560591}, keywords = {IEC 61499, control system, design-space exploration, DSE, deployment, Industry 4.0, Model-based Systems Engineering, MbSE}, } @inproceedings{Dripke2018, author = {Dripke, Caren and Schneider, Ben and Dragan, Mihai and Verl, Alexander}, title = {Concept of Distributed Interpolation for Skill-Based Manufacturing with Real-Time Communication}, booktitle = {Fachkolloqium der Wissesschaftliche Gesellschaft Montage Handhabung Industrierobotik}, year = {2018}, month = feb, timestamp = 2018.02.27, abstract = {Distributed manufacturing unit control can be implemented by equipping all manufacturing components with individual controls offering standardized skills. The control of multi-component groups often requires real-time communication and a communication architecture that is adapted to the distributed control concept.We present applicable communication concepts for distributed interpolation, where the distributed interpolation use case in particular demonstrates challenges caused by the synchronous execution of skills.}, keywords = {distributed interpolation, deterministic real-time communication, time-Sensitive Networking, IEC 61499}, language = {english}, } @inproceedings{SchneiderMaMo2018, author = {Schneider, Ben and Voss, Sebastian and Wenger, Monika and Zoitl, Alois}, title = {Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems}, booktitle = {9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018)}, year = {2018}, month = feb, timestamp = 2018.02.21, abstract = {The new Ethernet standard Time-Sensitive Networking is an enabler for Industrial Internet of Things (IIoT) but gets more and more difficult to configure with a continuous rising number of network nodes, because each node has to be set up separately. We propose an approach towards automatic configuration of real-time networks based on models of IEC 61499, a modeling language for distributed industrial automation systems. Therefore, these existing models are analysed w.r.t. their network modeling capabilities and missing information is shown.}, keywords = {distributed industrial automation, IEC 61499, Time-Sensitive Networking, TSN, real-time, deterministic networking, schedule synthesis, model-based systems engineering, MbSE}, language = {english}, } @inproceedings{Schneider2017, author = {Schneider, Ben and Zoitl, Alois and Wenger, Monika and Blech, Jan Olaf}, title = {Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation Systems}, booktitle = {IEEE International Conference on Emerging Technologies And Factory Automation (ETFA)}, year = {2017}, abstract = {As networks continuously grow (keyword Internet of Things) the configuration and management of industrial networks gets more complex. Additionally the trend towards Ethernet networks in the domain of industrial automation leads to the adoption of new Ethernet based technologies for factory automation. One of these technologies is Software Defined Networking (SDN), which provides a programmable and more flexible method for network control through an abstract network view. This work focuses on the evaluation of SDN in the field of industrial automation. It provides the implementation of a prototype SDN controller for direct multicast routing of industrial traffic in a cyclic switched Ethernet network using the Ryu SDN framework. For evaluation, experiments about the performance penalty introduced by switch-controller-communication are performed. An IEC 61499 compliant development environment is used for the experiment definition. The experiment results and the prototype implementation of the SDN controller showed that SDN provides great opportunities for a flexible and reliable network setup in the automation industry and is suited for real-time traffic.}, keywords = {software defined networking, SDN, UDP multicast routing, Ryu, IEC 61499, switched industrial Ethernet}, language = {english}, url = {https://ieeexplore.ieee.org/document/8247594}, } @inproceedings{, author = {Terzimehić, Tarik and Wenger, Monika and Zoitl, Alois and Bayha, Andreas and Becker, Klaus and M{\"{u}}ller, Thorsten and Schauerte, Hubertus}, title = {Towards an Industry 4.0 Compliant Control Software Architecture Using IEC 61499 & OPC UA}, booktitle = {IEEE International Conference on Emerging Technologies And Factory Automation (ETFA)}, year = {2017}, abstract = {The fourth industrial revolution introduced additional requirements on the industrial systems' control software in order to cope with current manufacturing systems' flexibility demands. These requirements include, among others, a dynamic reconfigurability, software reusability and an external service orchestration. This work presents the design of an industry 4.0 compliant control software architecture resulting from an iterative design process. The architecture is based on the reconfiguration services of the IEC 61499 standard and the service orchestration via OPC UA. We demonstrate the software architecture's compliance to the industry 4.0 requirements on an aluminum cold rolling mill plant demonstrator.}, doi = {10.1109/ETFA.2017.8247718}, keywords = {Industry 4.0, MbSE, model-based systems engineering, OPC UA, IEC 61499}, }