ABSTRACT
The engineering of Cyber-Physical Systems (CPS) requires a large set of expertise to capture the system requirements and to derive a correct solution. Model-based Engineering and DevOps aim to efficiently deliver software with increased quality. Model-based Engineering relies on models as first-class artifacts to analyze, simulate, and ultimately generate parts of a system. DevOps focuses on software engineering activities, from early development to integration, and then improvement through the monitoring of the system at run-time. We claim these can be efficiently combined to improve the engineering process of CPS.
In this paper, we present TwinOps, a process that unifies Model-based Engineering, Digital Twins, and DevOps practice in a uniform workflow. TwinOps illustrates how to leverage several best practices in MBE and DevOps for the engineering Cyber-Physical systems. We illustrate our contribution using a Digital Twins case study to illustrate TwinOps benefits, combining AADL and Modelica models, and an IoT platform.
- Torsten Blochwitz, Martin Otter, Martin Arnold, Constanze Bausch, Christoph Clauß, Hilding Elmqvist, Andreas Junghanns, Jakob Mauss, Manuel Monteiro, Thomas Neidhold, Dietmar Neumerkel, Hans Olsson, Jörg-Volker Peetz, and Susann Wolf. 2011. The Functional Mockup Interface for Tool independent Exchange of Simulation Models. Proceedings of the 8th International Modelica Conference, 105--114. Google ScholarCross Ref
- Carl Boettiger. 2014. An introduction to Docker for reproducible research, with examples from the R environment. ACM SIGOPS Oper. Syst. Rev. 49 (10 2014). Google ScholarDigital Library
- Benoît Combemale and Manuel Wimmer. 2019. Towards a Model-Based DevOps for Cyber-Physical Systems. In Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers (Lecture Notes in Computer Science, Vol. 12055), Jean-Michel Bruel, Manuel Mazzara, and Bertrand Meyer (Eds.). Springer, 84--94. Google ScholarCross Ref
- Julien Delange, Peter Feiler, and Ernst Neil. 2016. Incremental Life Cycle Assurance of Safety-Critical Systems. In 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016). TOULOUSE, France. https://hal.archives-ouvertes.fr/hal-01289468Google Scholar
- Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, and Hans Vangheluwe. 2017. Co-simulation: State of the art. CoRR abs/1702.00686 (2017). arXiv:1702.00686 http://arxiv.org/abs/1702.00686Google Scholar
- Katerina Goseva-Popstojanova, Teme Kahsai, Matt Knudson, Thomas Kyanko, Noble Nkwocha, and Johann Schumann. 2016. Survey on Model-Based Software Engineering and Auto-Generated Code. Technical Report NASA/TM-2016--219443. NASA.Google Scholar
- Jérôme Hugues, Jean-Marie Gauthier, and Raphaël Faudou. 2018. Integrating AADL and FMI to Extend Virtual Integration Capability. In Proceedings of 9th European Congress Embedded Real Time Software and Systems ERTSS 2018, Toulouse, France, Jan 31-Feb 2 2018. https://dblp.org/rec/bib/journals/corr/abs-1802-05620Google Scholar
- David Jones, Chris Snider, Aydin Nassehi, Jason Yon, and Ben Hicks. 2020. Characterising the Digital Twin: A systematic literature review. CIRP Journal of Manufacturing Science and Technology 29 (2020), 36 -- 52. Google ScholarCross Ref
- Gilles Lasnier, Bechir Zalila, Laurent Pautet, and Jérôme Hugues. 2009. Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. In Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings (Lecture Notes in Computer Science, Vol. 5570), Fabrice Kordon and Yvon Kermarrec (Eds.). Springer, 237--250. Google ScholarDigital Library
- Leonardo Leite, Carla Rocha, Fabio Kon, Dejan Milojicic, and Paulo Meirelles. 2019. A Survey of DevOps Concepts and Challenges. ACM Comput. Surv. 52, 6, Article 127 (Nov. 2019), 35 pages. Google ScholarDigital Library
- Hana Mkaouar, Bechir Zalila, Jérôme Hugues, and Mohamed Jmaiel. 2020. A formal approach to AADL model-based software engineering. Int. J. Softw. Tools Technol. Transf. 22, 2 (2020), 219--247. Google ScholarCross Ref
- OMG. 2019. OMG Systems Modeling Language (OMG SysML) Version 1.6. Technical Report formal/19-11-01. OMG.Google Scholar
- Alberto Rodrigues da Silva. 2015. Model-driven engineering: A survey supported by the unified conceptual model. Computer Languages, Systems & Structures 43 (2015), 139 -- 155. Google ScholarDigital Library
Index Terms
- TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS
Recommendations
DevOps Performance Engineering: A Quasi-Ethnographical Study
ICPE '17 Companion: Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering CompanionDevOps is a software engineering strategy to reduce soft- ware changes' rollout times by adopting any set of tactics that reduce friction in software lifecycles and their organisational variables, for example: coordination, communication, product ...
Incorporating devops into undergraduate software engineering courses: a suggested framework
DevOps is a current trend for application development and delivery in the industry. Teaching about DevOps in an undergraduate software engineering course is difficult because the number of new concepts involved is high, and most students lack experience ...
Teaching software engineering practices with Extreme Programming
Extreme Programming (XP), one of many models for software development, has challenged some traditional software engineering practices while taking others to the extreme. The controversial practices raise questions about the role of XP in teaching ...
Comments