{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:18Z","timestamp":1750306758698,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,16]],"date-time":"2013-10-16T00:00:00Z","timestamp":1381881600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"name":"ERDF (European Regional Development Fund) through COMPETE","award":["FCOMP-01-0124-FEDER-022701 (CISTER), FCOMP-01-0124-FEDER-020447 (REGAIN), NORTE-07-0124-FEDER-000063 (BEST-CASE)"],"award-info":[{"award-number":["FCOMP-01-0124-FEDER-022701 (CISTER), FCOMP-01-0124-FEDER-020447 (REGAIN), NORTE-07-0124-FEDER-000063 (BEST-CASE)"]}]},{"name":"EU ARTEMIS JU","award":["333053 (CONCERTO), 295371 (CRAFTERS)"],"award-info":[{"award-number":["333053 (CONCERTO), 295371 (CRAFTERS)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,10,16]]},"DOI":"10.1145\/2516821.2516834","type":"proceedings-article","created":{"date-parts":[[2013,10,3]],"date-time":"2013-10-03T13:37:34Z","timestamp":1380807454000},"page":"183-192","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Two protocols to reduce the criticality level of multiprocessor mixed-criticality systems"],"prefix":"10.1145","author":[{"given":"Fran\u00e7ois","family":"Santy","sequence":"first","affiliation":[{"name":"Universit\u00e9 Libre de Bruxelles (ULB)"}]},{"given":"Gurulingesh","family":"Raravi","sequence":"additional","affiliation":[{"name":"Polytechnic Institute of Porto"}]},{"given":"Geoffrey","family":"Nelissen","sequence":"additional","affiliation":[{"name":"Polytechnic Institute of Porto"}]},{"given":"Vincent","family":"Nelis","sequence":"additional","affiliation":[{"name":"Polytechnic Institute of Porto"}]},{"given":"Pratyush","family":"Kumar","sequence":"additional","affiliation":[{"name":"Computer Engineering and Networks Laboratory, ETH Zurich"}]},{"given":"Jo\u00ebl","family":"Goossens","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Libre de Bruxelles (ULB)"}]},{"given":"Eduardo","family":"Tovar","sequence":"additional","affiliation":[{"name":"Polytechnic Institute of Porto"}]}],"member":"320","published-online":{"date-parts":[[2013,10,16]]},"reference":[{"volume-title":"Avionics Electronic Engineering Committee (ARINC)","year":"2006","key":"e_1_3_2_1_1_1","unstructured":"Avionics application software standard interface: Part 1 - required services (ARINC specification 653--2). Technical report , Avionics Electronic Engineering Committee (ARINC) , March 2006 . Avionics application software standard interface: Part 1 - required services (ARINC specification 653--2). Technical report, Avionics Electronic Engineering Committee (ARINC), March 2006."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1275298"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.42"},{"key":"e_1_3_2_1_4_1","first-page":"555","volume-title":"ESA","author":"Baruah S. K.","year":"2011","unstructured":"S. K. Baruah , V. Bonifaci , G. D'Angelo , A. Marchetti-Spaccamela , S. Van Der Ster, and L. Stougie. Mixed-criticality scheduling of sporadic task systems . In ESA 2011 , pages 555 -- 566 . S. K. Baruah, V. Bonifaci, G. D'Angelo, A. Marchetti-Spaccamela, S. Van Der Ster, and L. Stougie. Mixed-criticality scheduling of sporadic task systems. In ESA 2011, pages 555--566."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.12"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.46"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.10"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.11"},{"key":"e_1_3_2_1_10_1","volume-title":"Department of Computer Science","author":"Ha R.","year":"1993","unstructured":"R. Ha and J. W. Liu . Validating timing constraints in multiprocessor and distributed real-time systems. Technical report , Department of Computer Science , University of Illinois at Urbana-Champaign , Champaign, IL, USA , 1993 . R. Ha and J. W. Liu. Validating timing constraints in multiprocessor and distributed real-time systems. Technical report, Department of Computer Science, University of Illinois at Urbana-Champaign, Champaign, IL, USA, 1993."},{"key":"e_1_3_2_1_11_1","volume-title":"ICDCS","author":"Ha R.","year":"1994","unstructured":"R. Ha and J. W. S. Liu . Validating timing constraints in multiprocessor and distributed real-time systems . In ICDCS 1994 . R. Ha and J. W. S. Liu. Validating timing constraints in multiprocessor and distributed real-time systems. In ICDCS 1994."},{"volume-title":"ISO26262: Road Vehicules - Functional Sagety. Technical report","year":"2011","key":"e_1_3_2_1_12_1","unstructured":"ISO\/TC22. ISO26262: Road Vehicules - Functional Sagety. Technical report , International Organization for Standardization , 2011 . ISO\/TC22. ISO26262: Road Vehicules - Functional Sagety. Technical report, International Organization for Standardization, 2011."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.13"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.41"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.18"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.41"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879035"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.30"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.29"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.39"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2485288.2485325"},{"key":"e_1_3_2_1_22_1","volume-title":"Radio Technical Commission for Aeronautic","author":"F. A. A. United States. DO-178B","year":"1992","unstructured":"F. A. A. United States. DO-178B : Software Considerations in Airborne Systems and Equipment Certification. Technical report , Radio Technical Commission for Aeronautic , 1992 . F. A. A. United States. DO-178B: Software Considerations in Airborne Systems and Equipment Certification. Technical report, Radio Technical Commission for Aeronautic, 1992."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.35"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2013.6601497"}],"event":{"name":"RTNS 2013: 21st International Conference on Real-Time Networks and Systems","sponsor":["CNRS Centre National De La Rechercue Scientifique","INRIA Institut Natl de Recherche en Info et en Automatique"],"location":"Sophia Antipolis France","acronym":"RTNS 2013"},"container-title":["Proceedings of the 21st International conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2516821.2516834","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2516821.2516834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:39Z","timestamp":1750231719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2516821.2516834"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,16]]},"references-count":23,"alternative-id":["10.1145\/2516821.2516834","10.1145\/2516821"],"URL":"https:\/\/doi.org\/10.1145\/2516821.2516834","relation":{},"subject":[],"published":{"date-parts":[[2013,10,16]]},"assertion":[{"value":"2013-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}