{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:06:15Z","timestamp":1729652775963,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/sies.2015.7185067","type":"proceedings-article","created":{"date-parts":[[2015,8,13]],"date-time":"2015-08-13T22:55:14Z","timestamp":1439506514000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["A formal, model-driven design flow for system simulation and multi-core implementation"],"prefix":"10.1109","author":[{"given":"Papa Issa","family":"Diallo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seyed-Hosein","family":"Attarzadeh-Niaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Robino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"Sander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joel","family":"Champeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johnny","family":"Oberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/B978-155860702-6\/50048-X"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1376804.1376811"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2013.23"},{"journal-title":"Website","article-title":"Papyrus","year":"0","key":"ref14"},{"year":"0","key":"ref15","article-title":"Rhapsody UML Modeler"},{"key":"ref16","article-title":"Formal heterogeneous system modeling with SystemC","author":"attarzadeh","year":"2012","journal-title":"Proc of FDL"},{"key":"ref17","first-page":"4:1","article-title":"A NoC System Generator for the Sea-of-Cores era","author":"oberg","year":"2011","journal-title":"Proceedings of the 8th FPGAWorld Conference"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2002.1016885"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2013.6581536"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3384\/ecp12076173"},{"key":"ref4","article-title":"The ATL transformation-based model management framework","author":"b\u00e9zivin","year":"2003","journal-title":"Tech Rep"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/2435227.2435245","article-title":"metro ii: A design environment for cyber-physical systems","volume":"12","author":"davare","year":"2013","journal-title":"ACM Transactions on Embedded Computing Systems (TECS)"},{"key":"ref3","article-title":"The SysML Modelling Language","volume":"9","author":"hause","year":"2006","journal-title":"Fifteenth European Systems Engineering Conference"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"journal-title":"OMG","article-title":"Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification","year":"2008","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"ref7","first-page":"75","article-title":"systemc - a modeling platform supporting multiple design abstractions","author":"panda","year":"2001","journal-title":"International Symposium on System Synthesis (IEEE Cat No 01EX526) ISSS-01"},{"journal-title":"Object Management Group Tech Rep ptc\/07–08-04","article-title":"UML Profile for MARTE, beta 1","year":"2007","key":"ref2"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"2005","author":"rumbaugh","key":"ref1"},{"key":"ref9","first-page":"22:1","article-title":"A framework for heterogeneous specification and design of electronic embedded systems in systemc","volume":"12","author":"herrera","year":"2008","journal-title":"ACM Trans Des Autom Electron Syst"},{"key":"ref20","article-title":"Model based engineering for the support of models of computation: The cometa approach","author":"diallo","year":"2011","journal-title":"Third International Workshop on Multi-paradigm Modeling"},{"key":"ref22","article-title":"Communicating sequential processes","author":"hoare","year":"1985","journal-title":"Prentice Hall International"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"journal-title":"MDA Explained The Model Driven Architecture Practice and Promise","year":"2003","author":"kleppe","key":"ref24"},{"year":"0","key":"ref23","article-title":"ForSyDe"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1488-5_9"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255470"}],"event":{"name":"2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2015,6,8]]},"location":"Siegen, Germany","end":{"date-parts":[[2015,6,10]]}},"container-title":["10th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7164234\/7185026\/07185067.pdf?arnumber=7185067","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:49:03Z","timestamp":1602686943000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7185067"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/sies.2015.7185067","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}