{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:38Z","timestamp":1750306538788,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Commission Directorate-General for Research and Innovation","award":["FP7 611146 CONTREX"],"award-info":[{"award-number":["FP7 611146 CONTREX"]}]},{"name":"Spanish Ministry of Industry, Energy & Tourism","award":["ART-010000-2012-5"],"award-info":[{"award-number":["ART-010000-2012-5"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1145\/2764967.2784777","type":"proceedings-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T14:04:29Z","timestamp":1436191469000},"page":"88-91","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems"],"prefix":"10.1145","author":[{"given":"F.","family":"Herrera","sequence":"first","affiliation":[{"name":"Microelectronics Engineering Group, TEISA Dpt., University of Cantabria Santander, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Pe\u00f1il","sequence":"additional","affiliation":[{"name":"Microelectronics Engineering Group, TEISA Dpt., University of Cantabria Santander, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Villar","sequence":"additional","affiliation":[{"name":"Microelectronics Engineering Group, TEISA Dpt., University of Cantabria Santander, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-0965-7","volume-title":"ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)","author":"Bailey B.","year":"2010","unstructured":"B. Bailey and G. Martin , ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems) . Springer , 2010 . B. Bailey and G. Martin, ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems). Springer, 2010."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/886344"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJES.2010.039025"},{"key":"e_1_3_2_1_5_1","volume-title":"proc. of DATE'09","author":"Vidal J.","year":"2009","unstructured":"J. Vidal , F. de Lamotte , G. Gogniat , P. Soulard , J.P. Diguet . \" A Code-Design Approach for Embedded System Modelling and Code Generation with UML and MARTE\". proc. of DATE'09 , March , 2009 . J. Vidal, F. de Lamotte, G. Gogniat, P. Soulard, J.P. Diguet. \"A Code-Design Approach for Embedded System Modelling and Code Generation with UML and MARTE\". proc. of DATE'09, March, 2009."},{"key":"e_1_3_2_1_6_1","first-page":"10","article-title":"Automatic synthesis of embedded SW for evaluating physical implementation alternatives from UML\/MARTE models supporting memory space separation","volume":"45","author":"Posadas H.","year":"2014","unstructured":"H. Posadas , P. Pe\u00f1il , A. Nicol\u00e1s , E. Villar . \" Automatic synthesis of embedded SW for evaluating physical implementation alternatives from UML\/MARTE models supporting memory space separation \". Microelectronics Journal, V . 45 , I. 10 , pp.1281--1291, October , 2014 . H. Posadas, P. Pe\u00f1il, A. Nicol\u00e1s, E. Villar. \"Automatic synthesis of embedded SW for evaluating physical implementation alternatives from UML\/MARTE models supporting memory space separation\". Microelectronics Journal, V.45, I.10, pp.1281--1291, October, 2014.","journal-title":"Microelectronics Journal, V"},{"key":"e_1_3_2_1_7_1","volume-title":"proceedings of FDL'2008","author":"Mura M.","year":"2008","unstructured":"M. Mura , L.G. Murillo , M. Prevostini . \"Model-based Design Space Exploration for RTES with SysML and MARTE\". In proceedings of FDL'2008 . Stuttgart, Germany. 2008 . M.Mura, L.G.Murillo, M.Prevostini. \"Model-based Design Space Exploration for RTES with SysML and MARTE\". In proceedings of FDL'2008. Stuttgart, Germany. 2008."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2013.10.003"},{"key":"e_1_3_2_1_9_1","unstructured":"OMG Unified Modelling Language\u00bf. Available from http:\/\/www.omg.org\/spec\/UML.  OMG Unified Modelling Language\u00bf. Available from http:\/\/www.omg.org\/spec\/UML."},{"key":"e_1_3_2_1_10_1","volume-title":"Version 1.1","author":"OMG","year":"2012","unstructured":"OMG , UML Profile for MARTE: Modelling and Analysis of Real-Time Embedded Systems , Version 1.1 , Dec. , 2012 . Available from http:\/\/www.omgmarte.org. OMG, UML Profile for MARTE: Modelling and Analysis of Real-Time Embedded Systems, Version 1.1, Dec., 2012. Available from http:\/\/www.omgmarte.org."},{"key":"e_1_3_2_1_11_1","volume-title":"February","author":"M. Lemke","year":"2012","unstructured":"M. Lemke et al. , \" Mixed criticality systems. report from the workshop on mixed criticality systems,\" Information Society and Media Directorate-General , February 2012 . M. Lemke et al., \"Mixed criticality systems. report from the workshop on mixed criticality systems,\" Information Society and Media Directorate-General, February 2012."},{"key":"e_1_3_2_1_12_1","volume-title":"A. Burns and R.I.Davis, \"Mixed Criticality Systems - A Review","year":"2015","unstructured":"A. Burns and R.I.Davis, \"Mixed Criticality Systems - A Review , 5 th Ed.\", Dep. of Computer Science, U. of York, Tech. Report , March , 2015 , in http:\/\/www-users.cs.york.ac.uk\/burns\/review.pdf. A. Burns and R.I.Davis, \"Mixed Criticality Systems - A Review, 5th Ed.\", Dep. of Computer Science, U. of York, Tech. Report, March, 2015, in http:\/\/www-users.cs.york.ac.uk\/burns\/review.pdf.","edition":"5"},{"key":"e_1_3_2_1_13_1","unstructured":"https:\/\/contrex.offis.de\/home\/.  https:\/\/contrex.offis.de\/home\/."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-008-9028-9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2693433.2693435"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2013.10.005"},{"key":"e_1_3_2_1_17_1","volume-title":"Languages, Design Methods, and Tools for Electronic System Design. Ed. M.M. Louerat and, T. Maehne","author":"Herrera F.","year":"2015","unstructured":"F. Herrera and I. Sander : \" Combining Analytical and Simulation-Based Design Space Exploration for Efficient Time-Critical and Mixed-Criticality Systems \". In Languages, Design Methods, and Tools for Electronic System Design. Ed. M.M. Louerat and, T. Maehne . Springer . 2015 . F. Herrera and I. Sander: \"Combining Analytical and Simulation-Based Design Space Exploration for Efficient Time-Critical and Mixed-Criticality Systems\". In Languages, Design Methods, and Tools for Electronic System Design. Ed. M.M. Louerat and, T. Maehne. Springer. 2015."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380527"}],"event":{"name":"SCOPES '15: 18th International Workshop on Software and Compilers for Embedded Systems","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","EDAA European Design Automation Association"],"location":"Sankt Goar Germany","acronym":"SCOPES '15"},"container-title":["Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2764967.2784777","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2764967.2784777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:24Z","timestamp":1750227144000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2764967.2784777"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":18,"alternative-id":["10.1145\/2764967.2784777","10.1145\/2764967"],"URL":"https:\/\/doi.org\/10.1145\/2764967.2784777","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]},"assertion":[{"value":"2015-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}