{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:48:58Z","timestamp":1765547338802,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"funder":[{"name":"ECSEL Joint Undertaking (JU)","award":["101007350"],"award-info":[{"award-number":["101007350"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3652620.3686249","type":"proceedings-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T18:06:36Z","timestamp":1730397996000},"page":"287-298","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Extending MagicGrid to Support Virtual Prototyping for Early System Performance Validation and Verification"],"prefix":"10.1145","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\/0009-0007-6444-8604","authenticated-orcid":false,"given":"Daniel","family":"Krems","sequence":"additional","affiliation":[{"name":"AVL List, Graz, Austria"}],"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"}]}],"member":"320","published-online":{"date-parts":[[2024,10,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC55683.2022.9925797"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.18420\/se2023-ws-15"},{"volume-title":"16th International Conference on Application of Concurrency to System Design (ACSD). IEEE, 114--123","author":"Ahmad Waheed","key":"e_1_3_2_1_3_1","unstructured":"Waheed Ahmad, Marijn Jongerden, Mari\u00eblle Stoelinga, and Jaco van de Pol. 2016. Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata. In 16th International Conference on Application of Concurrency to System Design (ACSD). IEEE, 114--123."},{"key":"e_1_3_2_1_4_1","volume-title":"MagicGrid\u00ae Book of Knowledge-A Practical Guide to Systems Modeling using MagicGrid from No Magic","author":"Aleksandraviciene Aiste","year":"2018","unstructured":"Aiste Aleksandraviciene and Aurelijus Morkevicius. 2018. MagicGrid\u00ae Book of Knowledge-A Practical Guide to Systems Modeling using MagicGrid from No Magic. Inc, Allen Texas, USA (2018)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Ermeson Andrade Paulo Maciel Gustavo Callou and Bruno Nogueira. 2009. A methodology for mapping sysml activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In 2009 third international conference on digital society. IEEE 266--271.","DOI":"10.1109\/ICDS.2009.19"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon53536.2022.9773852"},{"key":"e_1_3_2_1_7_1","volume-title":"What is the future of modeling? IEEE software 38, 2","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--127."},{"key":"e_1_3_2_1_8_1","volume-title":"Model-based systems engineering: Evaluating perceived value, metrics, and evidence through literature. Systems Engineering","author":"Campo Kelly X","year":"2022","unstructured":"Kelly X Campo, Thomas Teper, Casey E Eaton, Anna M Shipman, Garima Bhatia, and Bryan Mesmer. 2022. Model-based systems engineering: Evaluating perceived value, metrics, and evidence through literature. Systems Engineering (2022)."},{"key":"e_1_3_2_1_9_1","volume-title":"Early Validation and Verification of System Behaviour in Model-Based Systems Engineering: A Systematic Literature Review. ACM Transactions on Software Engineering and Methodology","author":"Cederbladh Johan","year":"2023","unstructured":"Johan Cederbladh, Antonio Cicchetti, and Jagadish Suryadevara. 2023. Early Validation and Verification of System Behaviour in Model-Based Systems Engineering: A Systematic Literature Review. ACM Transactions on Software Engineering and Methodology (2023)."},{"key":"e_1_3_2_1_10_1","volume-title":"Correlating Logical and Physical Models for Early Performance Validation-An Experience Report. In 2024 IEEE International Systems Conference (SysCon). IEEE, 1--8.","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-An Experience Report. In 2024 IEEE International Systems Conference (SysCon). IEEE, 1--8."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/iis2.13135"},{"key":"e_1_3_2_1_12_1","volume-title":"Barriers for Adopting FMI-Based Co-Simulation in Industrial MBSE Processes. In ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 510--519","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 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 510--519."},{"key":"e_1_3_2_1_13_1","volume-title":"Light-Weight MBSE Approach for Construction Equipment Domain-An Experience Report. In 2023 30th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 51--60","author":"Cederbladh Johan","year":"2023","unstructured":"Johan Cederbladh and Jagadish Suryadevara. 2023. Light-Weight MBSE Approach for Construction Equipment Domain-An Experience Report. In 2023 30th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 51--60."},{"key":"e_1_3_2_1_14_1","volume-title":"Marcos Ribeiro Pereira Barretto, and Ray J Paul","author":"Chwif Leonardo","year":"2000","unstructured":"Leonardo Chwif, Marcos Ribeiro Pereira Barretto, and Ray J Paul. 2000. On simulation model complexity. In winter simulation conference proceedings (Cat. No. 00CH37165), Vol. 1. IEEE, 449--455."},{"volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"Clarke Edmund M","key":"e_1_3_2_1_15_1","unstructured":"Edmund M Clarke. 1997. Model checking. In Foundations of Software Technology and Theoretical Computer Science. Springer, 54--56."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.36001\/phmconf.2013.v5i1.2252"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3222387"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11023-011-9235-1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD53832.2021.00053"},{"key":"e_1_3_2_1_20_1","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 et al. 2007. Survey of model-based systems engineering (MBSE) methodologies. Incose MBSE Focus Group 25, 8 (2007), 1--12.","journal-title":"Incose MBSE Focus Group"},{"key":"e_1_3_2_1_21_1","unstructured":"Sanford Friedenthal Alan Moore and Rick Steiner. 2014. A practical guide to SysML: the systems modeling language. Morgan Kaufmann."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147260"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-7753(02)00190-8"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3179993"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Jeff Gray and Bernhard Rumpe. 2015. Models for digitalization. 1319--1320 pages.","DOI":"10.1007\/s10270-015-0494-9"},{"key":"e_1_3_2_1_26_1","unstructured":"Jens Groot. 2014. State-of-health estimation of Li-ion batteries: Ageing models. Chalmers Tekniska Hogskola (Sweden)."},{"volume-title":"Systems engineering","author":"Haberfellner Reinhard","key":"e_1_3_2_1_27_1","unstructured":"Reinhard Haberfellner, Peter Nagel, Mario Becker, Alfred B\u00fcchel, and Heinrich von Massow. 2019. Systems engineering. Springer."},{"volume-title":"Early insights on FMI-based co-simulation of aircraft vehicle systems. In 15:th Scandinavian International Conference on Fluid Power","author":"H\u00e4llqvist Robert","key":"e_1_3_2_1_28_1","unstructured":"Robert H\u00e4llqvist, Robert Braun, and Petter Krus. 2017. Early insights on FMI-based co-simulation of aircraft vehicle systems. In 15:th Scandinavian International Conference on Fluid Power, Vol. 144. Link\u00f6ping University Electronic Press, 262--270."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21566"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpowsour.2011.10.013"},{"key":"e_1_3_2_1_31_1","volume-title":"Characterising the Digital Twin: A systematic literature review. CIRP journal of manufacturing science and technology 29","author":"Jones David","year":"2020","unstructured":"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."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon48628.2021.9447083"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2019.05.080"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02146-7_1"},{"key":"e_1_3_2_1_36_1","unstructured":"Emil Lundin and Johan Bergelin. 2021. Heterogeneous battery systems in battery equipped passenger trains."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.3390\/app12073431"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21438"},{"key":"e_1_3_2_1_39_1","volume-title":"Adaptive Information Integration: Bridging the Semantic Gap between Numerical Simulations. Enterprise Information Systems","author":"Meisen Tobias","year":"2012","unstructured":"Tobias Meisen, Philipp Meisen, Daniel Schilberg, and Sabina Jeschke. 2012. Adaptive Information Integration: Bridging the Semantic Gap between Numerical Simulations. Enterprise Information Systems (2012), 51--65."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1002\/inst.12429"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2021.05.073"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2015.7151961"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68847-3_28-1"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1149\/2.018203jes"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.04.089"},{"key":"e_1_3_2_1_46_1","volume-title":"MBSE with the ARCADIA Method and the Capella Tool. In 8th European Congress on Embedded Real Time Software and Systems (ERTS).","author":"Roques Pascal","year":"2016","unstructured":"Pascal Roques. 2016. MBSE with the ARCADIA Method and the Capella Tool. In 8th European Congress on Embedded Real Time Software and Systems (ERTS)."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2804917"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpowsour.2014.01.057"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.2514\/1.J057255"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21594"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00736-x"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2018.00066"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2015.7363660"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1002\/er.3598"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58167-1_10"},{"key":"e_1_3_2_1_56_1","volume-title":"INCOSE Systems Engineering Handbook","author":"Walden David D","unstructured":"David D Walden, Thomas Shortell, Garry Roedler, Bernardo Delicado, Odile Mornas, Yip Yew-Seng, and David Endler. 2023. INCOSE Systems Engineering Handbook, 5th Edition. Wiley.","edition":"5"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2892745"},{"volume-title":"Model-based systems engineering","author":"Wymore A Wayne","key":"e_1_3_2_1_58_1","unstructured":"A Wayne Wymore. 2018. Model-based systems engineering. Vol. 3. CRC press."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2895996"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.3390\/app7101002"}],"event":{"name":"MODELS Companion '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Johannes Kepler University Linz","IEEE CS"],"location":"Linz Austria","acronym":"MODELS Companion '24"},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3686249","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652620.3686249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:01Z","timestamp":1750291441000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3686249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":59,"alternative-id":["10.1145\/3652620.3686249","10.1145\/3652620"],"URL":"https:\/\/doi.org\/10.1145\/3652620.3686249","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-10-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}