Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/3417990.3421446acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article
Open access

TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS

Published: 26 October 2020 Publication History
  • Get Citation Alerts
  • 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.

    References

    [1]
    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.
    [2]
    Carl Boettiger. 2014. An introduction to Docker for reproducible research, with examples from the R environment. ACM SIGOPS Oper. Syst. Rev. 49 (10 2014).
    [3]
    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.
    [4]
    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-01289468
    [5]
    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.00686
    [6]
    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.
    [7]
    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-05620
    [8]
    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.
    [9]
    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.
    [10]
    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.
    [11]
    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.
    [12]
    OMG. 2019. OMG Systems Modeling Language (OMG SysML) Version 1.6. Technical Report formal/19-11-01. OMG.
    [13]
    Alberto Rodrigues da Silva. 2015. Model-driven engineering: A survey supported by the unified conceptual model. Computer Languages, Systems & Structures 43 (2015), 139 -- 155.

    Cited By

    View all
    • (2024)How Multiple Representations Using Cyber–Physical System to Teach Rectilinear Motion Improves Learning and CreativityEducation Sciences10.3390/educsci1403029314:3(293)Online publication date: 11-Mar-2024
    • (2024)Circular systems engineeringSoftware and Systems Modeling (SoSyM)10.1007/s10270-024-01154-423:2(269-283)Online publication date: 29-Feb-2024
    • (2023)Dynamic Runtime Integration of New Models in Digital Twins2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS59076.2023.00016(44-55)Online publication date: May-2023
    • Show More Cited By

    Index Terms

    1. TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS

        Recommendations

        Comments

        Information & Contributors

        Information

        Published In

        cover image ACM Conferences
        MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
        October 2020
        713 pages
        ISBN:9781450381352
        DOI:10.1145/3417990
        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Sponsors

        In-Cooperation

        • IEEE CS

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        Published: 26 October 2020

        Permissions

        Request permissions for this article.

        Check for updates

        Qualifiers

        • Research-article

        Funding Sources

        • United States Air Force

        Conference

        MODELS '20
        Sponsor:

        Acceptance Rates

        Overall Acceptance Rate 118 of 382 submissions, 31%

        Upcoming Conference

        Contributors

        Other Metrics

        Bibliometrics & Citations

        Bibliometrics

        Article Metrics

        • Downloads (Last 12 months)288
        • Downloads (Last 6 weeks)40
        Reflects downloads up to

        Other Metrics

        Citations

        Cited By

        View all
        • (2024)How Multiple Representations Using Cyber–Physical System to Teach Rectilinear Motion Improves Learning and CreativityEducation Sciences10.3390/educsci1403029314:3(293)Online publication date: 11-Mar-2024
        • (2024)Circular systems engineeringSoftware and Systems Modeling (SoSyM)10.1007/s10270-024-01154-423:2(269-283)Online publication date: 29-Feb-2024
        • (2023)Dynamic Runtime Integration of New Models in Digital Twins2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS59076.2023.00016(44-55)Online publication date: May-2023
        • (2023)Towards a Taxonomy of Digital Twin Evolution for Technical Sustainability2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00147(934-938)Online publication date: 1-Oct-2023
        • (2023)Model-Based DevOps: Foundations and Challenges2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00076(429-433)Online publication date: 1-Oct-2023
        • (2023)Model-Based System Engineering of the Internet of Things: A Bibliometric Literature AnalysisIEEE Access10.1109/ACCESS.2023.327742911(50642-50658)Online publication date: 2023
        • (2023)Requirements management in DevOps environments: a multivocal mapping studyRequirements Engineering10.1007/s00766-023-00396-w28:3(317-346)Online publication date: 13-Jan-2023

        View Options

        View options

        PDF

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        Get Access

        Login options

        Media

        Figures

        Other

        Tables

        Share

        Share

        Share this Publication link

        Share on social media