{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:23Z","timestamp":1750307483120,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T00:00:00Z","timestamp":1287878400000},"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":[[2010,10,24]]},"DOI":"10.1145\/1879021.1879035","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"99-108","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Load-based schedulability analysis of certifiable mixed-criticality systems"],"prefix":"10.1145","author":[{"given":"Haohan","family":"Li","sequence":"first","affiliation":[{"name":"The University of North Carolina, Chapel Hill, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjoy","family":"Baruah","sequence":"additional","affiliation":[{"name":"The University of North Carolina, Chapel Hill, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"October","author":"ARINC.","year":"2003","unstructured":"ARINC. ARINC 653-1 Avionics application software standard interface , October 2003 . ARINC. ARINC 653-1 Avionics application software standard interface, October 2003."},{"key":"e_1_3_2_1_2_1","volume-title":"Optimal priority assignment and feasibility of static priority tasks with arbitrary start times. Technical report","author":"Audsley N. C.","year":"1991","unstructured":"N. C. Audsley . Optimal priority assignment and feasibility of static priority tasks with arbitrary start times. Technical report , The University of York , England , 1991 . N. C. Audsley. Optimal priority assignment and feasibility of static priority tasks with arbitrary start times. Technical report, The University of York, England, 1991."},{"key":"e_1_3_2_1_4_1","volume-title":"April","author":"Barhorst J.","year":"2009","unstructured":"J. Barhorst , T. Belote , P. Binns , J. Hoffman , J. Paunicka , P. Sarathy , J. S. P. Stanfill , D. Stuart , and R. Urzi . White paper: A research agenda for mixed-criticality systems , April 2009 . Available at http:\/\/www.cse.wustl.edu\/~cdgill\/CPSWEEK09 MCAR. J. Barhorst, T. Belote, P. Binns, J. Hoffman, J. Paunicka, P. Sarathy, J. S. P. Stanfill, D. Stuart, and R. Urzi. White paper: A research agenda for mixed-criticality systems, April 2009. Available at http:\/\/www.cse.wustl.edu\/~cdgill\/CPSWEEK09 MCAR."},{"key":"e_1_3_2_1_5_1","unstructured":"S.\n      Baruah\n    . \n      Mixed\n     criticality schedulability analysis is highly intractable.\n   Available at http:\/\/www.cs.unc.edu\/~baruah\/Pubs.shtml 2009\n  .  S. Baruah. Mixed criticality schedulability analysis is highly intractable. Available at http:\/\/www.cs.unc.edu\/~baruah\/Pubs.shtml 2009."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the ICSA International Conference on Computers and their Applications (CATA). IEEE","author":"Baruah S.","year":"2010","unstructured":"S. Baruah , H. Li , and L. Stougie . Mixed-criticality scheduling: improved resource-augmentation results . In Proceedings of the ICSA International Conference on Computers and their Applications (CATA). IEEE , April 2010 . S. Baruah, H. Li, and L. Stougie. Mixed-criticality scheduling: improved resource-augmentation results. In Proceedings of the ICSA International Conference on Computers and their Applications (CATA). IEEE, April 2010."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.10"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.26"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.46"},{"key":"e_1_3_2_1_10_1","first-page":"807","volume-title":"Proceedings of the IFIP Congress","author":"Dertouzos M.","year":"1974","unstructured":"M. Dertouzos . Control robotics: the procedural control of physical processors . In Proceedings of the IFIP Congress , pages 807 -- 813 , 1974 . M. Dertouzos. Control robotics: the procedural control of physical processors. In Proceedings of the IFIP Congress, pages 807--813, 1974."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_12_1","first-page":"07458","author":"Liu J. W. S.","year":"2000","unstructured":"J. W. S. Liu . Real-Time Systems . Prentice-Hall, Inc. , Upper Saddle River , New Jersey 07458 , 2000 . J. W. S. Liu. Real-Time Systems. Prentice-Hall, Inc., Upper Saddle River, New Jersey 07458, 2000.","journal-title":"New Jersey"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629367"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.35"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2009.11"}],"event":{"name":"ESWeek '10: Sixth Embedded Systems Week","sponsor":["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","CEDA","IEEE CAS","IEEE CS"],"location":"Scottsdale Arizona USA","acronym":"ESWeek '10"},"container-title":["Proceedings of the tenth ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879021.1879035","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1879021.1879035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:09:05Z","timestamp":1750248545000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879021.1879035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,24]]},"references-count":14,"alternative-id":["10.1145\/1879021.1879035","10.1145\/1879021"],"URL":"https:\/\/doi.org\/10.1145\/1879021.1879035","relation":{},"subject":[],"published":{"date-parts":[[2010,10,24]]},"assertion":[{"value":"2010-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}