Model-driven digital twin construction: synthesizing the integration of cyber-physical systems with their information systems

Digital twins emerge in many disciplines to support engineering, monitoring, controlling, and optimizing cyber-physical systems, such as airplanes, cars, factories, medical devices, or ships. There is an increasing demand to create digital twins as representation of cyber-physical systems and their related models, data traces, aggregated data, and services. Despite a plethora of digital twin applications, there are very few systematic methods to facilitate the modeling of digital twins for a given cyber-physical system. Existing methods focus only on the construction of specific digital twin models and do not consider the integration of these models with the observed cyber-physical system. To mitigate this, we present a fully model-driven method to describe the software of the cyber-physical system, its digital twin information system, and their integration. The integration method relies on MontiArc models of the cyber-physical system's architecture and on UML/P class diagrams from which the digital twin information system is generated. We show the practical application and feasibility of our method on an IoT case study. Explicitly modeling the integration of digital twins and cyber-physical systems eliminates repetitive programming activities and can foster the systematic engineering of digital twins.

[1]  Michael Weyrich,et al.  The Facets of Digital Twins in Production and the Automotive Industry , 2019, 2019 23rd International Conference on Mechatronics Technology (ICMT).

[2]  Hokeun Kim,et al.  A Component Architecture for the Internet of Things , 2018, Proceedings of the IEEE.

[3]  Bernhard Rumpe,et al.  Teaching Agile Model-Driven Engineering for Cyber-Physical Systems , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering Education and Training Track (ICSE-SEET).

[4]  Bernhard Rumpe,et al.  Consistent Extra-Functional Properties Tagging for Component and Connector Models , 2016, ModComp@MoDELS.

[5]  Bernhard Rumpe,et al.  Engineering tagging languages for DSLs , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[6]  Stefan Boschert,et al.  Digital Twin—The Simulation Aspect , 2016 .

[7]  Gianluca Percoco,et al.  Building a digital twin for additive manufacturing through the exploitation of blockchain: A case analysis of the aircraft industry , 2019, Comput. Ind..

[8]  Judith Michael,et al.  Continuous Transition from Model-Driven Prototype to Full-Size Real-World Enterprise Information Systems , 2020, AMCIS.

[9]  Claudia Steinberger,et al.  Context Modeling for Active Assistance , 2017, ER Forum/Demos.

[10]  B. Rumpe,et al.  Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible? , 2019, Software Engineering.

[11]  Charles Consel,et al.  A domain-specific approach to architecturing error handling in pervasive computing , 2010, OOPSLA.

[12]  Xiaojun Liu,et al.  Dynamic Evaluation Method of Machining Process Planning Based on Digital Twin , 2019, IEEE Access.

[13]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[14]  Brice Morin,et al.  ThingML: a language and code generation framework for heterogeneous targets , 2016, MoDELS.

[15]  Bernhard Rumpe,et al.  MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems , 2014, ArXiv.

[16]  Gordana Gardašević,et al.  IoT sensor integration to Node-RED platform , 2018, 2018 17th International Symposium INFOTEH-JAHORINA (INFOTEH).

[17]  Bernhard Rumpe,et al.  Component and Connector Views in Practice: An Experience Report , 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[18]  Bernhard Rumpe,et al.  Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton , 2016, ECSA.

[19]  Bernhard Rumpe,et al.  Enterprise Information Systems in Academia and Practice: Lessons learned from a MBSE Project , 2019, EMISA Forum.

[20]  Vincent Aravantinos,et al.  AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems , 2015, ACES-MB&WUCOR@MoDELS.

[21]  Heinrich C. Mayr,et al.  Model Centered Architecture , 2017, Conceptual Modeling Perspectives.

[22]  Jeroen van den Hoven,et al.  Digital Twins in Health Care: Ethical Implications of an Emerging Engineering Paradigm , 2018, Front. Genet..

[23]  Heikki Laaki,et al.  Prototyping a Digital Twin for Real Time Remote Control Over Mobile Networks: Application of Remote Surgery , 2019, IEEE Access.

[24]  Evgeny Kusmenko,et al.  Modeling Deep Reinforcement Learning Based Architectures for Cyber-Physical Systems , 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).

[25]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[26]  Hamid Jahankhani,et al.  Health Care in the Cyberspace: Medical Cyber-Physical System and Digital Twin Challenges , 2019, Internet of Things.

[27]  He Zhang,et al.  Digital Twin in Industry: State-of-the-Art , 2019, IEEE Transactions on Industrial Informatics.

[28]  Edward M. Kraft,et al.  The Air Force Digital Thread/Digital Twin - Life Cycle Integration and Use of Computational and Experimental Knowledge , 2016 .

[29]  Bernhard Rumpe,et al.  Executing Robot Task Models in Dynamic Environments , 2017, MODELS.

[30]  Markus Völter,et al.  Model-Driven Software Development: Technology, Engineering, Management , 2006 .

[31]  A. Nejad,et al.  On Digital Twin Condition Monitoring Approach for Drivetrains in Marine Applications , 2019, Volume 10: Ocean Renewable Energy.

