{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:54:18Z","timestamp":1759146858621,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/sies.2010.5551393","type":"proceedings-article","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T11:38:07Z","timestamp":1282649887000},"page":"229-233","source":"Crossref","is-referenced-by-count":3,"title":["A design flow for critical embedded systems"],"prefix":"10.1109","author":[{"given":"Vincent","family":"Lefftz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Bertrand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugues","family":"Casse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Clienti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Coussy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Maillet-Contoz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phili","family":"Mercier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Moreau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurence","family":"Pierre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Vaumorin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref10"},{"year":"0","key":"ref11"},{"key":"ref12","article-title":"System archi-tecture, tools and modeling for Safety critical automotive applications the R&D Project SASHA","author":"langheim","year":"2010","journal-title":"ERTS 2010"},{"year":"0","key":"ref13"},{"year":"2005","key":"ref14"},{"year":"2005","key":"ref15"},{"key":"ref16","article-title":"LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level","author":"moy","year":"2006","journal-title":"Design Automation for Embedded Systems special issue on SystemC-based systems"},{"key":"ref17","first-page":"65","article-title":"a versatile generator of instruction set simulators and disassemblers","author":"ratsiambahotra","year":"2009","journal-title":"2009 International Symposium on Performance Evaluation of Computer & Telecommunication Systems SPECTS"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.2003.1183146"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8588-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/b137175"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1023\/B:VISI.0000013087.49260.fb"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-30864-4"},{"year":"0","key":"ref6"},{"year":"0","key":"ref5"},{"year":"0","key":"ref8"},{"year":"0","key":"ref7"},{"article-title":"System Design with SystemC","year":"2002","author":"gr\u00f6tker","key":"ref2"},{"year":"0","key":"ref9"},{"year":"2005","key":"ref1"},{"key":"ref20","article-title":"Special Issue on High-Level Synthesis","volume":"25","author":"coussy","year":"2009","journal-title":"IEEE Design and Test of Computers IEEE Computer Society"},{"key":"ref22","article-title":"Applied Assertion-Based Verification: An Industry Perspective","volume":"3","author":"foster","year":"2009","journal-title":"Foundations and Trends in Electronic Design Automation"},{"year":"0","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558642"},{"key":"ref23","article-title":"Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's (Selected Contributions from FDL'09)","author":"ferro","year":"2010","journal-title":"ISIS Runtime Verification of TLM Platforms"},{"year":"0","key":"ref26"},{"key":"ref25","article-title":"Horus: A tool for Assertion-Based Verification and on-line testing","author":"morin-allory","year":"2008","journal-title":"Proc MEMo CODE '08"}],"event":{"name":"2010 International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2010,7,7]]},"location":"Trento, Italy","end":{"date-parts":[[2010,7,9]]}},"container-title":["International Symposium on Industrial Embedded System (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5547587\/5551360\/05551393.pdf?arnumber=5551393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T01:54:50Z","timestamp":1489888490000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5551393\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/sies.2010.5551393","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}