{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:40:21Z","timestamp":1729633221986,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/hldvt.2016.7748264","type":"proceedings-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T21:23:51Z","timestamp":1479763431000},"page":"113-120","source":"Crossref","is-referenced-by-count":4,"title":["A unifying flow to ease smart systems integration"],"prefix":"10.1109","author":[{"given":"Michele","family":"Lora","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Vinco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2013.10.010"},{"year":"0","key":"ref11","article-title":"OVP-Open Virtual Platforms"},{"year":"0","key":"ref12","article-title":"Virtual System Platform"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3384\/ecp12076173"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3384\/ecp1409627"},{"key":"ref15","article-title":"Defining platform-based design","author":"sangiovanni-vincentelli","year":"0","journal-title":"EEDesign of EETimes 2002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICECS.2014.7050121"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1109\/TC.2012.156","article-title":"UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous system integration","volume":"62","author":"di","year":"2013","journal-title":"IEEE Transactions on Computers"},{"key":"ref18","first-page":"211","article-title":"A formal support for homogeneous simulation of heterogeneous embedded systems","author":"di","year":"2012","journal-title":"Proceedings of the IEEE International Symposium on Industrial Embedded Systems (SIES) 2012"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1155\/2010\/436328"},{"key":"ref4","first-page":"25","article-title":"Smart materials and smart systems for the future","volume":"1","author":"akhras","year":"2000","journal-title":"Canadian Military Journal"},{"key":"ref3","article-title":"A smarter planet: the next leadership agenda","volume":"6","author":"palmisano","year":"2008","journal-title":"IBM"},{"key":"ref6","article-title":"Survey of model-based systems engineering (MBSE) methodologies","volume":"25","author":"estefan","year":"2007","journal-title":"INCOSE MBSE Focus Group"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763168"},{"journal-title":"System Design Modeling and Simulation Using Ptolemy II","year":"2014","author":"ptolemaeus","key":"ref8"},{"key":"ref7","article-title":"Simulink\/Stateflow","author":"matlab","year":"0","journal-title":"math-works com\/products\/statefiow"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1038\/530144a"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.104"},{"key":"ref1","first-page":"1","article-title":"Moving from Co-Simulation to Simulation for Effective Smart Systems Design","author":"fummi","year":"2014","journal-title":"Proc of ACM\/IEEE DATE"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2014.11"},{"key":"ref22","article-title":"Code Manipulation for Virtual Platform Integration","author":"vinco","year":"2015","journal-title":"IEEE Transactions on Computers"},{"key":"ref21","first-page":"1","article-title":"IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models","author":"vinco","year":"2016","journal-title":"Proc of ECSI FDL"},{"key":"ref24","first-page":"1586","article-title":"Integration of Mixed-Signal Components into Virtual Platforms for Holistic Simulation of Smart Systems","author":"enrico fraccaroli","year":"2016","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2015.7306361"},{"year":"0","key":"ref26","article-title":"SystemVue"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-012-9092-z"}],"event":{"name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2016,10,7]]},"location":"Santa Cruz, CA, USA","end":{"date-parts":[[2016,10,8]]}},"container-title":["2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7746774\/7748241\/07748264.pdf?arnumber=7748264","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T00:08:50Z","timestamp":1498349330000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7748264\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2016.7748264","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}