{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T07:22:10Z","timestamp":1765610530780,"version":"3.41.0"},"reference-count":172,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T00:00:00Z","timestamp":1748217600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"AIDOaRt"},{"DOI":"10.13039\/501100011688","name":"ECSEL","doi-asserted-by":"crossref","award":["101007350"],"award-info":[{"award-number":["101007350"]}],"id":[{"id":"10.13039\/501100011688","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2025,6,30]]},"abstract":"<jats:p>\n            In this article, we discuss how we can facilitate the growing need for\n            <jats:italic>early<\/jats:italic>\n            validation and verification (V&amp;V) of system behaviour in Model-Based Systems Engineering (MBSyE). Several aspects, such as reducing cost and time to market, push companies towards integration of V&amp;V methods earlier in development to support effective decision-making. One foundational methodology seeing increased attention in industry is the use of MBSyE, which brings benefits of models with well-defined syntax and semantics to support V&amp;V activities, rather than relying on natural language text documentation. Despite their promise, industrial adoption of these practices is still challenging.\n          <\/jats:p>\n          <jats:p>\n            This article presents a vision for\n            <jats:italic>readily available early V&amp;V<\/jats:italic>\n            . We present a summary of the literature on early V&amp;V in MBSyE and position existing challenges regarding potential solutions and future investigations towards this vision. We elaborate our vision by means of challenges with a specific emphasis on early V&amp;V of system\n            <jats:italic>behaviour<\/jats:italic>\n            . We identify three specific challenge areas: Creating and managing\n            <jats:italic>Models<\/jats:italic>\n            ,\n            <jats:italic>Organisational<\/jats:italic>\n            systems engineering aspects, and early V&amp;V\n            <jats:italic>Methods<\/jats:italic>\n            . Finally, we outline a road-map to address these categories of challenges, in which we propose the transfer of established best practices from the software engineering domain to support emerging technologies in the systems engineering domain.\n          <\/jats:p>","DOI":"10.1145\/3708520","type":"journal-article","created":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T16:12:12Z","timestamp":1734106332000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Road-Map to Readily Available Early Validation and Verification of System Behaviour in Model-Based Systems Engineering using Software Engineering Best Practices"],"prefix":"10.1145","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2021-8341","authenticated-orcid":false,"given":"Johan","family":"Cederbladh","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0416-1787","authenticated-orcid":false,"given":"Antonio","family":"Cicchetti","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1863-3987","authenticated-orcid":false,"given":"Robbert","family":"Jongeling","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,26]]},"reference":[{"key":"e_1_3_2_2_2","first-page":"1","volume-title":"Proceedings of the IEEE\/AIAA 41st Digital Avionics Systems Conference (DASC)","author":"Abdo Kamiran","year":"2022","unstructured":"Kamiran Abdo, Jasmin Broehan, and Frank Thielecke. 2022. A model-based approach for early and continuous validation of avionics platforms up to virtual products and hybrid platforms. In Proceedings of the IEEE\/AIAA 41st Digital Avionics Systems Conference (DASC). IEEE, 1\u201310."},{"issue":"3","key":"e_1_3_2_3_2","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1002\/cb.2033","article-title":"Value creation or value destruction: Conceptualizing the experiential nature of value-in-use","volume":"21","author":"Abid Muhammad Farrukh","year":"2022","unstructured":"Muhammad Farrukh Abid, Amjad Shamim, Zaheen Khan, and Imran Khan. 2022. Value creation or value destruction: Conceptualizing the experiential nature of value-in-use. Journal of Consumer Behaviour 21, 3 (2022), 583\u2013601.","journal-title":"Journal of Consumer Behaviour"},{"key":"e_1_3_2_4_2","unstructured":"Pekka Abrahamsson Outi Salo Jussi Ronkainen and Juhani Warsta. 2017. Agile software development methods: Review and analysis. arXiv:1709.08439. Retrieved from https:\/\/arxiv.org\/abs\/1709.08439"},{"issue":"11","key":"e_1_3_2_5_2","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1287\/mnsc.17.11.661","article-title":"Towards a system of systems concepts","volume":"17","author":"Ackoff Russell L.","year":"1971","unstructured":"Russell L. Ackoff. 1971. Towards a system of systems concepts. Management Science 17, 11 (1971), 661\u2013671.","journal-title":"Management Science"},{"key":"e_1_3_2_6_2","volume-title":"Defining next. Generation Modular Test Systems for Space Computers Using Model-Based Systems Engineering: Defining Space Data Handling Test System Using MBSE","author":"Adolfsson Anton","year":"2024","unstructured":"Anton Adolfsson. 2024. Defining next. Generation Modular Test Systems for Space Computers Using Model-Based Systems Engineering: Defining Space Data Handling Test System Using MBSE. Thesis for the Degree of Master of Science in Engineering, M\u00e4lardalen University."},{"issue":"2","key":"e_1_3_2_7_2","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1016\/j.ijpe.2008.07.003","article-title":"The influence of time-to-market and target costing in the new product development Success","volume":"115","author":"Afonso Paulo","year":"2008","unstructured":"Paulo Afonso, Manuel Nunes, Ant\u00f3nio Paisana, and Ana Braga. 2008. The influence of time-to-market and target costing in the new product development Success. International Journal of Production Economics 115, 2 (2008), 559\u2013568.","journal-title":"International Journal of Production Economics"},{"key":"e_1_3_2_8_2","doi-asserted-by":"crossref","first-page":"104349","DOI":"10.1016\/j.micpro.2021.104349","article-title":"The VALU3S ECSEL project: Verification and validation of automated systems safety and security","volume":"87","author":"Agirre Joseba Andoni","year":"2021","unstructured":"Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, Thomas Bauer, Enrico Ferrari, M Labayen Esnaola, Vanessa Orani, Johnny \u00d6berg, et al. 2021. The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocessors and Microsystems 87 (2021), 104349.","journal-title":"Microprocessors and Microsystems"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1424"},{"key":"e_1_3_2_10_2","doi-asserted-by":"crossref","first-page":"1525","DOI":"10.1145\/3368089.3417038","volume-title":"Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","author":"Antinyan Vard","year":"2020","unstructured":"Vard Antinyan. 2020. Revealing the complexity of automotive software. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 1525\u20131528."},{"key":"e_1_3_2_11_2","first-page":"8840389","article-title":"A tool-based perspective on software code maintainability metrics: A systematic literature review","volume":"1","author":"Ardito Luca","year":"2020","unstructured":"Luca Ardito, Riccardo Coppola, Luca Barbato, and Diego Verga. 2020. A tool-based perspective on software code maintainability metrics: A systematic literature review. Scientific Programming 2020, 1 (2020), 8840389.","journal-title":"Scientific Programming"},{"issue":"4","key":"e_1_3_2_12_2","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1002\/spip.391","article-title":"Experiences and results from tailoring and deploying a large process standard in a company","volume":"13","author":"Armbrust Ove","year":"2008","unstructured":"Ove Armbrust, Jan Ebell, Ulrike Hammerschall, J\u00fcrgen M\u00fcnch, and Daniela Thoma. 2008. Experiences and results from tailoring and deploying a large process standard in a company. Software Process: Improvement and Practice 13, 4 (2008), 301\u2013309.","journal-title":"Software Process: Improvement and Practice"},{"key":"e_1_3_2_13_2","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-662-44926-4_6","volume-title":"Progress in Differential-Algebraic Equations: Deskriptor 2013","author":"Arnold Martin","year":"2014","unstructured":"Martin Arnold, Christoph Clau\u00df, and Tom Schierz. 2014. Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation V2. 0. In Progress in Differential-Algebraic Equations: Deskriptor 2013. Springer, 107\u2013125."},{"key":"e_1_3_2_14_2","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1016\/j.procs.2015.03.050","article-title":"A definition of systems thinking: A systems approach","volume":"44","author":"Arnold Ross D.","year":"2015","unstructured":"Ross D. Arnold and Jon P. Wade. 2015. A definition of systems thinking: A systems approach. Procedia Computer Science 44 (2015), 669\u2013678.","journal-title":"Procedia Computer Science"},{"key":"e_1_3_2_15_2","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1145\/1858996.1859065","volume-title":"Proceedings of the 25th IEEE\/ACM International Conference on Automated Software Engineering","author":"Aroonvatanaporn Pongtip","year":"2010","unstructured":"Pongtip Aroonvatanaporn, Chatchai Sinthop, and Barry Boehm. 2010. Reducing estimation uncertainty with continuous assessment: Tracking the \u201ccone of uncertainty\u201d. In Proceedings of the 25th IEEE\/ACM International Conference on Automated Software Engineering, 337\u2013340."},{"key":"e_1_3_2_16_2","first-page":"e2428","article-title":"Uncertainty handling in cyber\u2013physical systems: State-of-the-art approaches, tools, causes, and future directions","author":"Asmat Mah Noor","year":"2022","unstructured":"Mah Noor Asmat, Saif Ur Rehman Khan, and Shahid Hussain. 2022. Uncertainty handling in cyber\u2013physical systems: State-of-the-art approaches, tools, causes, and future directions. Journal of Software: Evolution and Process (2022), e2428.","journal-title":"Journal of Software: Evolution and Process"},{"key":"e_1_3_2_17_2","doi-asserted-by":"crossref","first-page":"106629","DOI":"10.1016\/j.compchemeng.2019.106629","article-title":"Circular economy \u2013 a challenge and an opportunity for process systems engineering","volume":"133","author":"Avraamidou Styliani","year":"2020","unstructured":"Styliani Avraamidou, Stefanos G. Baratsas, Yuhe Tian, and Efstratios N. Pistikopoulos. 2020. Circular economy \u2013 a challenge and an opportunity for process systems engineering. Computers & Chemical Engineering 133 (2020), 106629.","journal-title":"Computers & Chemical Engineering"},{"key":"e_1_3_2_18_2","first-page":"824","volume-title":"Proceedings of the INCOSE International Symposium","volume":"32","author":"Axehill Johanna Wall\u00e9n","year":"2022","unstructured":"Johanna Wall\u00e9n Axehill and Erik Herzog. 2022. Don\u2019t mix the tenses: Managing the present and the future in an MBSE context. In Proceedings of the INCOSE International Symposium, Vol. 32, Wiley Online Library, 824\u2013838."},{"key":"e_1_3_2_19_2","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/3194770.3194778","volume-title":"Proceedings of the International Workshop on Software Fairness","author":"Aydemir Fatma Ba\u015fak","year":"2018","unstructured":"Fatma Ba\u015fak Aydemir and Fabiano Dalpiaz. 2018. A roadmap for ethics-aware software engineering. In Proceedings of the International Workshop on Software Fairness, 15\u201321."},{"key":"e_1_3_2_20_2","first-page":"366","volume-title":"Proceedings of the 19th International Conference on Computer Aided Verification (CAV \u201907)","author":"Babi\u0107 Domagoj","year":"2007","unstructured":"Domagoj Babi\u0107 and Alan J. Hu. 2007. Structural abstraction of software verification conditions. In Proceedings of the 19th International Conference on Computer Aided Verification (CAV \u201907). Springer, 366\u2013378."},{"issue":"1","key":"e_1_3_2_21_2","first-page":"161","article-title":"Cyber-physical systems","volume":"12","author":"Baheti Radhakisan","year":"2011","unstructured":"Radhakisan Baheti and Helen Gill. 2011. Cyber-physical systems. The Impact of Control Technology 12, 1 (2011), 161\u2013166.","journal-title":"The Impact of Control Technology"},{"issue":"1","key":"e_1_3_2_22_2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1002\/inst.12367","article-title":"Systems modeling language (SysML v2) support for digital engineering","volume":"25","author":"Bajaj Manas","year":"2022","unstructured":"Manas Bajaj, Sanford Friedenthal, and Ed Seidewitz. 2022. Systems modeling language (SysML v2) support for digital engineering. Insight 25, 1 (2022), 19\u201324.","journal-title":"Insight"},{"key":"e_1_3_2_23_2","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/j.envsoft.2017.01.014","article-title":"Collaborative modelling or participatory modelling? A framework for water resources management","volume":"91","author":"Basco-Carrera Laura","year":"2017","unstructured":"Laura Basco-Carrera, Andrew Warren, Eelco van Beek, Andreja Jonoski, and Alessio Giardino. 2017. Collaborative modelling or participatory modelling? A framework for water resources management. Environmental Modelling & Software 91 (2017), 95\u2013110.","journal-title":"Environmental Modelling & Software"},{"key":"e_1_3_2_24_2","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1145\/3555776.3577761","volume-title":"Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing","author":"Basso Fabio","year":"2023","unstructured":"Fabio Basso, Bruno Marcelo Soares Ferreira, Rafael Torres, Rafael Z Frantz, Diego Kreutz, Maicon Bernardino, and Elder de Macedo Rodrigues. 2023. Model-driven integration and the OSLC standard: A mapping of applied studies. In Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing, 763\u2013770."},{"key":"e_1_3_2_25_2","unstructured":"Nelly Bencomo Jordi Cabot Marsha Chechik Betty H. C. Cheng Benoit Combemale Andrzej Wasowski and Steffen Zschaler. 2024. Abstraction engineering. arXiv:2408.14074. Retrieved from https:\/\/arxiv.org\/abs\/2408.14074"},{"key":"e_1_3_2_26_2","first-page":"2595","volume-title":"Proceedings of the Design Society","volume":"3","author":"Berschik Markus Christian","year":"2023","unstructured":"Markus Christian Berschik, Thomas Schumacher, Fabian Niklas Laukotka, Dieter Krause, and David Inkermann. 2023. MBSE within the engineering design community \u2013 An exploratory study. Proceedings of the Design Society 3 (2023), 2595\u20132604."},{"key":"e_1_3_2_27_2","first-page":"291","volume-title":"Literature Study on Model Transformations","author":"Biehl Matthias","year":"2010","unstructured":"Matthias Biehl. 2010. Literature Study on Model Transformations. Royal Institute of Technology, Tech. Rep. ISRN\/KTH\/MMK 291."},{"key":"e_1_3_2_28_2","volume-title":"Proceedings of the Aviation Modeling and Simulation Technologies Conference","author":"Binder Bastian","year":"2018","unstructured":"Bastian Binder, Marcel Gottschall, and Torsten Blochwitz. 2018. A novel framework approach enabling model-based requirements validation and verification. In Proceedings of the Aviation Modeling and Simulation Technologies Conference. AIAA. DOI: 10.2514\/6.2018-3892"},{"key":"e_1_3_2_29_2","doi-asserted-by":"crossref","first-page":"e1790","DOI":"10.1002\/sdr.1790","article-title":"Minding the abstraction gap: Approaches supporting implementation","author":"Black Laura J.","year":"2024","unstructured":"Laura J. Black and Donald R. Greer. 2024. Minding the abstraction gap: Approaches supporting implementation. System Dynamics Review (2024), e1790.","journal-title":"System Dynamics Review"},{"issue":"1","key":"e_1_3_2_30_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/sys.20044","article-title":"Some future trends and implications for systems and software engineering processes","volume":"9","author":"Boehm Barry","year":"2006","unstructured":"Barry Boehm. 2006. Some future trends and implications for systems and software engineering processes. Systems Engineering 9, 1 (2006), 1\u201319.","journal-title":"Systems Engineering"},{"key":"e_1_3_2_31_2","unstructured":"Arne Bor\u00e4lv Randolf Berglehner Ibtihel Cherif Daniel Fredholm Dominik Hansen Javier Magro Luis-Fernando Mejia David Mentr\u00e9 Abdul Rasheeq Daniel Schwencke et al. 2022. Holistic study of formal methods and standardization in specification development verification and validation of railway signalling system software. WCRR."},{"key":"e_1_3_2_32_2","volume-title":"Empirical Model-Building and Response Surfaces.","author":"Box George E. P.","year":"1987","unstructured":"George E. P. Box and Norman R. Draper. 1987. Empirical Model-Building and Response Surfaces. John Wiley & Sons."},{"key":"e_1_3_2_33_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-02549-5","volume-title":"Model-Driven Software Engineering in Practice","author":"Brambilla Marco","year":"2017","unstructured":"Marco Brambilla, Jordi Cabot, and Manuel Wimmer. 2017. Model-Driven Software Engineering in Practice. Morgan & Claypool Publishers."},{"key":"e_1_3_2_34_2","first-page":"1","volume-title":"2016 IEEE International Symposium on Systems Engineering (ISSE)","author":"Bretz Lukas","year":"2016","unstructured":"Lukas Bretz, Christian Tschirner, and Roman Dumitrescu. 2016. A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems. In 2016 IEEE International Symposium on Systems Engineering (ISSE). IEEE, 1\u20138."},{"key":"e_1_3_2_35_2","first-page":"672","volume-title":"Proceedings of the INCOSE International Symposium","volume":"27","author":"Brown Dale A.","year":"2017","unstructured":"Dale A. Brown and Chamara Johnson. 2017. V&V \u2013 All the way through. In Proceedings of the INCOSE International Symposium, Vol. 27, Wiley Online Library, 672\u2013687."},{"key":"e_1_3_2_36_2","first-page":"317","volume-title":"Proceedings of the 34th International Conference on Conceptual Modeling (ER \u201915)","author":"Bruneliere Hugo","year":"2015","unstructured":"Hugo Bruneliere, Jokin Garcia Perez, Manuel Wimmer, and Jordi Cabot. 2015. Emf views: A view mechanism for integrating heterogeneous models. In Proceedings of the 34th International Conference on Conceptual Modeling (ER \u201915). Springer, 317\u2013325."},{"key":"e_1_3_2_37_2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10270-019-00773-6","article-title":"Grand challenges in model-driven engineering: An analysis of the state of the research","volume":"19","author":"Bucchiarone Antonio","year":"2020","unstructured":"Antonio Bucchiarone, Jordi Cabot, Richard F Paige, and Alfonso Pierantonio. 2020. Grand challenges in model-driven engineering: An analysis of the state of the research. Software and Systems Modeling 19 (2020), 5\u201313.","journal-title":"Software and Systems Modeling"},{"issue":"2","key":"e_1_3_2_38_2","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1109\/MS.2020.3041522","article-title":"What is the future of modeling?","volume":"38","author":"Bucchiarone Antonio","year":"2021","unstructured":"Antonio Bucchiarone, Federico Ciccozzi, Leen Lambers, Alfonso Pierantonio, Matthias Tichy, Massimo Tisi, Andreas Wortmann, and Vadim Zaytsev. 2021. What is the future of modeling? IEEE Software 38, 2 (2021), 119\u2013127.","journal-title":"IEEE Software"},{"key":"e_1_3_2_39_2","volume-title":"Proceedings of the International Conference on Product Lifecycle Management","author":"Budde Oliver","year":"2010","unstructured":"Oliver Budde, G\u00fcnther Schuh, and J. Uam. 2010. Holistic PLM model\u2013deduction of a holistic plm-model from the general dimensions of an integrated management. In Proceedings of the International Conference on Product Lifecycle Management."},{"key":"e_1_3_2_40_2","doi-asserted-by":"crossref","first-page":"3193","DOI":"10.1007\/s10270-019-00746-9","article-title":"Contents for a model-based software engineering body of knowledge","volume":"18","author":"Burgue\u00f1o Loli","year":"2019","unstructured":"Loli Burgue\u00f1o, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, et al. 2019. Contents for a model-based software engineering body of knowledge. Software and Systems Modeling 18 (2019), 3193\u20133205.","journal-title":"Software and Systems Modeling"},{"issue":"2","key":"e_1_3_2_41_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3542947","article-title":"Dealing with belief uncertainty in domain models","volume":"32","author":"Burgue\u00f1o Lola","year":"2023","unstructured":"Lola Burgue\u00f1o, Paula Munoz, Robert Claris\u00f3, Jordi Cabot, S\u00e9bastien G\u00e9rard, and Antonio Vallecillo. 2023. Dealing with belief uncertainty in domain models. ACM Transactions on Software Engineering and Methodology 32, 2 (2023), 1\u201334.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"4","key":"e_1_3_2_42_2","first-page":"369","article-title":"Organisational change management: A critical review","volume":"5","author":"By Rune Todnem","year":"2005","unstructured":"Rune Todnem By. 2005. Organisational change management: A critical review. Journal of change Management 5, 4 (2005), 369\u2013380.","journal-title":"Journal of change Management"},{"key":"e_1_3_2_43_2","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/978-3-319-74730-9_13","volume-title":"Proceedings of the STAF Collocated Workshops on Software Technologies: Applications and Foundations","author":"Cabot Jordi","year":"2018","unstructured":"Jordi Cabot, Robert Claris\u00f3, Marco Brambilla, and S\u00e9bastien G\u00e9rard. 2018. Cognifying model-driven software engineering. In Proceedings of the STAF Collocated Workshops on Software Technologies: Applications and Foundations. Springer, 154\u2013160."},{"issue":"1","key":"e_1_3_2_44_2","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1002\/sys.21644","article-title":"Model-based systems engineering: Evaluating perceived value, metrics, and evidence through literature","volume":"26","author":"Campo Kelly X.","year":"2023","unstructured":"Kelly X. Campo, Thomas Teper, Casey E. Eaton, Anna M. Shipman, Garima Bhatia, and Bryan Mesmer. 2023. Model-based systems engineering: Evaluating perceived value, metrics, and evidence through literature. Systems Engineering 26, 1 (2023), 104\u2013129.","journal-title":"Systems Engineering"},{"key":"e_1_3_2_45_2","doi-asserted-by":"crossref","DOI":"10.2172\/1561164","volume-title":"Systematic Literature Review: How Is Model-Based Systems Engineering Justified?","author":"Carroll Edward Ralph","year":"2016","unstructured":"Edward Ralph Carroll and Robert Joseph Malins. 2016. Systematic Literature Review: How Is Model-Based Systems Engineering Justified?. Sandia National Laboratories."},{"key":"e_1_3_2_46_2","volume-title":"Proceedings of the Asia-Pacific Software Engineering Conference (APSEC)","author":"Cederbladh Johan","year":"2023","unstructured":"Johan Cederbladh. 2023. Light-weight MBSE approach for construction equipment domain-an experience report. In Proceedings of the Asia-Pacific Software Engineering Conference (APSEC)."},{"key":"e_1_3_2_47_2","first-page":"1","volume-title":"Proceedings of the IEEE International Systems Conference (SysCon).","author":"Cederbladh Johan","year":"2024","unstructured":"Johan Cederbladh, Luca Berardinelli, Hugo Bruneliere, Antonio Cicchetti, MohammadHadi Dehghani, Claudio Di Sipio, James Miranda, Abbas Rahimi, Riccardo Rubei, and Jagadish Suryadevara. 2024. Towards automating model-based systems engineering in industry \u2013 An experience report. In Proceedings of the IEEE International Systems Conference (SysCon). IEEE, 1\u20138."},{"issue":"3","key":"e_1_3_2_48_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3631976","article-title":"Early validation and verification of system behaviour in model-based systems engineering: A systematic literature review","volume":"33","author":"Cederbladh Johan","year":"2024","unstructured":"Johan Cederbladh, Antonio Cicchetti, and Jagadish Suryadevara. 2024. Early validation and verification of system behaviour in model-based systems engineering: A systematic literature review. ACM Transactions on Software Engineering and Methodology 33, 3 (2024), 1\u201367.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3312"},{"key":"e_1_3_2_50_2","first-page":"1","volume-title":"Proceedings of the IEEE International Systems Conference (SysCon)","author":"Cederbladh Johan","year":"2024","unstructured":"Johan Cederbladh, Marcel Gottschall, Jagadish Suryadevara, and Khaled Alekeish. 2024. Correlating logical and physical models for Early performance validation \u2013 An experience report. In Proceedings of the IEEE International Systems Conference (SysCon). IEEE, 1\u20138."},{"key":"e_1_3_2_51_2","volume-title":"Proceedings of the INCOSE Annual International Symposium","author":"Cederbladh Johan","year":"2024","unstructured":"Johan Cederbladh and Daniel Krems. 2024. Early validation of SysML architectures by extending MBSE with co-simulation using FMI and SSP. In Proceedings of the INCOSE Annual International Symposium. Retrieved from http:\/\/www.es.mdu.se\/publications\/6949-"},{"key":"e_1_3_2_52_2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1109\/MODELS-C59198.2023.00088","volume-title":"Proceedings of the ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)","author":"Cederbladh Johan","year":"2023","unstructured":"Johan Cederbladh, Anna Reale, Andreas Bergsten, Richard Mikel\u00f6v, and Antonio Cicchetti. 2023. Barriers for adopting FMI-based co-simulation in industrial MBSE processes. In Proceedings of the ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 510\u2013519."},{"key":"e_1_3_2_53_2","first-page":"1160","volume-title":"Proceedings of the INCOSE International Symposium","volume":"32","author":"Chami Mohammad","year":"2022","unstructured":"Mohammad Chami, Nabil Abdoun, and Jean-Michel Bruel. 2022. Artificial intelligence capabilities for effective model-based systems engineering: A vision paper. In Proceedings of the INCOSE International Symposium, Vol. 32, Wiley Online Library, 1160\u20131174."},{"key":"e_1_3_2_54_2","first-page":"1463","volume-title":"Proceedings of the INCOSE International Symposium","volume":"28","author":"Chami Mohammad","year":"2018","unstructured":"Mohammad Chami, Aiste Aleksandraviciene, Aurelijus Morkevicius, and Jean-Michel Bruel. 2018. Towards solving MBSE adoption challenges: The D3 MBSE adoption toolbox. In Proceedings of the INCOSE International Symposium, Vol. 28, Wiley Online Library, 1463\u20131477."},{"key":"e_1_3_2_55_2","unstructured":"Mohammad Chami and Jean-Michel Bruel. 2018. A survey on MBSE adoption challenges. (2018)."},{"key":"e_1_3_2_56_2","first-page":"1523","volume-title":"IFAC Proceedings Volumes","volume":"45","author":"Chapurlat Vincent","year":"2012","unstructured":"Vincent Chapurlat and Nicolas Daclin. 2012. System interoperability: Definition and proposition of interface model in MBSE context. IFAC Proceedings Volumes 45, 6 (2012), 1523\u20131528."},{"key":"e_1_3_2_57_2","first-page":"1","volume-title":"Proceedings of the IEEE International Systems Conference (SysCon)","author":"Chaudemar Jean-Charles","year":"2021","unstructured":"Jean-Charles Chaudemar and Pierre de Saqui-Sannes. 2021. Mbse and mdao for Early validation of design decisions: A bibliography survey. In Proceedings of the IEEE International Systems Conference (SysCon). IEEE, 1\u20138."},{"key":"e_1_3_2_58_2","doi-asserted-by":"crossref","first-page":"3207","DOI":"10.1007\/s10270-018-00713-w","article-title":"Multi-view approaches for software and system modelling: A systematic literature review","volume":"18","author":"Cicchetti Antonio","year":"2019","unstructured":"Antonio Cicchetti, Federico Ciccozzi, and Alfonso Pierantonio. 2019. Multi-view approaches for software and system modelling: A systematic literature review. Software and Systems Modeling 18 (2019), 3207\u20133233.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_59_2","first-page":"222","volume-title":"Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference","author":"Cicchetti Antonio","year":"2008","unstructured":"Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, and Alfonso Pierantonio. 2008. Automating co-evolution in model-driven engineering. In Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference. IEEE, 222\u2013231."},{"key":"e_1_3_2_60_2","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1109\/MODELS-C.2019.00068","volume-title":"Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)","author":"Ciccozzi Federico","year":"2019","unstructured":"Federico Ciccozzi, Matthias Tichy, Hans Vangheluwe, and Danny Weyns. 2019. Blended modelling-what, why and how. In Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 425\u2013430."},{"issue":"2","key":"e_1_3_2_61_2","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1287\/mnsc.42.2.173","article-title":"New product development: The performance and time-to-market tradeoff","volume":"42","author":"Cohen Morris A","year":"1996","unstructured":"Morris A Cohen, Jehoshua Eliasberg, and Teck-Hua Ho. 1996. New product development: The performance and time-to-market tradeoff. Management Science 42, 2 (1996), 173\u2013186.","journal-title":"Management Science"},{"issue":"3","key":"e_1_3_2_62_2","doi-asserted-by":"crossref","first-page":"63","DOI":"10.3390\/systems9030063","article-title":"Using MBSE for the enhancement of consistency and continuity in modular product-service-system architectures","volume":"9","author":"Dambietz Florian M.","year":"2021","unstructured":"Florian M. Dambietz, Christoph Rennpferdt, Michael Hanna, and Dieter Krause. 2021. Using MBSE for the enhancement of consistency and continuity in modular product-service-system architectures. Systems 9, 3 (2021), 63.","journal-title":"Systems"},{"key":"e_1_3_2_63_2","first-page":"2075","volume-title":"Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC)","author":"D\u2019Ambrosio Joseph","year":"2017","unstructured":"Joseph D\u2019Ambrosio and Grant Soremekun. 2017. Systems engineering challenges and MBSE opportunities for automotive system design. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE, 2075\u20132080."},{"key":"e_1_3_2_64_2","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1109\/MODELS50736.2021.00035","volume-title":"Proceedings of the ACM\/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","author":"David Istvan","year":"2021","unstructured":"Istvan David, Kousar Aslam, Sogol Faridmoayer, Ivano Malavolta, Eugene Syriani, and Patricia Lago. 2021. Collaborative model-driven software engineering: A systematic update. In Proceedings of the ACM\/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 273\u2013284."},{"issue":"1","key":"e_1_3_2_65_2","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/s10270-022-01010-3","article-title":"Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study","volume":"22","author":"David Istvan","year":"2023","unstructured":"Istvan David, Malvina Latifaj, Jakob Pietron, Weixing Zhang, Federico Ciccozzi, Ivano Malavolta, Alexander Raschke, Jan-Philipp Stegh\u00f6fer, and Regina Hebig. 2023. Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study. Software and Systems Modeling 22, 1 (2023), 415\u2013447.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_66_2","doi-asserted-by":"crossref","first-page":"120936","DOI":"10.1109\/ACCESS.2022.3222387","article-title":"A taxonomy of MBSE approaches by languages, tools and methods","volume":"10","author":"De Saqui-Sannes Pierre","year":"2022","unstructured":"Pierre De Saqui-Sannes, Rob A. Vingerhoeds, Christophe Garion, and Xavier Thirioux. 2022. A taxonomy of MBSE approaches by languages, tools and methods. IEEE Access 10 (2022), 120936\u2013120950.","journal-title":"IEEE Access"},{"key":"e_1_3_2_67_2","volume-title":"Proceedings of the International Design Engineering Technical Conferences and Computers and Information in Engineering Conference","volume":"87349","author":"Witharanage Shenal Dilanjaya Hewa","year":"2023","unstructured":"Shenal Dilanjaya Hewa Witharanage, Katja Holtta-Otto, Kevin Otto, and Wen Li. 2023. Designing complex systems for decommissioning in a circular economy: A systematic literature review. In Proceedings of the International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Vol. 87349, American Society of Mechanical Engineers, V006T06A044."},{"key":"e_1_3_2_68_2","volume-title":"The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World","author":"Domingos Pedro","year":"2015","unstructured":"Pedro Domingos. 2015. The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World. Basic Books."},{"key":"e_1_3_2_69_2","volume-title":"Decision Making in Systems Engineering and Management","author":"Driscoll Patrick J.","year":"2022","unstructured":"Patrick J. Driscoll, Gregory S. Parnell, and Dale L. Henderson. 2022. Decision Making in Systems Engineering and Management. John Wiley & Sons."},{"key":"e_1_3_2_70_2","first-page":"132","volume-title":"Modelica","author":"Durling Erik","year":"2017","unstructured":"Erik Durling, Elias Palmkvist, and Maria Henningsson. 2017. FMI and IP protection of models: A survey of use cases and support in the standard. In Modelica, 132\u2013036."},{"issue":"3","key":"e_1_3_2_71_2","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/MS.2016.68","article-title":"DevOps","volume":"33","author":"Ebert Christof","year":"2016","unstructured":"Christof Ebert, Gorka Gallardo, Josune Hernantes, and Nicolas Serrano. 2016. DevOps. IEEE Software 33, 3 (2016), 94\u2013100.","journal-title":"IEEE Software"},{"key":"e_1_3_2_72_2","doi-asserted-by":"crossref","first-page":"180","DOI":"10.5220\/0006774101800191","volume-title":"Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE \u201918)","author":"El Hamlaoui Mahmoud","year":"2018","unstructured":"Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold, and Bernard Coulette. 2018. A MDE approach for heterogeneous models consistency. In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE \u201918). 180\u2013191."},{"issue":"8","key":"e_1_3_2_73_2","first-page":"1","article-title":"Survey of model-based systems engineering (MBSE) methodologies","volume":"25","author":"Estefan Jeff A.","year":"2007","unstructured":"Jeff A. Estefan. 2007. Survey of model-based systems engineering (MBSE) methodologies. Incose MBSE Focus Group 25, 8 (2007), 1\u201312.","journal-title":"Incose MBSE Focus Group"},{"key":"e_1_3_2_74_2","first-page":"4559","volume-title":"Proceedings of the AIAA Aviation Forum and Ascend","author":"Fazal Bijan","year":"2024","unstructured":"Bijan Fazal, Joanna Schmidt, Ben D. Phillips, Irian Ordaz, and Kenneth Moore. 2024. Integration of uncertainty quantification in a model-based systems analysis and engineering framework. In Proceedings of the AIAA Aviation Forum and Ascend, 4559."},{"key":"e_1_3_2_75_2","first-page":"1","volume-title":"2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)","author":"Feichtinger Kevin","year":"2022","unstructured":"Kevin Feichtinger, Kristof Meixner, Felix Rinker, Istv\u00e1n Koren, Holger Eichelberger, Tonja Heinemann, J\u00f6rg Holtmann, Marco Konersmann, Judith Michael, Eva-Maria Neumann, et al. 2022. Industry voices on software engineering challenges in cyber-physical production systems engineering. In 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, 1\u20138."},{"key":"e_1_3_2_76_2","doi-asserted-by":"crossref","first-page":"50335","DOI":"10.1109\/ACCESS.2022.3172964","article-title":"Architecting digital Twins","volume":"10","author":"Ferko Enxhi","year":"2022","unstructured":"Enxhi Ferko, Alessio Bucaioni, and Moris Behnam. 2022. Architecting digital Twins. IEEE Access 10 (2022), 50335\u201350350.","journal-title":"IEEE Access"},{"issue":"3","key":"e_1_3_2_77_2","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MS.2013.44","article-title":"Model-based development and formal methods in the railway industry","volume":"30","author":"Ferrari Alessio","year":"2013","unstructured":"Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, and Gianluca Magnani. 2013. Model-based development and formal methods in the railway industry. IEEE Software 30, 3 (2013), 28\u201334.","journal-title":"IEEE Software"},{"key":"e_1_3_2_78_2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/503272.503291","volume-title":"Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Flanagan Cormac","year":"2002","unstructured":"Cormac Flanagan and Shaz Qadeer. 2002. Predicate abstraction for software verification. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 191\u2013202."},{"key":"e_1_3_2_79_2","volume-title":"A Practical Guide to SysML: The Systems Modeling Language","author":"Friedenthal Sanford","year":"2014","unstructured":"Sanford Friedenthal, Alan Moore, and Rick Steiner. 2014. A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann."},{"issue":"1","key":"e_1_3_2_80_2","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1080\/14615517.2013.764633","article-title":"Avoiding sustainability trade-offs in environmental assessment","volume":"31","author":"Gibson Robert B.","year":"2013","unstructured":"Robert B. Gibson. 2013. Avoiding sustainability trade-offs in environmental assessment. Impact Assessment and Project Appraisal 31, 1 (2013), 2\u201312.","journal-title":"Impact Assessment and Project Appraisal"},{"issue":"3","key":"e_1_3_2_81_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3179993","article-title":"Co-simulation: A survey","volume":"51","author":"Gomes Cl\u00e1udio","year":"2018","unstructured":"Cl\u00e1udio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, and Hans Vangheluwe. 2018. Co-simulation: A survey. ACM Computing Surveys 51, 3 (2018), 1\u201333.","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"e_1_3_2_82_2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1080\/23248378.2017.1412839","article-title":"Verification and validation of simulations in a Rail vehicle certification context","volume":"6","author":"G\u00f6tz Gernoth","year":"2018","unstructured":"Gernoth G\u00f6tz and Oldrich Polach. 2018. Verification and validation of simulations in a Rail vehicle certification context. International Journal of Rail Transportation 6, 2 (2018), 83\u2013100.","journal-title":"International Journal of Rail Transportation"},{"key":"e_1_3_2_83_2","doi-asserted-by":"crossref","first-page":"110453","DOI":"10.1016\/j.jss.2019.110453","article-title":"The long and winding road: MBSE adoption for functional avionics of spacecraft","volume":"160","author":"Gregory Joe","year":"2020","unstructured":"Joe Gregory, Lucy Berthoud, Theo Tryfonas, Alain Rossignol, and Ludovic Faure. 2020. The long and winding road: MBSE adoption for functional avionics of spacecraft. Journal of Systems and Software 160 (2020), 110453.","journal-title":"Journal of Systems and Software"},{"key":"e_1_3_2_84_2","doi-asserted-by":"crossref","unstructured":"Reinhard Haberfellner Peter Nagel Mario Becker Alfred B\u00fcchel and Heinrich von Massow. 2019. Systems Engineering. Springer.","DOI":"10.1007\/978-3-030-13431-0"},{"key":"e_1_3_2_85_2","first-page":"1560","volume-title":"Proceedings of the INCOSE International Symposium","volume":"34","author":"H\u00e4llqvist Robert","year":"2024","unstructured":"Robert H\u00e4llqvist, Erik Herzog, Johanna Wall\u00e9n Axehill, and John R Palmer. 2024. Excuse me sir\/madam, which model? In Proceedings of the INCOSE International Symposium, Vol. 34, Wiley Online Library, 1560\u20131578."},{"key":"e_1_3_2_86_2","first-page":"37","volume-title":"Proceedings of the Modelica Conferences","author":"H\u00e4llqvist Robert","year":"2021","unstructured":"Robert H\u00e4llqvist, Raghu Chaitanya Munjulury, Robert Braun, Magnus Eek, and Petter Krus. 2021. Engineering domain interoperability using the system structure and parameterization (SSP) standard. In Proceedings of the Modelica Conferences, 37\u201348."},{"issue":"18","key":"e_1_3_2_87_2","doi-asserted-by":"crossref","first-page":"2901","DOI":"10.3390\/electronics11182901","article-title":"Realizing interoperability between MBSE domains in aircraft system development","volume":"11","author":"H\u00e4llqvist Robert","year":"2022","unstructured":"Robert H\u00e4llqvist, Raghu Chaitanya Munjulury, Robert Braun, Magnus Eek, and Petter Krus. 2022. Realizing interoperability between MBSE domains in aircraft system development. Electronics 11, 18 (2022), 2901.","journal-title":"Electronics"},{"key":"e_1_3_2_88_2","first-page":"1","volume-title":"Proceedings of the 1st International Workshop on Realizing AI Synergies in Software Engineering (RAISE)","author":"Harman Mark","year":"2012","unstructured":"Mark Harman. 2012. The role of artificial intelligence in software engineering. In Proceedings of the 1st International Workshop on Realizing AI Synergies in Software Engineering (RAISE). IEEE, 1\u20136."},{"issue":"5","key":"e_1_3_2_89_2","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1109\/TSE.2016.2610424","article-title":"Approaches to co-evolution of metamodels and models: A survey","volume":"43","author":"Hebig Regina","year":"2016","unstructured":"Regina Hebig, Djamel Eddine Khelladi, and Reda Bendraou. 2016. Approaches to co-evolution of metamodels and models: A survey. IEEE Transactions on Software Engineering 43, 5 (2016), 396\u2013414.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"e_1_3_2_90_2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/sys.21640","article-title":"Towards developing metrics to evaluate digital engineering","volume":"26","author":"Henderson Kaitlin","year":"2023","unstructured":"Kaitlin Henderson, Tom McDermott, Eileen Van Aken, and Alejandro Salado. 2023. Towards developing metrics to evaluate digital engineering. Systems Engineering 26, 1 (2023), 3\u201331.","journal-title":"Systems Engineering"},{"issue":"1","key":"e_1_3_2_91_2","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1002\/sys.21566","article-title":"Value and benefits of model-based systems engineering (MBSE): Evidence from the literature","volume":"24","author":"Henderson Kaitlin","year":"2021","unstructured":"Kaitlin Henderson and Alejandro Salado. 2021. Value and benefits of model-based systems engineering (MBSE): Evidence from the literature. Systems Engineering 24, 1 (2021), 51\u201366.","journal-title":"Systems Engineering"},{"key":"e_1_3_2_92_2","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1145\/3461702.3462564","volume-title":"Proceedings of the AAAI\/ACM Conference on AI, Ethics, and Society","author":"Henriksen Anne","year":"2021","unstructured":"Anne Henriksen, Simon Enni, and Anja Bechmann. 2021. Situated accountability: Ethical principles, certification standards, and explanation methods in applied AI. In Proceedings of the AAAI\/ACM Conference on AI, Ethics, and Society, 574\u2013585."},{"key":"e_1_3_2_93_2","first-page":"1367","volume-title":"Proceedings of the INCOSE International Symposium","volume":"34","author":"Herzog Erik","year":"2024","unstructured":"Erik Herzog, Robert Nilsson, Judith Crockford, Andrii Berezovskyi, Torbj\u00f6rn Holm, Jad El-khoury, Tord Ringenhall, Eran Gery, and Stefan Albinsson. 2024a. Enabling digital engineering with federated PLM \u2013 Experiences from the heliple-2 project. In Proceedings of the INCOSE International Symposium, Vol. 34, Wiley Online Library, 1367\u20131383."},{"key":"e_1_3_2_94_2","first-page":"593","volume-title":"Proceedings of the Design Society","volume":"4","author":"Herzog Erik","year":"2024","unstructured":"Erik Herzog, Johan Tingstr\u00f6m, Johanna Wall\u00e9n Axehill, \u00c5sa Nordling Larsson, and Christopher Jouannet. 2024b. From tears to tiers \u2013 Architectural principles for federated PLM landscapes. Proceedings of the Design Society 4 (2024), 593\u2013602."},{"key":"e_1_3_2_95_2","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-540-24732-6_6","volume-title":"Proceedings of the 11th International SPIN Workshop on Model Checking Software","author":"Holzmann Gerard J","year":"2004","unstructured":"Gerard J Holzmann and Rajeev Joshi. 2004. Model-driven software verification. In Proceedings of the 11th International SPIN Workshop on Model Checking Software. Springer, 76\u201391."},{"key":"e_1_3_2_96_2","first-page":"1","volume-title":"Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings","author":"Horv\u00e1th Benedek","year":"2020","unstructured":"Benedek Horv\u00e1th, Bence Graics, \u00c1kos Hajdu, Zolt\u00e1n Micskei, Vince Moln\u00e1r, Istv\u00e1n R\u00e1th, Luigi Andolfato, Ivan Gomes, and Robert Karban. 2020. Model checking as a service: Towards pragmatic hidden formal methods. In Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 1\u20135."},{"issue":"8","key":"e_1_3_2_97_2","first-page":"512","article-title":"Comparative studies of error metrics in variable fidelity model uncertainty quantification","volume":"29","author":"Hu Jiexiang","year":"2018","unstructured":"Jiexiang Hu, Yang Yang, Qi Zhou, Ping Jiang, Xinyu Shao, Leshi Shu, and Yahui Zhang. 2018. Comparative studies of error metrics in variable fidelity model uncertainty quantification. Journal of Engineering Design 29, 8\u20139 (2018), 512\u2013538.","journal-title":"Journal of Engineering Design"},{"issue":"2","key":"e_1_3_2_98_2","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1002\/sys.21466","article-title":"State-of-practice survey of model-based systems engineering","volume":"22","author":"Huldt Tomas","year":"2019","unstructured":"Tomas Huldt and Ivan Stenius. 2019. State-of-practice survey of model-based systems engineering. Systems Engineering 22, 2 (2019), 134\u2013145.","journal-title":"Systems Engineering"},{"key":"e_1_3_2_99_2","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1145\/1985793.1985882","volume-title":"Proceedings of the 33rd International Conference on Software Engineering","author":"Hutchinson John","year":"2011","unstructured":"John Hutchinson, Mark Rouncefield, and Jon Whittle. 2011. Model-driven engineering practices in industry. In Proceedings of the 33rd International Conference on Software Engineering, 633\u2013642."},{"key":"e_1_3_2_100_2","unstructured":"International Council on Systems Engineering (INCOSE). 2024. Retrieved from https:\/\/www.incose.org\/publications\/se-vision-2035"},{"issue":"3","key":"e_1_3_2_101_2","first-page":"3","article-title":"On the impact significance of metamodel evolution in MDE","volume":"11","author":"Iovino Ludovico","year":"2012","unstructured":"Ludovico Iovino, Alfonso Pierantonio, and Ivano Malavolta. 2012. On the impact significance of metamodel evolution in MDE. The Journal of Object Technology 11, 3 (2012), 3\u20131.","journal-title":"The Journal of Object Technology"},{"key":"e_1_3_2_102_2","first-page":"5258","volume-title":"Proceedings of the AIAA Guidance, Navigation, and Control Conference and Exhibit","author":"Jacklin Stephen","year":"2004","unstructured":"Stephen Jacklin, Johann Schumann, Pramod Gupta, M. Lowry, John Bosworth, Eddie Zavala, Kelly Hayhurst, Celeste Belcastro, and Christine Belcastro. 2004. Verification, validation, and certification challenges for adaptive flight-critical control system software. In Proceedings of the AIAA Guidance, Navigation, and Control Conference and Exhibit, 5258."},{"issue":"4","key":"e_1_3_2_103_2","doi-asserted-by":"crossref","first-page":"1511","DOI":"10.1007\/s10270-022-01000-5","article-title":"Consistency management in industrial continuous model-based development settings: A reality check","volume":"21","author":"Jongeling Robbert","year":"2022","unstructured":"Robbert Jongeling, Federico Ciccozzi, Jan Carlson, and Antonio Cicchetti. 2022. Consistency management in industrial continuous model-based development settings: A reality check. Software and Systems Modeling 21, 4 (2022), 1511\u20131530.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_104_2","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/978-3-031-08166-8_13","volume-title":"Proceedings of the Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner H\u00e4hnle on the Occasion of His 60th Birthday","author":"Kamburjan Eduard","year":"2022","unstructured":"Eduard Kamburjan and Sandro Rama Fiorini. 2022. On the notion of naturalness in formal modeling. In Proceedings of the Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner H\u00e4hnle on the Occasion of His 60th Birthday. Springer, 264\u2013289."},{"key":"e_1_3_2_105_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-93547-4","volume-title":"Domain-Specific Conceptual Modeling: Concepts, Methods and ADOxx Tools","author":"Karagiannis Dimitris","year":"2022","unstructured":"Dimitris Karagiannis, Moonkun Lee, Knut Hinkelmann, and Wilfrid Utz. 2022. Domain-Specific Conceptual Modeling: Concepts, Methods and ADOxx Tools. Springer Nature."},{"issue":"2","key":"e_1_3_2_106_2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1046\/j.1365-2575.2001.00097.x","article-title":"Asynchronous and distributed process improvement: The role of collaborative technologies","volume":"11","author":"Kock Ned","year":"2001","unstructured":"Ned Kock. 2001. Asynchronous and distributed process improvement: The role of collaborative technologies. Information Systems Journal 11, 2 (2001), 87\u2013110.","journal-title":"Information Systems Journal"},{"key":"e_1_3_2_107_2","doi-asserted-by":"crossref","DOI":"10.1002\/9781119516699","volume-title":"Systems Engineering Principles and Practice","author":"Kossiakoff Alexander","year":"2020","unstructured":"Alexander Kossiakoff, Steven M. Biemer, Samuel J. Seymour, and David A. Flanigan. 2020. Systems Engineering Principles and Practice. John Wiley & Sons."},{"issue":"1","key":"e_1_3_2_108_2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1177\/1063293X17736358","article-title":"Systematic reuse and platforming: Application examples for enhancing reuse with model-based systems engineering methods in space systems development","volume":"26","author":"Lange Caroline","year":"2018","unstructured":"Caroline Lange, Jan Thimo Grundmann, Michael Kretzenbacher, and Philipp Martin Fischer. 2018. Systematic reuse and platforming: Application examples for enhancing reuse with model-based systems engineering methods in space systems development. Concurrent Engineering 26, 1 (2018), 77\u201392.","journal-title":"Concurrent Engineering"},{"key":"e_1_3_2_109_2","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/j.infsof.2016.10.001","article-title":"Problems, causes and solutions when adopting continuous delivery\u2014A systematic literature review","volume":"82","author":"Laukkanen Eero","year":"2017","unstructured":"Eero Laukkanen, Juha Itkonen, and Casper Lassenius. 2017. Problems, causes and solutions when adopting continuous delivery\u2014A systematic literature review. Information and Software Technology 82 (2017), 55\u201379.","journal-title":"Information and Software Technology"},{"key":"e_1_3_2_110_2","first-page":"3","volume-title":"Proceedings of the 15th International Conference on Formal Aspects of Component Software (FACS \u201918)","author":"Lee Edward A.","year":"2018","unstructured":"Edward A. Lee and Marjan Sirjani. 2018. What good are models? In Proceedings of the 15th International Conference on Formal Aspects of Component Software (FACS \u201918). Springer, 3\u201331."},{"key":"e_1_3_2_111_2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s10270-016-0523-3","article-title":"Model-based engineering in the embedded systems domain: An industrial survey on the State-of-practice","volume":"17","author":"Liebel Grischa","year":"2018","unstructured":"Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, and J\u00f6rgen Hansson. 2018. Model-based engineering in the embedded systems domain: An industrial survey on the State-of-practice. Software & Systems Modeling 17 (2018), 91\u2013113.","journal-title":"Software & Systems Modeling"},{"issue":"7","key":"e_1_3_2_112_2","doi-asserted-by":"crossref","first-page":"3431","DOI":"10.3390\/app12073431","article-title":"Systematic literature review of mbse tool-chains","volume":"12","author":"Ma Junda","year":"2022","unstructured":"Junda Ma, Guoxin Wang, Jinzhi Lu, Hans Vangheluwe, Dimitris Kiritsis, and Yan Yan. 2022. Systematic literature review of mbse tool-chains. Applied Sciences 12, 7 (2022), 3431.","journal-title":"Applied Sciences"},{"issue":"5","key":"e_1_3_2_113_2","doi-asserted-by":"crossref","first-page":"2321","DOI":"10.3390\/app11052321","article-title":"MBSE testbed for rapid, cost-effective prototyping and evaluation of system modeling approaches","volume":"11","author":"Madni Azad M.","year":"2021","unstructured":"Azad M. Madni. 2021. MBSE testbed for rapid, cost-effective prototyping and evaluation of system modeling approaches. Applied Sciences 11, 5 (2021), 2321.","journal-title":"Applied Sciences"},{"issue":"1","key":"e_1_3_2_114_2","doi-asserted-by":"crossref","first-page":"12","DOI":"10.3390\/systems7010012","article-title":"Economic analysis of model-based systems engineering","volume":"7","author":"Madni Azad M.","year":"2019","unstructured":"Azad M. Madni and Shatad Purohit. 2019. Economic analysis of model-based systems engineering. Systems 7, 1 (2019), 12.","journal-title":"Systems"},{"issue":"3","key":"e_1_3_2_115_2","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1002\/sys.21438","article-title":"Model-based systems engineering: Motivation, current status, and research opportunities","volume":"21","author":"Madni Azad M.","year":"2018","unstructured":"Azad M. Madni and Michael Sievers. 2018. Model-based systems engineering: Motivation, current status, and research opportunities. Systems Engineering 21, 3 (2018), 172\u2013190.","journal-title":"Systems Engineering"},{"issue":"4","key":"e_1_3_2_116_2","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","article-title":"Architecting principles for systems-of-systems","volume":"1","author":"Maier Mark W.","year":"1998","unstructured":"Mark W. Maier. 1998. Architecting principles for systems-of-systems. Systems Engineering: The Journal of the International Council on Systems Engineering 1, 4 (1998), 267\u2013284.","journal-title":"Systems Engineering: The Journal of the International Council on Systems Engineering"},{"key":"e_1_3_2_117_2","first-page":"5137625","article-title":"Integrating security requirements engineering Into MBSE: Profile and guidelines","volume":"1","author":"Ma\u017eeika Donatas","year":"2020","unstructured":"Donatas Ma\u017eeika and Rimantas Butleris. 2020. Integrating security requirements engineering Into MBSE: Profile and guidelines. Security and Communication Networks 2020, 1 (2020), 5137625.","journal-title":"Security and Communication Networks"},{"key":"e_1_3_2_118_2","unstructured":"Richard Mikel\u00f6v and Andreas Bergsten. 2023. Evaluating the reliability of FMI co-simulation for validation."},{"key":"e_1_3_2_119_2","doi-asserted-by":"crossref","first-page":"801","DOI":"10.1109\/MODELS-C59198.2023.00128","volume-title":"Proceedings of the ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)","author":"Mittal Rakshit","year":"2023","unstructured":"Rakshit Mittal, Raheleh Eslampanah, Lucas Lima, Hans Vangheluwe, and Dominique Blouin. 2023. Towards an ontological framework for validity frames. In Proceedings of the ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 801\u2013805. DOI: 10.1109\/MODELS-C59198.2023.00128"},{"key":"e_1_3_2_120_2","first-page":"448","volume-title":"Proceedings of the INCOSE International Symposium","volume":"25","author":"Muller Gerrit","year":"2015","unstructured":"Gerrit Muller, Damien Wee, and Martin Moberg. 2015. Creating an A3 architecture overview; A case study in subSea systems. In Proceedings of the INCOSE International Symposium, Vol. 25, Wiley Online Library, 448\u2013462."},{"key":"e_1_3_2_121_2","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/j.procir.2021.05.073","article-title":"Multi-domain simulation utilizing SysML: State of the art and future perspectives","volume":"100","author":"Nigischer Christian","year":"2021","unstructured":"Christian Nigischer, S\u00e9bastien Bougain, Rainer Riegler, Heinz Peter Stanek, and Manfred Grafinger. 2021. Multi-domain simulation utilizing SysML: State of the art and future perspectives. Procedia CIRP 100 (2021), 319\u2013324.","journal-title":"Procedia CIRP"},{"key":"e_1_3_2_122_2","first-page":"328","volume-title":"Proceedings of the 10th System of Systems Engineering Conference (SoSE)","author":"Nikolaidou Mara","year":"2015","unstructured":"Mara Nikolaidou, George-Dimitrios Kapos, Anargyros Tsadimas, Vassilios Dalakas, and Dimosthenis Anagnostopoulos. 2015. Simulating SysML models: Overview and challenges. In Proceedings of the 10th System of Systems Engineering Conference (SoSE). IEEE, 328\u2013333."},{"key":"e_1_3_2_123_2","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/j.rser.2016.03.045","article-title":"Building simulations supporting decision making in Early design \u2013 A review","volume":"61","author":"\u00d8sterg\u00e5rd Torben","year":"2016","unstructured":"Torben \u00d8sterg\u00e5rd, Rasmus L. Jensen, and Steffen E. Maagaard. 2016. Building simulations supporting decision making in Early design \u2013 A review. Renewable and Sustainable Energy Reviews 61 (2016), 187\u2013201.","journal-title":"Renewable and Sustainable Energy Reviews"},{"issue":"2","key":"e_1_3_2_124_2","doi-asserted-by":"crossref","first-page":"17451","DOI":"10.1016\/j.ifacol.2020.12.2118","article-title":"Social responsibility, human centred systems and engineering ethics: A new manifesto for systems engineering design praxis","volume":"53","author":"O\u2019Neill B.","year":"2020","unstructured":"B. O\u2019Neill and Larry Stapleton. 2020. Social responsibility, human centred systems and engineering ethics: A new manifesto for systems engineering design praxis. IFAC-PapersOnLine 53, 2 (2020), 17451\u201317456.","journal-title":"IFAC-PapersOnLine"},{"key":"e_1_3_2_125_2","first-page":"461","volume-title":"Proceedings of the Annual Modeling and Simulation Conference (ANNSIM)","author":"Paredis Randy","year":"2022","unstructured":"Randy Paredis, Joeri Exelmans, and Hans Vangheluwe. 2022. Multi-paradigm modelling for model based systems engineering: Extending the ftg+ pm. In Proceedings of the Annual Modeling and Simulation Conference (ANNSIM). IEEE, 461\u2013474."},{"key":"e_1_3_2_126_2","first-page":"871","volume-title":"Proceedings of the IEEE Space, Aerospace and Defence Conference (SPACE)","author":"Patel Anamika","year":"2024","unstructured":"Anamika Patel, Y. Maheshwaran, and P. Santhya. 2024. Easing adoption of model based system engineering with application of generative AI. In Proceedings of the IEEE Space, Aerospace and Defence Conference (SPACE), 871\u2013874. DOI: 10.1109\/SPACE63117.2024.10667868"},{"key":"e_1_3_2_127_2","first-page":"1","volume-title":"Proceedings of the 2nd OOPSLA Workshop on Method Engineering for Object-Oriented and Component-Based Development","author":"Patel Chaitali","year":"2004","unstructured":"Chaitali Patel, Sergio De Cesare, Nicola Iacovelli, and Antonio Merico. 2004. A framework for method tailoring: A case study. In Proceedings of the 2nd OOPSLA Workshop on Method Engineering for Object-Oriented and Component-Based Development, 1\u201314."},{"issue":"11","key":"e_1_3_2_128_2","doi-asserted-by":"crossref","first-page":"15477","DOI":"10.1109\/TITS.2024.3444048","article-title":"Concept of using the MBSE approach to integrate security patterns in safety-related projects for the automotive industry","volume":"25","author":"Piatek Piotr","year":"2024","unstructured":"Piotr Piatek, Piotr Mydowski, Aleksander Buczacki, and Szczepan Moskwa. 2024. Concept of using the MBSE approach to integrate security patterns in safety-related projects for the automotive industry. IEEE Transactions on Intelligent Transportation Systems 25, 11 (November 2024), 15477\u201315492.","journal-title":"IEEE Transactions on Intelligent Transportation Systems"},{"key":"e_1_3_2_129_2","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1109\/MODELS-C.2019.00029","volume-title":"Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)","author":"Pilarski Sebastian","year":"2019","unstructured":"Sebastian Pilarski, Martin Staniszewski, Frederic Villeneuve, and Daniel Varro. 2019. On artificial intelligence for simulation and design space exploration in gas turbine design. In Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 170\u2013174."},{"key":"e_1_3_2_130_2","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10703-006-0028-8","article-title":"Early verification and validation of mission critical systems","volume":"30","author":"Ponsard Christophe","year":"2007","unstructured":"Christophe Ponsard, Philippe Massonet, Jean-Fran\u00e7ois Molderez, Andr\u00e9 Rifaut, A. van Lamsweerde, and H. Tran Van. 2007. Early verification and validation of mission critical systems. Formal Methods in System Design 30 (2007), 233\u2013247.","journal-title":"Formal Methods in System Design"},{"issue":"5","key":"e_1_3_2_131_2","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1002\/sys.21550","article-title":"Assaying the importance of system complexity for the systems engineering community","volume":"23","author":"Potts Matthew W.","year":"2020","unstructured":"Matthew W. Potts, Pia A. Sartor, Angus Johnson, and Seth Bullock. 2020. Assaying the importance of system complexity for the systems engineering community. Systems Engineering 23, 5 (2020), 579\u2013596.","journal-title":"Systems Engineering"},{"key":"e_1_3_2_132_2","first-page":"1","article-title":"Integrated and open development platform for the automotive industry","author":"Puntigam Wolfgang","year":"2020","unstructured":"Wolfgang Puntigam, Josef Zehetner, Ettore Lappano, and Daniel Krems. 2020. Integrated and open development platform for the automotive industry. Systems Engineering for Automotive Powertrain Development (2020), 1\u201327.","journal-title":"Systems Engineering for Automotive Powertrain Development"},{"key":"e_1_3_2_133_2","doi-asserted-by":"crossref","first-page":"4797","DOI":"10.1109\/ACCESS.2020.3048047","article-title":"Software verification and validation of Safe autonomous cars: A systematic literature review","volume":"9","author":"Rajabli Nijat","year":"2020","unstructured":"Nijat Rajabli, Francesco Flammini, Roberto Nardone, and Valeria Vittorini. 2020. Software verification and validation of Safe autonomous cars: A systematic literature review. IEEE Access 9 (2020), 4797\u20134819.","journal-title":"IEEE Access"},{"issue":"12","key":"e_1_3_2_134_2","doi-asserted-by":"crossref","first-page":"3178","DOI":"10.1109\/TAC.2014.2351672","article-title":"Supporting heterogeneity in cyber-physical systems architectures","volume":"59","author":"Rajhans Akshay","year":"2014","unstructured":"Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, Andr\u00e9 Platzer, and Bradley Schmerl. 2014. Supporting heterogeneity in cyber-physical systems architectures. IEEE Transactions on Automatic Control 59, 12 (2014), 3178\u20133193.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"e_1_3_2_135_2","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1109\/TSMCC.2011.2106495","article-title":"Model-based systems engineering: An emerging approach for modern systems","volume":"42","author":"Ramos Ana Lu\u00edsa","year":"2011","unstructured":"Ana Lu\u00edsa Ramos, Jos\u00e9 Vasconcelos Ferreira, and Jaume Barcel\u00f3. 2011. Model-based systems engineering: An emerging approach for modern systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 42, 1 (2011), 101\u2013111.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)"},{"key":"e_1_3_2_136_2","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/j.jss.2015.04.089","article-title":"Toward the tools selection in model based system engineering for embedded systems\u2014A systematic literature review","volume":"106","author":"Rashid Muhammad","year":"2015","unstructured":"Muhammad Rashid, Muhammad Waseem Anwar, and Aamir M. Khan. 2015. Toward the tools selection in model based system engineering for embedded systems\u2014A systematic literature review. Journal of Systems and Software 106 (2015), 150\u2013163.","journal-title":"Journal of Systems and Software"},{"key":"e_1_3_2_137_2","volume-title":"Proceedings of the AIAA Scitech 2021 Forum","author":"Raz Ali K.","year":"2021","unstructured":"Ali K. Raz, Erik P. Blasch, Cesare Guariniello, and Zohaib T. Mian. 2021. An overview of systems engineering challenges for designing AI-enabled aerospace systems. In Proceedings of the AIAA Scitech 2021 Forum, 0564."},{"key":"e_1_3_2_138_2","first-page":"236","volume-title":"Proceedings of the International Symposium on Collaborative Technologies and Systems","author":"Roth Gregory L.","year":"2007","unstructured":"Gregory L. Roth. 2007. Decision making in systems engineering: The foundation. In Proceedings of the International Symposium on Collaborative Technologies and Systems. IEEE, 236\u2013246."},{"key":"e_1_3_2_139_2","first-page":"93","volume-title":"Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications","author":"Saadatmand Mehrdad","year":"2014","unstructured":"Mehrdad Saadatmand and Alessio Bucaioni. 2014. OSLC Tool integration and systems engineering \u2013 The relationship between the two worlds. In Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications. IEEE, 93\u2013101."},{"key":"e_1_3_2_140_2","doi-asserted-by":"crossref","first-page":"648","DOI":"10.1109\/MODELS-C.2019.00099","volume-title":"Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)","author":"Savary-Leblanc Maxime","year":"2019","unstructured":"Maxime Savary-Leblanc. 2019. Improving MBSE tools UX with AI-empowered software assistants. In Proceedings of the ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 648\u2013652. DOI: 10.1109\/MODELS-C.2019.00099"},{"issue":"2","key":"e_1_3_2_141_2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","article-title":"Model-driven engineering","volume":"39","author":"Schmidt Douglas C.","year":"2006","unstructured":"Douglas C. Schmidt. 2006. Model-driven engineering. Computer-IEEE Computer Society 39, 2 (2006), 25.","journal-title":"Computer-IEEE Computer Society"},{"issue":"4","key":"e_1_3_2_142_2","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/s10270-012-0261-0","article-title":"What will it take? A view on adoption of model-based methods in practice","volume":"11","author":"Selic Bran","year":"2012","unstructured":"Bran Selic. 2012. What will it take? A view on adoption of model-based methods in practice. Software & Systems Modeling 11, 4 (2012), 513\u2013526.","journal-title":"Software & Systems Modeling"},{"key":"e_1_3_2_143_2","doi-asserted-by":"crossref","first-page":"3909","DOI":"10.1109\/ACCESS.2017.2685629","article-title":"Continuous integration, delivery and deployment: A systematic review on approaches, tools, challenges and practices","volume":"5","author":"Shahin Mojtaba","year":"2017","unstructured":"Mojtaba Shahin, Muhammad Ali Babar, and Liming Zhu. 2017. Continuous integration, delivery and deployment: A systematic review on approaches, tools, challenges and practices. IEEE Access 5 (2017), 3909\u20133943.","journal-title":"IEEE Access"},{"issue":"2","key":"e_1_3_2_144_2","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1177\/1063293X16671771","article-title":"A verification and validation planning method to address change propagation effects in engineering design and manufacturing","volume":"25","author":"Shankar Prabhu","year":"2017","unstructured":"Prabhu Shankar, Joshua D. Summers, and Keith Phelan. 2017. A verification and validation planning method to address change propagation effects in engineering design and manufacturing. Concurrent Engineering 25, 2 (2017), 151\u2013162.","journal-title":"Concurrent Engineering"},{"issue":"2","key":"e_1_3_2_145_2","doi-asserted-by":"crossref","first-page":"139","DOI":"10.17705\/1thci.00203","article-title":"What went wrong? Identifying Risk factors for popular negative consequences in AI","volume":"16","author":"Sharma Madhav","year":"2024","unstructured":"Madhav Sharma, David Biros, Corey Baham, and Jacob Biros. 2024. What went wrong? Identifying Risk factors for popular negative consequences in AI. AIS Transactions on Human-Computer Interaction 16, 2 (2024), 139\u2013176.","journal-title":"AIS Transactions on Human-Computer Interaction"},{"key":"e_1_3_2_146_2","first-page":"84","volume-title":"Proceedings of the INCOSE International Symposium","volume":"23","author":"Singh Vickram","year":"2013","unstructured":"Vickram Singh and Gerrit Muller. 2013. Knowledge capture, Cross boundary communication and Early validation with dynamic A3 architectures. In Proceedings of the INCOSE International Symposium, Vol. 23, Wiley Online Library, 84\u201397."},{"issue":"1","key":"e_1_3_2_147_2","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1002\/sys.20195","article-title":"Learning from failure in systems engineering: A panel discussion","volume":"15","author":"Slegers Nathan J.","year":"2012","unstructured":"Nathan J. Slegers, Ronald T. Kadish, Gary E. Payton, John Thomas, Michael D. Griffin, and Dan Dumbacher. 2012. Learning from failure in systems engineering: A panel discussion. Systems Engineering 15, 1 (2012), 74\u201382.","journal-title":"Systems Engineering"},{"issue":"2","key":"e_1_3_2_148_2","doi-asserted-by":"crossref","first-page":"e3788","DOI":"10.1002\/ett.3788","article-title":"A systematic literature review on formal verification of software-defined networks","volume":"31","author":"Souri Alireza","year":"2020","unstructured":"Alireza Souri, Monire Norouzi, Parvaneh Asghari, Amir Masoud Rahmani, and Ghazaleh Emadi. 2020. A systematic literature review on formal verification of software-defined networks. Transactions on Emerging Telecommunications Technologies 31, 2 (2020), e3788.","journal-title":"Transactions on Emerging Telecommunications Technologies"},{"key":"e_1_3_2_149_2","unstructured":"Alexander Stenlund. 2024. Model-Based Early Validation and Verification of Design Decisions for Cross-Disciplinary Stakeholders."},{"issue":"2","key":"e_1_3_2_150_2","doi-asserted-by":"crossref","first-page":"04021011","DOI":"10.1061\/AJRUA6.0001116","article-title":"Causal graphical models for systems-level engineering assessment","volume":"7","author":"Stephenson Victoria","year":"2021","unstructured":"Victoria Stephenson, Chris J. Oates, Andrew Finlayson, Chris Thomas, and Kevin J. Wilson. 2021. Causal graphical models for systems-level engineering assessment. ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part A: Civil Engineering 7, 2 (2021), 04021011.","journal-title":"ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part A: Civil Engineering"},{"issue":"1","key":"e_1_3_2_151_2","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s10270-019-00736-x","article-title":"Maintaining consistency in networks of models: Bidirectional transformations in the large","volume":"19","author":"Stevens Perdita","year":"2020","unstructured":"Perdita Stevens. 2020. Maintaining consistency in networks of models: Bidirectional transformations in the large. Software and Systems Modeling 19, 1 (2020), 39\u201365.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_152_2","doi-asserted-by":"crossref","first-page":"109512","DOI":"10.1016\/j.dib.2023.109512","article-title":"The westermo network traffic data Set","volume":"50","author":"Strandberg Per Erik","year":"2023","unstructured":"Per Erik Strandberg, David S\u00f6derman, Alireza Dehlaghi-Ghadim, Miguel Leon, Tijana Markovic, Sasikumar Punnekkat, Mahshid Helali Moghadam, and David Buffoni. 2023. The westermo network traffic data Set. Data in Brief 50 (2023), 109512.","journal-title":"Data in Brief"},{"key":"e_1_3_2_153_2","first-page":"512","volume-title":"Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC)","author":"Suryadevara Jagadish","year":"2018","unstructured":"Jagadish Suryadevara and Saurabh Tiwari. 2018. Adopting mbse in construction equipment industry: An experience report. In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 512\u2013521."},{"key":"e_1_3_2_154_2","first-page":"1","volume-title":"Proceedings of the IEEE\/AIAA 40th Digital Avionics Systems Conference (DASC)","author":"Sutthithatip Sujitra","year":"2021","unstructured":"Sujitra Sutthithatip, Suresh Perinpanayagam, Sohaib Aslam, and Andrew Wileman. 2021. Explainable AI in aerospace for enhanced system performance. In Proceedings of the IEEE\/AIAA 40th Digital Avionics Systems Conference (DASC). IEEE, 1\u20137."},{"key":"e_1_3_2_155_2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.cl.2017.11.003","article-title":"Systematic mapping study of template-based code generation","volume":"52","author":"Syriani Eugene","year":"2018","unstructured":"Eugene Syriani, Lechanceux Luhunu, and Houari Sahraoui. 2018. Systematic mapping study of template-based code generation. Computer Languages, Systems & Structures 52 (2018), 43\u201362.","journal-title":"Computer Languages, Systems & Structures"},{"key":"e_1_3_2_156_2","doi-asserted-by":"crossref","first-page":"145","DOI":"10.4324\/9781315240084-10","volume-title":"The Economics of Sustainability","author":"Toman Michael A.","year":"2017","unstructured":"Michael A. Toman. 2017. Economics and \u201csustainability\u201d: Balancing trade-offs and imperatives. In The Economics of Sustainability. Routledge, 145\u2013159."},{"key":"e_1_3_2_157_2","first-page":"69","volume-title":"Proceedings of the Annual IEEE Systems Conference (SysCon) Proceedings","author":"Tschirner Christian","year":"2015","unstructured":"Christian Tschirner, Roman Dumitrescu, Michael Bansmann, and Juergen Gausemeier. 2015. Tailoring model-based systems engineering concepts for industrial application. In Proceedings of the Annual IEEE Systems Conference (SysCon) Proceedings. IEEE, 69\u201376."},{"issue":"4","key":"e_1_3_2_158_2","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1111\/jtsb.12104","article-title":"What is behaviour? And (when) is language behaviour? A metatheoretical definition","volume":"46","author":"Uher Jana","year":"2016","unstructured":"Jana Uher. 2016. What is behaviour? And (when) is language behaviour? A metatheoretical definition. Journal for the Theory of Social Behaviour 46, 4 (2016), 475\u2013501.","journal-title":"Journal for the Theory of Social Behaviour"},{"issue":"2","key":"e_1_3_2_159_2","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1177\/00375497231205035","article-title":"Validity frame\u2013enabled model-based engineering processes","volume":"100","author":"Van Acker Bert","year":"2024","unstructured":"Bert Van Acker, Paul De Meulenaere, Hans Vangheluwe, and Joachim Denil. 2024. Validity frame\u2013enabled model-based engineering processes. Simulation 100, 2 (2024), 185\u2013226.","journal-title":"Simulation"},{"key":"e_1_3_2_160_2","volume-title":"Proceedings of the Conference (AI, Simulation and Planning in High Autonomy Systems)","volume":"21","author":"Vangheluwe Hans","year":"2002","unstructured":"Hans Vangheluwe, Juan De Lara, and Pieter J. Mosterman. 2002. An introduction to multi-paradigm modelling and simulation. In Proceedings of the Conference (AI, Simulation and Planning in High Autonomy Systems), Vol. 21."},{"key":"e_1_3_2_161_2","first-page":"182","volume-title":"Proceedings of the 18th International Conference on Product-Focused Software Process Improvement (PROFES \u201917)","author":"Vogelsang Andreas","year":"2017","unstructured":"Andreas Vogelsang, Tiago Amorim, Florian Pudlitz, Peter Gersing, and Jan Philipps. 2017. Should I stay or should I go? On forces that drive and prevent MBSE adoption in the embedded systems industry. In Proceedings of the 18th International Conference on Product-Focused Software Process Improvement (PROFES \u201917). Springer, 182\u2013198."},{"key":"e_1_3_2_162_2","first-page":"122","volume-title":"Proceedings of the INCOSE International Symposium","volume":"34","author":"Wach Paul","year":"2024","unstructured":"Paul Wach and Alejandro Salado. 2024. Theoretical underpinnings to establish fidelity conditions for defining verification models. In Proceedings of the INCOSE International Symposium, Vol. 34, Wiley Online Library, 122\u2013135."},{"key":"e_1_3_2_163_2","volume-title":"INCOSE Systems Engineering Handbook","author":"Walden David D.","year":"2023","unstructured":"David D. Walden, Thomas Shortell, Garry Roedler, Bernardo Delicado, Odile Mornas, Yip Yew-Seng, and David Endler. 2023. INCOSE Systems Engineering Handbook (5th ed.). Wiley.","edition":"5"},{"issue":"3","key":"e_1_3_2_164_2","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/52.28119","article-title":"Software verification and validation: An overview","volume":"6","author":"Wallace Dolores R.","year":"1989","unstructured":"Dolores R. Wallace and Roger U. Fujii. 1989. Software verification and validation: An overview. IEEE Software 6, 3 (1989), 10\u201317.","journal-title":"IEEE Software"},{"issue":"4","key":"e_1_3_2_165_2","first-page":"2028","article-title":"Functional model-based design methodology for automotive cyber-physical systems","volume":"11","author":"Wan Jiang","year":"2015","unstructured":"Jiang Wan, Arquimedes Canedo, and Mohammad Abdullah Al Faruque. 2015. Functional model-based design methodology for automotive cyber-physical systems. IEEE Systems Journal 11, 4 (2015), 2028\u20132039.","journal-title":"IEEE Systems Journal"},{"key":"e_1_3_2_166_2","first-page":"431","volume-title":"Proceedings of the International Symposium of Formal Methods Europe (FME \u201902)","author":"Whalen Michael","year":"2002","unstructured":"Michael Whalen, Johann Schumann, and Bernd Fischer. 2002. Synthesizing certified code. In Proceedings of the International Symposium of Formal Methods Europe (FME \u201902). Springer, 431\u2013450."},{"key":"e_1_3_2_167_2","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1201\/9780429425905-9","volume-title":"Advancing Diversity, Inclusion, and Social Justice Through Human Systems Engineering","author":"Williams Rua M.","year":"2019","unstructured":"Rua M. Williams and Juan E. Gilbert. 2019. \u201cNothing about us without us\u201d transforming participatory research and ethics in human systems engineering. In Advancing Diversity, Inclusion, and Social Justice Through Human Systems Engineering. CRC Press, 113\u2013134."},{"key":"e_1_3_2_168_2","volume-title":"Manufacturing Systems Design and Analysis","author":"Wu Bin","year":"2012","unstructured":"Bin Wu. 2012. Manufacturing Systems Design and Analysis. Springer Science & Business Media."},{"key":"e_1_3_2_169_2","doi-asserted-by":"crossref","DOI":"10.1201\/9780203746936","volume":"3","author":"Wymore A. Wayne","year":"2018","unstructured":"A. Wayne Wymore. 2018. Model-Based Systems Engineering. Vol. 3, CRC Press.","journal-title":"Model-Based Systems Engineering"},{"key":"e_1_3_2_170_2","doi-asserted-by":"crossref","first-page":"33969","DOI":"10.1109\/ACCESS.2022.3160194","article-title":"An area-based metrics to evaluate Risk in failure mode and effects analysis under uncertainties","volume":"10","author":"Yan Ying","year":"2022","unstructured":"Ying Yan, Bin Suo, and Ziwei Li. 2022. An area-based metrics to evaluate Risk in failure mode and effects analysis under uncertainties. IEEE Access 10 (2022), 33969\u201333979.","journal-title":"IEEE Access"},{"issue":"4","key":"e_1_3_2_171_2","doi-asserted-by":"crossref","first-page":"40","DOI":"10.3390\/systems6040040","article-title":"MBSE with\/out simulation: State of the art and way forward","volume":"6","author":"Zeigler Bernard P.","year":"2018","unstructured":"Bernard P. Zeigler, Saurabh Mittal, and Mamadou Kaba Traore. 2018. MBSE with\/out simulation: State of the art and way forward. Systems 6, 4 (2018), 40.","journal-title":"Systems"},{"key":"e_1_3_2_172_2","doi-asserted-by":"crossref","first-page":"106296","DOI":"10.1016\/j.infsof.2020.106296","article-title":"Testing and verification of neural-network-based safety-critical control software: A systematic literature review","volume":"123","author":"Zhang Jin","year":"2020","unstructured":"Jin Zhang and Jingyue Li. 2020. Testing and verification of neural-network-based safety-critical control software: A systematic literature review. Information and Software Technology 123 (2020), 106296.","journal-title":"Information and Software Technology"},{"key":"e_1_3_2_173_2","first-page":"113","volume-title":"Proceedings of the 2nd IFIP\/IEEE International Symposium on Theoretical Aspects of Software Engineering","author":"Zhang Tian","year":"2008","unstructured":"Tian Zhang, Fr\u00e9d\u00e9ric Jouault, Jean B\u00e9zivin, and Jianhua Zhao. 2008. A MDE based approach for bridging formal models. In Proceedings of the 2nd IFIP\/IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE, 113\u2013116."}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708520","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3708520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:45Z","timestamp":1750295865000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708520"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,26]]},"references-count":172,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,6,30]]}},"alternative-id":["10.1145\/3708520"],"URL":"https:\/\/doi.org\/10.1145\/3708520","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2025,5,26]]},"assertion":[{"value":"2024-03-26","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-15","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-05-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}