{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T19:16:59Z","timestamp":1772738219829,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T00:00:00Z","timestamp":1681516800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,4,15]]},"DOI":"10.1145\/3578245.3584850","type":"proceedings-article","created":{"date-parts":[[2023,4,3]],"date-time":"2023-04-03T22:14:44Z","timestamp":1680560084000},"page":"373-380","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["From UML\/MARTE Specifications to ESL HW\/SW Co-Design: Early Functional Verification and Timing Validation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4507-464X","authenticated-orcid":false,"given":"Vittorio","family":"Cortellessa","sequence":"first","affiliation":[{"name":"University of L'Aquila, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4137-3634","authenticated-orcid":false,"given":"Luigi","family":"Pomante","sequence":"additional","affiliation":[{"name":"University of L'Aquila, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3681-372X","authenticated-orcid":false,"given":"Vincenzo","family":"Stoico","sequence":"additional","affiliation":[{"name":"University of L'Aquila, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Larsen","author":"Behrmann Gerd","year":"2004","unstructured":"Gerd Behrmann, Alexandre David, and Kim G. Larsen. 2004. A Tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13--18, 2004, Revised Lectures. Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceeedings of the DATE'08 workshop on Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile. Washington, United States.","author":"Atitallah Rabie Ben","year":"2008","unstructured":"Rabie Ben Atitallah, Philippe Marquet, \u00c9ric Piel, Samy Meftali, Smail Niar, Anne Etien, Jean-Luc Dekeyser, and Pierre Boulet. 2008. Gaspard2: from MARTE to SystemC Simulation. In Proceeedings of the DATE'08 workshop on Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile. Washington, United States."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2018.06.002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-015-9290-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2023.107159"},{"key":"e_1_3_2_1_6_1","volume-title":"2019 8th Mediterranean Conference on Embedded Computing, MECO 2019 - Proceedings.","author":"D'Andrea G.","unstructured":"G. D'Andrea, T. Di Mascio, and G. Valente. 2019. Self-adaptive loop for CPSs: Is the Dynamic Partial Reconfiguration profitable?. In 2019 8th Mediterranean Conference on Embedded Computing, MECO 2019 - Proceedings."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.05.008"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2999537"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2971808.2971987"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2013.13"},{"key":"e_1_3_2_1_13_1","volume-title":"Modeling Hardware\/Software Embedded Systems with UML\/MARTE: A Single-Source Design Approach","author":"Herrera Fernando","unstructured":"Fernando Herrera, Julio Medina, and Eugenio Villar. 2017. Modeling Hardware\/Software Embedded Systems with UML\/MARTE: A Single-Source Design Approach. Springer Netherlands, Dordrecht, 141--185."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0523-3"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 23rd International Conference on Software Engineering","author":"William","unstructured":"William E. McUmber and Betty H. C. Cheng. 2001. A General Framework for Formalizing UML with Formal Languages. In Proceedings of the 23rd International Conference on Software Engineering (Toronto, Ontario, Canada) (ICSE '01). IEEE Computer Society, USA, 433--442."},{"key":"e_1_3_2_1_17_1","volume-title":"ACM International Conference Proceeding Series.","author":"Muttillo V.","unstructured":"V. Muttillo, G. Valente, D. Ciambrone, V. Stoico, and L. Pomante. 2018. Hepsycode-RT: A real-time extension for an ESL HW\/SW Co-design methodology. In ACM International Conference Proceeding Series."},{"key":"e_1_3_2_1_18_1","volume-title":"2023 a. About the UML Profile for MARTE Specification Version 1.2. https:\/\/www.omg.org\/spec\/MARTE\/1.2\/About-MARTE\/ Last accessed","author":"OMG Standards Development Organization","year":"2023","unstructured":"OMG Standards Development Organization. 2023 a. About the UML Profile for MARTE Specification Version 1.2. https:\/\/www.omg.org\/spec\/MARTE\/1.2\/About-MARTE\/ Last accessed 25 January 2023."},{"key":"e_1_3_2_1_19_1","volume-title":"2023 b. The Unified Modeling Language 2.5.1 Specification. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/About-UML\/ Last accessed","author":"OMG Standards Development Organization","year":"2023","unstructured":"OMG Standards Development Organization. 2023 b. The Unified Modeling Language 2.5.1 Specification. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/About-UML\/ Last accessed 25 January 2023."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2019.102898"},{"key":"e_1_3_2_1_21_1","volume-title":"Handbook of Hardware\/Software Codesign","author":"Sander Ingo","unstructured":"Ingo Sander, Axel Jantsch, and Seyed-Hosein Attarzadeh-Niaki. 2017. ForSyDe: System Design Using a Functional Language and Models of Computation. In Handbook of Hardware\/Software Codesign. Springer Netherlands, Dordrecht, 1--42."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40561-7_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2182009"},{"key":"e_1_3_2_1_24_1","volume-title":"Embedded System Design: A Unified Hardware\/Software Introduction","author":"Vahid Frank","unstructured":"Frank Vahid and Tony Givargis. 2001. Embedded System Design: A Unified Hardware\/Software Introduction 1st ed.). John Wiley & Sons, Inc., USA.","edition":"1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874674"},{"key":"e_1_3_2_1_26_1","volume-title":"Juan Bicarregui, and John Fitzgerald.","author":"Woodcock Jim","year":"2009","unstructured":"Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, and John Fitzgerald. 2009. Formal methods: Practice and experience. Comput. Surveys, Vol. 41, 4 (2009), 19:1--19:36."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-013-1322-8"}],"event":{"name":"ICPE '23: ACM\/SPEC International Conference on Performance Engineering","location":"Coimbra Portugal","acronym":"ICPE '23","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Companion of the 2023 ACM\/SPEC International Conference on Performance Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578245.3584850","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3578245.3584850","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:21Z","timestamp":1750182561000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578245.3584850"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,15]]},"references-count":27,"alternative-id":["10.1145\/3578245.3584850","10.1145\/3578245"],"URL":"https:\/\/doi.org\/10.1145\/3578245.3584850","relation":{},"subject":[],"published":{"date-parts":[[2023,4,15]]},"assertion":[{"value":"2023-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}