ABSTRACT
Cyber-physical systems (CPS) are finding increasing use, whether in factories, autonomous vehicles, or smart buildings. Monitoring the execution of CPSs is crucial since CPSs directly influence their physical environment. Like the actual system, the monitoring application must be designed, developed, and tested. Mobile CPSs, in contrast to stationary CPSs, bring the additional requirement that instances can dynamically join, leave, or fail during execution time. This dynamic behavior must also be considered in the monitoring application. This paper presents CPSAML, a language and code generation framework for the model-driven development of mobile CPS systems, including a cockpit application for monitoring and interacting with such a system. The pipeline starts with the formulation of the system and the CPSs it contains at an abstract level by the system architect using a domain-specific modeling language. Next, this model is transformed into SysML 2 for further extension and richer specificity by system engineers on a more technical level. In the last step of the pipeline, the SysML 2 model is used to generate code for the CPS devices, a system-wide digital twin, and the cockpit application mentioned above. This cockpit enables the operator to configure and apply the monitoring and interaction with the system during runtime. We evaluate our CPSAML language and code generation framework on an Indoor Transport System case study with Roomba vacuum cleaner robots.
- Kai Adam, Judith Michael, Lukas Netz, Bernhard Rumpe, and Simon Varga. 2019. Enterprise Information Systems in Academia and Practice-Lessons learned from a MBSE Project.. In EMISA Forum: Vol. 39, No. 1. De Gruyter.Google Scholar
- Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, and Andreas Wortmann. 2021. Multi-paradigm modelling for cyber-physical systems: a descriptive framework. Softw. Syst. Model. 20, 3 (2021), 611--639. Google ScholarDigital Library
- Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, and Sriram Sankaranarayanan. 2018. Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In Lectures on Runtime Verification. Springer, 135--175.Google Scholar
- Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Jean-Claude Royer, and Massimo Tisi. 2020. A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things. In Advanced Information Networking and Applications. 1162--1175.Google Scholar
- Dominik Bork, Dimitris Karagiannis, and Benedikt Pittl. 2018. Systematic analysis and evaluation of visual conceptual modeling language notations. In 2018 12th International Conference on Research Challenges in Information Science (RCIS). IEEE, 1--11.Google ScholarCross Ref
- Dominik Bork, Dimitris Karagiannis, and Benedikt Pittl. 2020. A survey of modeling language specification techniques. Inf. Syst. 87 (2020). Google ScholarDigital Library
- Marco Brambilla, Jordi Cabot, and Manuel Wimmer. 2017. Model-driven software engineering in practice. Synthesis lectures on software engineering 3, 1 (2017), 1--207.Google Scholar
- Arvid Butting, Oliver Kautz, Bernhard Rumpe, and Andreas Wortmann. 2017. Architectural programming with montiarcautomaton. ICSEA 2017 (2017), 224.Google Scholar
- Giuseppina Lucia Casalaro, Giulio Cattivera, Federico Ciccozzi, Ivano Malavolta, Andreas Wortmann, and Patrizio Pelliccione. 2022. Model-driven engineering for mobile robotic systems: a systematic mapping study. Softw. Syst. Model. 21, 1 (2022), 19--49. Google ScholarDigital Library
- Manuela Dalibor, Judith Michael, Bernhard Rumpe, Simon Varga, and Andreas Wortmann. 2020. Towards a Model-Driven Architecture for Interactive Digital Twin Cockpits. In International Conference on Conceptual Modeling. Springer, 377--387.Google ScholarDigital Library
- Pablo González-Nalda, Ismael Etxeberria-Agiriano, Isidro Calvo, and Mari Carmen Otero. 2017. A modular CPS architecture design based on ROS and Docker. International Journal on Interactive Design and Manufacturing (IJIDeM) 11, 4 (2017), 949--955.Google ScholarCross Ref
- Yanxiang Guo, Xiping Hu, Bin Hu, Jun Cheng, Mengchu Zhou, and Ricky YK Kwok. 2017. Mobile cyber physical systems: Current challenges and future networking applications. IEEE Access 6 (2017), 12360--12368.Google ScholarCross Ref
- Nicolas Harrand, Franck Fleurey, Brice Morin, and Knut Eilif Husa. 2016. ThingML: a language and code generation framework for heterogeneous targets. In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. 125--135.Google ScholarDigital Library
- Jerome Hugues, Anton Hristosov, John J Hudak, and Joe Yankel. 2020. TwinOps-DevOps meets model-based engineering and digital twins for the engineering of CPS. In Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 1--5.Google ScholarDigital Library
- Markel Iglesias-Urkia, Aitziber Iglesias, Beatriz Lòpez-Davalillo, Santiago Charramendieta, Diego Casado-Mansilla, Goiuria Sagardui, and Aitor Urbieta. 2019. TRILATERAL: A Model-Based Approach for Industrial CPS-Monitoring and Control. In International Conference on Model-Driven Engineering and Software Development. Springer, 376--398.Google Scholar
- Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher. 2017. Visualization support for requirements monitoring in systems of systems. In 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 889--894.Google ScholarCross Ref
- John Mylopoulos. 1992. Conceptual modelling and Telos. Conceptual modelling, databases, and CASE: An integrated view of information system development (1992), 49--68.Google Scholar
- Object Management Group. o.J.. SysML V2, OMG SysML. URL: https://www.omgsysml.org/SysML-2.htm. [Accessed: 14.12.2020].Google Scholar
- Morgan Quigley, Ken Conley, Brian Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, Andrew Y Ng, et al. 2009. ROS: an open-source Robot Operating System. In ICRA workshop on open source software, Vol. 3. Kobe, Japan, 5.Google Scholar
- Ed Seidewitz. 2021. Intro to the SysML v2 Language-Textual Notation. https://github.com/Systems-Modeling/SysML-v2-Release/tree/master/doc.Google Scholar
- IEC TC. 2003. 57," Communication networks and systems in substations-Part 7-4: Basic communication structure for substation and feeder equipment-Compatible Logical Node Classes and Data Classes. International Electrotechnical Commission, Geneva, Switzerland, Draft Standard (2003), 61850--7.Google Scholar
- Dániel Varrò and András Balogh. 2007. The model transformation language of the VIATRA2 framework. Science of Computer Programming 68, 3 (2007), 214--234.Google ScholarDigital Library
- Michael Vierhauser, Jane Cleland-Huang, Sean Bayley, Thomas Krismayer, Rick Rabiser, and Pau Grünbacher. 2018. Monitoring CPS at runtime-A case study in the UAV domain. In 2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 73--80.Google ScholarCross Ref
- Michael Vierhauser, Hussein Marah, Antonio Garmendia, Jane Cleland-Huang, and Manuel Wimmer. 2021. Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical Systems. In 2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results. 96--100.Google ScholarDigital Library
- Michael Vierhauser, Rick Rabiser, Paul Grünbacher, Klaus Seyerlehner, Stefan Wallner, and Helmut Zeisel. 2016. ReMinds: A flexible runtime monitoring framework for systems of systems. Journal of Systems and Software 112 (2016), 123--136.Google ScholarDigital Library
- Claes Wohlin, Per Runeson, Martin Höst, Magnus C Ohlsson, Björn Regnell, and Anders Wesslén. 2012. Experimentation in software engineering. Springer Science & Business Media.Google ScholarCross Ref
Index Terms
- CPSAML: a language and code generation framework for digital twin based monitoring of mobile cyber-physical systems
Recommendations
Guest editorial to the theme section on Multi-Paradigm Modeling for Cyber-Physical Systems
AbstractThis theme section aims to disseminate the latest research results in the area of Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS). MPM has a long tradition within the Model-Driven Engineering community, e.g., several workshops have ...
Towards a model-integrated runtime monitoring infrastructure for cyber-physical systems
ICSE-NIER '21: Proceedings of the 43rd International Conference on Software Engineering: New Ideas and Emerging ResultsRuntime monitoring is essential for ensuring the safe operation and enabling self-adaptive behavior of Cyber-Physical Systems (CPS). It requires the creation of system monitors, instrumentation for data collection, and the definition of constraints. All ...
Capturing Autonomy in its Multiple Facets: A Digital Twin Approach
SAT-CPS '21: Proceedings of the 2021 ACM Workshop on Secure and Trustworthy Cyber-Physical SystemsAutonomy has been touted to be a major asset of Cyber-Physical Systems (CPS) and its components. By intertwining non-physical and physical processes they seamlessly integrate interdependent computational and physical components. In this contribution we ...
Comments