[32]  Bernhard Rumpe,et al.  Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language , 2017, ECMFA.

[33]  Bernhard Rumpe,et al.  Model-driven separation of concerns for service robotics , 2016, DSM@SPLASH.

[34]  Bernhard Rumpe.  Modeling with UML: Language, Concepts, Methods , 2016 .

[35]  Manuela Dalibor,et al.  Tagging Model Properties for Flexible Communication , 2019, MDE4IoT/ModComp@MoDELS.

[36]  Richard F. Paige,et al.  Grand challenges in model-driven engineering: an analysis of the state of the research , 2020, Software and Systems Modeling.

[37]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[38]  Heinrich C. Mayr,et al.  A Model Centered Perspective on Software-Intensive Systems , 2018, EMISA.

[39]  Claudia Steinberger,et al.  Using Semantic Markup to Boost Context Awareness for Assistive Systems , 2020 .

[40]  Bernhard Rumpe,et al.  Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems , 2015, MORSE@STAF.

[41]  Nitin Naik,et al.  Choice of effective messaging protocols for IoT systems: MQTT, CoAP, AMQP and HTTP , 2017, 2017 IEEE International Systems Engineering Symposium (ISSE).

[42]  Gregor Engels,et al.  A Digital Twin-Based Multi-modal UI Adaptation Framework for Assistance Systems in Industry 4.0 , 2019, HCI.

[43]  Bernhard Rumpe,et al.  On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories , 2014, ArXiv.

[44]  Michael W. Grieves,et al.  Digital Twin: Mitigating Unpredictable, Undesirable Emergent Behavior in Complex Systems , 2017 .

[45]  Ricardo Tesoriero,et al.  Code generation using model driven architecture: A systematic mapping study , 2020, J. Comput. Lang..

[46]  Bernhard Rumpe,et al.  Model-Based Generation of Enterprise Information Systems , 2018, EMISA.

[47]  Andrew Y. C. Nee,et al.  Digital Twins and Cyber–Physical Systems toward Smart Manufacturing and Industry 4.0: Correlation and Comparison , 2019, Engineering.

[48]  Costas J. Spanos,et al.  A Digital Twin Approach for Fault Diagnosis in Distributed Photovoltaic Systems , 2020, IEEE Transactions on Power Electronics.

[49]  Bernhard Rumpe,et al.  User-Centered and Privacy-Driven Process Mining System Design for IoT , 2019, CAiSE Forum.

[50]  Ola Angelsmark,et al.  International Conference on Ambient Systems , Networks and Technologies ( ANT 2015 ) Calvin – Merging Cloud and IoT , 2015 .

[51]  Xiang Xie,et al.  From BIM Towards Digital Twin: Strategy and Future Development for Smart Asset Management , 2019, SOHOMA.

[52]  Omer San,et al.  Digital Twin: Values, Challenges and Enablers From a Modeling Perspective , 2019, IEEE Access.

[53]  Shuai Li,et al.  Model-driven Development of Adaptive IoT Systems , 2017, MoDELS.

[54]  Jan Olaf Blech,et al.  Towards Digital Twins for the Description of Automotive Software Systems , 2020, QAPL@ETAPS.

[55]  Bernhard Rumpe,et al.  Human Behavior, Goals and Model-Driven Software Engineering for Assistive Systems , 2020, EMISA.

[56]  Judith Michael,et al.  Generated Enterprise Information Systems: MDSE for Maintainable Co-Development of Frontend and Backend , 2020, Modellierung.

[57]  Judith Michael,et al.  Towards Privacy-Preserving IoT Systems Using Model Driven Engineering , 2019, MDE4IoT/ModComp@MoDELS.

[58]  Federico Ciccozzi,et al.  MDE4IoT: Supporting the Internet of Things with Model-Driven Engineering , 2016, IDC.

[59]  Sandro Wartzack,et al.  Shaping the digital twin for design and production engineering , 2017 .

[60]  Isabelle Perseil,et al.  ALF formal , 2011, Innovations in Systems and Software Engineering.

[61]  B. Rumpe,et al.  Effizientere Produktion mit Digitalen Schatten , 2020 .

[62]  Olivier Barais,et al.  A Systematic Mapping Study on Modeling for Industry 4.0 , 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[63]  Nasser Jazdi,et al.  A concept in synchronization of virtual production system with real factory based on anchor-point method , 2018 .

[64]  Fei Tao,et al.  Digital twin-driven product design, manufacturing and service with big data , 2017, The International Journal of Advanced Manufacturing Technology.

[65]  Bernhard Rumpe,et al.  Architectural Programming with MontiArcAutomaton , 2017, ICSEA 2017.

[66]  Karel Kruger,et al.  Comparison of Digital Twin Development in Manufacturing and Maritime Domains , 2019, SOHOMA.

[67]  Brice Morin,et al.  Model-Based Software Engineering to Tame the IoT Jungle , 2017, IEEE Software.

[68]  John E. Taylor,et al.  Smart City Digital Twin–Enabled Energy Management: Toward Real-Time Urban Building Energy Benchmarking , 2020, Journal of Management in Engineering.