{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:55:38Z","timestamp":1759146938863,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,12]],"date-time":"2009-10-12T00:00:00Z","timestamp":1255305600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,10,12]]},"DOI":"10.1145\/1629335.1629367","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"235-244","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":50,"title":["Handling mixed-criticality in SoC-based real-time embedded systems"],"prefix":"10.1145","author":[{"given":"Rodolfo","family":"Pellizzoni","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Meredith","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Min-Young","family":"Nam","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mu","family":"Sun","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Caccamo","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Aeronautical Radio Inc. ARINC 653 Specification. http:\/\/www.arinc.com\/.  Aeronautical Radio Inc. ARINC 653 Specification. http:\/\/www.arinc.com\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289877"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297070"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.20"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194096000107"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/827272.829126"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_9_1","volume-title":"IBM Research","author":"Chen T.","year":"2005","unstructured":"T. Chen , R. Raghavan , J. Dale , and E. Iwata . Cell broadband engine architecture and its first implementation: A performance view. Technical report , IBM Research , 2005 . T. Chen, R. Raghavan, J. Dale, and E. Iwata. Cell broadband engine architecture and its first implementation: A performance view. Technical report, IBM Research, 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"Surviving the SoC revolution: A guide to platform-based design","author":"Cumming P.","year":"1999","unstructured":"P. Cumming . The TI OMAP platform approach to SoCs . In Surviving the SoC revolution: A guide to platform-based design . Kluwer , 1999 . P. Cumming. The TI OMAP platform approach to SoCs. In Surviving the SoC revolution: A guide to platform-based design. Kluwer, 1999."},{"key":"e_1_3_2_1_11_1","volume-title":"Handbook of Theoretical Computer Science","author":"Emerson E.A.","year":"1990","unstructured":"E.A. Emerson . Handbook of Theoretical Computer Science . MIT Press , 1990 . Chapter 16: Temporal and modal logic. E.A. Emerson. Handbook of Theoretical Computer Science. MIT Press, 1990. Chapter 16: Temporal and modal logic."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1759148.1759156"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2006.285483"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.99"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376804.1376810"},{"key":"e_1_3_2_1_18_1","unstructured":"IBM. Processor Local Bus Specification. http:\/\/www-01.ibm.com\/chips\/techlib\/techlib.nsf\/techdocs\/3BBB27E5BCC165BA87256A2B0064FFB4.  IBM. Processor Local Bus Specification. http:\/\/www-01.ibm.com\/chips\/techlib\/techlib.nsf\/techdocs\/3BBB27E5BCC165BA87256A2B0064FFB4."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000017719.43755.7c"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/355588.365140"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450095.1450117"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/230514.571645"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094840"},{"key":"e_1_3_2_1_26_1","unstructured":"NXP Semiconductors. Philips Nexperia Digital Video Platform. http:\/\/www.nxp.com.  NXP Semiconductors. Philips Nexperia Digital Video Platform. http:\/\/www.nxp.com."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.43"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC-7.2008.14"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1103846.1103847"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1898953.1899118"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2007.46"},{"key":"e_1_3_2_1_33_1","unstructured":"University of Illinois. HW-SW Architectures for SoC-based Real-Time Embedded Systems. http:\/\/pertsserver.cs.uiuc.edu\/~fpgaweb.  University of Illinois. HW-SW Architectures for SoC-based Real-Time Embedded Systems. http:\/\/pertsserver.cs.uiuc.edu\/~fpgaweb."},{"key":"e_1_3_2_1_34_1","unstructured":"Uppsala University and Aalborg Univeristy. Uppaal a tool suite for verification of real-time systems. www.uppaal.com.  Uppsala University and Aalborg Univeristy. Uppaal a tool suite for verification of real-time systems. www.uppaal.com."},{"key":"e_1_3_2_1_35_1","unstructured":"John G. Webster. Cardiac Pacemakers. IEEE Press 1993.  John G. Webster. Cardiac Pacemakers. IEEE Press 1993."},{"key":"e_1_3_2_1_36_1","unstructured":"Xilinx Inc. Virtex-5 User Guide. Available at www.xilinx.com.  Xilinx Inc. Virtex-5 User Guide. Available at www.xilinx.com."}],"event":{"name":"ESWeek '09: Fifth Embedded Systems Week","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"Grenoble France","acronym":"ESWeek '09"},"container-title":["Proceedings of the seventh ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629335.1629367","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629335.1629367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:26Z","timestamp":1750250486000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629335.1629367"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,12]]},"references-count":35,"alternative-id":["10.1145\/1629335.1629367","10.1145\/1629335"],"URL":"https:\/\/doi.org\/10.1145\/1629335.1629367","relation":{},"subject":[],"published":{"date-parts":[[2009,10,12]]},"assertion":[{"value":"2009-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}