Towards Trustworthy Adaptation of Cyber-Physical Production Systems with Contract-Based Design
DOI:
https://doi.org/10.64552/wipiec.v11i1.87Keywords:
Production Systems Engineering, Industry 4.0, Multi-disciplinary reconfiguration, Adaptive production systemAbstract
Adapting a Cyber-Physical Production System (CPPS) to different production goals and conditions requires capabilities to validate multi-domain dependencies. Traditional approaches to CPPS adaptation rely on domain experts’ implicit knowledge, making reconfiguration prone to error, challenging to validate, and hard to trust. Our research aims at improving the trustworthiness of the CPPS adaptation process regarding effectiveness, risk mitigation, and understandability, with a formal representation of reconfiguration dependencies and conditions. This paper introduces the approach Trustworthy Adaptation Process for CPPS (TAP-CPPS) to validate the feasibility of achieving the adaptation goal by reconfiguration. TAP-CPPS is a systematic approach to (i) model the adaptation process using BPMN; and (ii) validate the adaptation process model using contracts by verifying explicit reconfiguration pre-/post-conditions in the BPMN model, which is linked to the CPPS configuration variants. We initially evaluate TAP-CPPS with a use case of a CPPS for joining car parts, and derive a research agenda.
References
T. M¨uller, B. Caesar, M. Weiß, S. Ferhat, N. Sahlab, A. Fay, R. Oger, N. Jazdi, and M. Weyrich, “Reconfiguration management in manufacturing: A systematic literature review,” at - Automatisierungstechnik,vol. 71, no. 5, pp. 330–350, May 2023, literatur Review. DOI: https://doi.org/10.1515/auto-2022-0139
R. Dumitrescu, T. Westermann, and T. Falkowski, “Autonome systeme in der produktion,” Industrie 4.0 Management, pp. 17–20, 2018. DOI: https://doi.org/10.30844/I40M_18-6_17-20
D. Weyns, I. Gerostathopoulos, N. Abbas, J. Andersson, S. Biffl, P. Brada, T. Bures, A. Di Salle, M. Galster, P. Lago, G. Lewis, M. Litoiu, A. Musil, J. Musil, P. Patros, and P. Pelliccione, “Self-adaptation in industry: A survey,” ACM Transactions on Autonomous and Adaptive Systems, vol. 18, no. 2, pp. 1–44, May 2023. DOI: https://doi.org/10.1145/3589227
K. Meixner, F. Rinker, L. Waltersdorfer, A. L¨uder, and S. Biffl, “Organizing reuse for production systems engineering with capabilities and skills: Organisation der wiederverwendung im engineering von produktionsystemen mit capabilities und skills,” at - Automatisierungstechnik, vol. 71, no. 2, pp. 116–127, Feb. 2023. DOI: https://doi.org/10.1515/auto-2022-0120
S. Biffl, K. Meixner, D. Hoffmann, J. Musil, H. Rahmani, and A. Luder, “Towards coordinating production reconfiguration,” in 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, Sep. 2022, pp. 1–4. DOI: https://doi.org/10.1109/ETFA52439.2022.9921665
A. Musil, J. Musil, D. Weyns, T. Bures, H. Muccini, and M. Sharaf, Patterns for Self-Adaptation in Cyber-Physical Systems. Springer International Publishing, 2017, pp. 331–368. DOI: https://doi.org/10.1007/978-3-319-56345-9_13
VDI Guideline 3695: Engineering of industrial plants - Eval. and opt. Beuth, 2009.
H. Haddou Benderbal, A. R. Yelles-Chaouche, and A. Dolgui, A Digital Twin Modular Framework for Reconfigurable Manufacturing Systems. Springer International Publishing, 2020, pp. 493–500. DOI: https://doi.org/10.1007/978-3-030-57997-5_57
J. M. G. S´anchez, N. J¨orgensen, M. T¨orngren, R. Inam, A. Berezovskyi, L. Feng, E. Fersman, M. R. Ramli, and K. Tan, “Edge computing for cyber-physical systems: A systematic mapping study emphasizing trustworthiness,” ACM Transactions on Cyber-Physical Systems, vol. 6, no. 3, pp. 1–28, Jul. 2022. DOI: https://doi.org/10.1145/3539662
R. F. Babiceanu and R. Seker, “Trustworthiness requirements for manufacturing cyber-physical systems,” Procedia Manufacturing, vol. 11, pp. 973–981, 2017. DOI: https://doi.org/10.1016/j.promfg.2017.07.202
Z. Yu, L. Zhou, Z. Ma, and M. A. El-Meligy, “Trustworthiness modeling and analysis of cyber-physical manufacturing systems,” IEEE Access, vol. 5, pp. 26 076–26 085, 2017. DOI: https://doi.org/10.1109/ACCESS.2017.2777438
A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone, and C. Sofronis, Multiple Viewpoint Contract-Based Specification and Design. Springer Berlin Heidelberg, 2008, pp. 200–225. DOI: https://doi.org/10.1007/978-3-540-92188-2_9
VDI Guideline 3682 Formalised Process Descriptions., Beuth Verlag Std., 2015.
S. Biffl, J. Musil, A. Musil, K. Meixner, A. L¨uder, F. Rinker, D. Weyns, and D. Winkler, “An Industry 4.0 Asset-Based Coordination Artifact for Production Systems Engineering,” in Int. Conf. Busi. Inf. IEEE, 2021. DOI: https://doi.org/10.1109/CBI52690.2021.00020
T. M¨uller, S. Kamm, A. L¨ocklin, D. White, M. Mellinger, N. Jazdi, and M. Weyrich, “Architecture and knowledge modelling for self-organized reconfiguration management of cyber-physical production systems,” International Journal of Computer Integrated Manufacturing, vol. 36, no. 12, pp. 1842–1863, Sep. 2022. DOI: https://doi.org/10.1080/0951192X.2022.2121425
J. Kephart and D. Chess, “The vision of autonomic computing,” Computer, vol. 36, no. 1, pp. 41–50, Jan. 2003. DOI: https://doi.org/10.1109/MC.2003.1160055
Object Management Group, “Business Process Model and Notation (BPMN), Version 2.0,” Object Management Group, Tech. Rep. formal/2011-01-03, Jan. 2011.
H. Rahmani, S. Biffl, K. Meixner, D. Hoffmann, A. L¨uder, and D. Winkler, “Business risk analysis of production variants considering technical dependencies,” in Int. Conf. Busi. Inf. IEEE, Sep. 2024, pp. 178–187. DOI: https://doi.org/10.1109/CBI62504.2024.00029
Biffl, S., “Introduction to procan.do,” QSE Technical Report QSE 202502, TU Wien, 2025.
S. Biffl, S. Kropatschek, K. Meixner, D. Hoffmann, and A. Luder, “Configuring and validating multi-aspect risk knowledge for industry 4.0 information systems,” in Int. CAiSE. Springer, 2024, pp. 492–508. DOI: https://doi.org/10.1007/978-3-031-61057-8_29
J. Herzog, H. R¨opke, and A. L¨uder, “Analysis of the reusability of modules in automotive assembly,” in IEEE ETFA, 2021, pp. 1–8. DOI: https://doi.org/10.1109/ETFA45728.2021.9613723
K. Meixner, K. Feichtinger, R. Rabiser, and S. Biffl, “A reusable set of real-world product line case studies for comparing variability models in research and practice,” in Int. SPLC. Vol. B. ACM, 2021. DOI: https://doi.org/10.1145/3461002.3473946
T. D. Thomas Bauernhansl, Manuel Fechter, Entwicklung und Demonstration einer wandlungsf¨ahigen Forschungsproduktion. Springer, 2020. DOI: https://doi.org/10.1007/978-3-662-60491-5
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2025 Hossein Rahmani, Kristof Meixner, Stefan Biffl
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
License Terms:
Except where otherwise noted, content on this website is lincesed under a Creative Commons Attribution Non-Commercial License (CC BY NC)
Use, distribution and reproduction in any medium, provided the original work is properly cited and is not used for commercial purposes, is permitted.
Copyright to any article published by WiPiEC retained by the author(s). Authors grant WiPiEC Journal a license to publish the article and identify itself as the original publisher. Authors also grant any third party the right to use the article freely as long as it is not used for commercial purposes and its original authors, citation details, and publisher are identified, in accordance with CC BY NC license. Fore more information on license terms, click here.