{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T03:35:37Z","timestamp":1790912137373,"version":"4.1.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/date.2010.5456965","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T13:16:33Z","timestamp":1361279793000},"page":"1053-1058","source":"Crossref","is-referenced-by-count":11,"title":["RTOS-aware refinement for TLM2.0-based HW\/SW designs"],"prefix":"10.1109","author":[{"given":"Markus","family":"Becker","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giuseppe","family":"Di Guglielmo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wolfgang","family":"Mueller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Tao Xie","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-006-9725-1"},{"key":"ref32","article-title":"An Integrated SystemC Framework for Real-Time Scheduling Assessments In System Level","author":"hastono","year":"2004","journal-title":"Proc of IEEE RTSS"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629973"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2009.4796537"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090900"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090925"},{"key":"ref35","article-title":"Accurate RTOS Modelling and Analysis with SystemC","author":"zabel","year":"2009"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253598"},{"key":"ref10","first-page":"3","article-title":"Cycle-approximate retargetable performance estimation at the transaction level","author":"hwang","year":"0","journal-title":"Proc of ACM\/IEEE DATE"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996655"},{"key":"ref12","first-page":"155","article-title":"Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems","volume":"4","author":"buck","year":"1994","journal-title":"International Journal in Computer Simulation"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"ref14","first-page":"396","article-title":"Operating system based sofcware generation for systems-on-chip","author":"desmet","year":"2000","journal-title":"Proc of ACM\/IEEE DAC"},{"key":"ref15","first-page":"158","article-title":"RTOS-centric hard-ware\/software cosimulator for embedded system design","author":"honda","year":"2004","journal-title":"Proc IEEE\/ACM CODES+ISSS"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.61"},{"key":"ref17","first-page":"939","article-title":"Virtual embedded operating system for hardware\/software co-design","author":"xiong","year":"0","journal-title":"Proc of IEEE ASICON"},{"key":"ref18","first-page":"54","article-title":"Multilanguage Design of Heterogeneous Systems","author":"coste","year":"1999","journal-title":"Proc IEEE CODES"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008898525388"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.27"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1127908.1127918"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337620"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012588"},{"key":"ref6","first-page":"41","article-title":"QEMU, a fast and portable dynamic translator","author":"bellard","year":"2005","journal-title":"Proc of the USENIX Annual Technical Conference"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364575"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.106"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224428"},{"key":"ref7","first-page":"10378","author":"posadas","year":"2004","journal-title":"System-Level Performance Analysis in SystemC In Proc of ACM\/IEEE Date"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2009.4796498"},{"key":"ref9","author":"drotos","year":"0","journal-title":"p CSim Software Simulator for Microcontrollers"},{"key":"ref1","author":"gajski","year":"1992","journal-title":"High-Level Synthesis - Introduction to Chip and System Design"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"ref22","author":"aynsley","year":"2005","journal-title":"SystemC Language Reference Manual"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.1260725"},{"key":"ref23","article-title":"Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation","author":"posadas","year":"2009","journal-title":"SystemC Platform Modeling for Behavioral Simulation and Performance Estimation of Embedded Systems"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253600"},{"key":"ref25","first-page":"1239","article-title":"Automatic Generation and Targeting of Application-Specific Operating Systems vvand Embedded Systems Software","volume":"20","author":"gauthier","year":"0","journal-title":"IEEE Trans on CAD"}],"event":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden","start":{"date-parts":[[2010,3,8]]},"end":{"date-parts":[[2010,3,12]]}},"container-title":["2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5450668\/5456897\/05456965.pdf?arnumber=5456965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T15:30:34Z","timestamp":1489851034000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5456965\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/date.2010.5456965","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}