{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T07:47:02Z","timestamp":1725436022459},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/fdl.2016.7880379","type":"proceedings-article","created":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T20:35:57Z","timestamp":1490042157000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models"],"prefix":"10.1109","author":[{"given":"Sara","family":"Vinco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Lora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Macii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Poncino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ISLPED.2013.6629324"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1453-0_9"},{"journal-title":"Verilog to SystemC Translator","year":"0","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2010.5496665"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.54"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/S0026-2692(03)00206-4"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2902961.2902975"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CPEE.2015.7333333"},{"key":"ref12","first-page":"1","article-title":"Moving from co-simulation to simulation for effective smart systems design","author":"fummi","year":"2014","journal-title":"Proc of IEEE\/ACM DATE"},{"year":"2010","key":"ref13"},{"year":"2011","key":"ref14","article-title":"ISO\/IEC\/IEEE 42010-2011: Systems and Software Engineering, Architecture Description, Recommended Practice for Architectural Description of Software-instensinve Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742873"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2008.4484011"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269225"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4108\/icst.simutools.2012.247745"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2008.4641420"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"journal-title":"System Standards","year":"0","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2508443.2508452"},{"journal-title":"Verilog AMS","year":"0","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.58"},{"journal-title":"SystemC\/SystemC-AMS","year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2008.4641429"},{"journal-title":"Recommended Vendor Extensions to IEEE 1685–2009 (IP-XACT)","year":"2013","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27392-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2627369.2627657"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2885505"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2435227.2435245"},{"article-title":"On extending IP-XACT for device driver software generation","year":"2014","author":"pendharkar","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MSCPES.2013.6623325"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090733"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2011.36"},{"article-title":"SPIRIT IP-XACT extensions and exploitation for verification software methodology","year":"2006","author":"vaumorin","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISSoC.2013.6675264"}],"event":{"name":"2016 Forum on Specification and Design Languages (FDL)","start":{"date-parts":[[2016,9,14]]},"location":"Bremen, Germany","end":{"date-parts":[[2016,9,16]]}},"container-title":["2016 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879501\/7880364\/07880379.pdf?arnumber=7880379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T21:08:51Z","timestamp":1513199331000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7880379\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/fdl.2016.7880379","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}