{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:04:13Z","timestamp":1750309453309,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,6]],"date-time":"2024-11-06T00:00:00Z","timestamp":1730851200000},"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":[[2024,11,6]]},"DOI":"10.1145\/3696355.3699702","type":"proceedings-article","created":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T11:55:46Z","timestamp":1735905346000},"page":"302-314","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-6294-4813","authenticated-orcid":false,"given":"Simon","family":"Picard","sequence":"first","affiliation":[{"name":"Ourway, Brussels, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6608-6562","authenticated-orcid":false,"given":"Antonio","family":"Paolillo","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Brussels, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7738-4684","authenticated-orcid":false,"given":"Gilles","family":"Geeraerts","sequence":"additional","affiliation":[{"name":"Universit\u00e9 libre de Bruxelles, Brussels, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9524-8911","authenticated-orcid":false,"given":"Jo\u00ebl","family":"Goossens","sequence":"additional","affiliation":[{"name":"Universit\u00e9 libre de Bruxelles, Brussels, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2025,1,3]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-65955-4_10"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_14"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2018.11"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"Sedigheh Asyaban and Mehdi Kargahi. 2018. An exact schedulability test for fixed-priority preemptive mixed-criticality real-time systems. Real-Time Systems 54 (2018) 32\u201390.","DOI":"10.1007\/s11241-017-9287-2"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77096-1_5"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2016.030"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968488"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.12"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23719-5_47"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"crossref","unstructured":"Sanjoy\u00a0K Baruah Louis\u00a0E Rosier and Rodney\u00a0R Howell. 1990. Algorithms and complexity concerning the preemptive scheduling of periodic real-time tasks on one processor. Real-time systems 2 4 (1990) 301\u2013324.","DOI":"10.1007\/BF01995675"},{"key":"e_1_3_3_2_12_2","volume-title":"Mixed Criticality Systems - A Review (13th Edition, February 2022)","author":"Burns Alan","year":"2022","unstructured":"Alan Burns and Robert\u00a0Ian Davis. 2022. Mixed Criticality Systems - A Review (13th Edition, February 2022). White Rose ePrints repository, Yorkshire, UK. https:\/\/eprints.whiterose.ac.uk\/183619\/ This is the 13th version of this review now updated to cover research published up to the end of 2021.."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2022.14"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Yao Chen Qiao Li Zheng Li and Huagang Xiong. 2014. Efficient schedulability analysis for mixed-criticality systems under deadline-based scheduling. Chinese Journal of Aeronautics 27 4 (2014) 856\u2013866.","DOI":"10.1016\/j.cja.2014.05.003"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_2"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","unstructured":"Laurent Doyen and Jean-Francois Raskin. 2009. Antichains for the Automata-Based Approach to Model-Checking. Logical Methods in Computer Science 5 1 (3 2009) 1\u201320. 10.2168\/lmcs-5(1:5)2009","DOI":"10.2168\/lmcs-5(1:5)2009"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.24"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","unstructured":"Pontus Ekberg and Wang Yi. 2014. Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Real-Time Systems 50 1 (01 Jan 2014) 48\u201386. 10.1007\/s11241-013-9187-z https:\/\/dl.acm.org\/doi\/10.1007\/s11241-013-9187-z","DOI":"10.1007\/s11241-013-9187-z"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"crossref","unstructured":"Pontus Ekberg and Wang Yi. 2014. Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Real-time systems 50 (2014) 48\u201386.","DOI":"10.1007\/s11241-013-9187-z"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"crossref","unstructured":"Alexandre Esper Geoffrey Nelissen Vincent N\u00e9lis and Eduardo Tovar. 2018. An industrial view on the common academic understanding of mixed-criticality systems. Real-Time Systems 54 (2018) 745\u2013795.","DOI":"10.1007\/s11241-018-9308-9"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","unstructured":"Emmanuel Filiot Naiyong Jin and Jean-Fran\u00e7ois Raskin. 2011. Antichains and compositional algorithms for LTL synthesis. Formal Methods Syst. Des. 39 3 (2011) 261\u2013296. 10.1007\/S10703-011-0115-3 https:\/\/dl.acm.org\/doi\/10.1007\/S10703-011-0115-3","DOI":"10.1007\/S10703-011-0115-3"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Gilles Geeraerts Jo\u00ebl Goossens and Markus Lindstr\u00f6m. 2013. Multiprocessor schedulability of arbitrary-deadline sporadic tasks: Complexity and antichain algorithm. Real-time systems 49 2 (2013) 171\u2013218.","DOI":"10.1007\/s11241-012-9172-y"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","unstructured":"Gilles Geeraerts Jo\u00ebl Goossens Thi-Van-Anh Nguyen and Am\u00e9lie Stainer. 2018. Synthesising succinct strategies in safety games with an application to real-time scheduling. Theor. Comput. Sci. 735 (2018) 24\u201349. 10.1016\/J.TCS.2017.06.004","DOI":"10.1016\/J.TCS.2017.06.004"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2024.3"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS49844.2020.00018"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"crossref","unstructured":"Xiaozhe Gu and Arvind Easwaran. 2017. Efficient schedulability test for dynamic-priority scheduling of mixed-criticality real-time systems. ACM Transactions on Embedded Computing Systems (TECS) 17 1 (2017) 1\u201324.","DOI":"10.1145\/3105922"},{"key":"e_1_3_3_2_27_2","unstructured":"Cliff\u00a0B Jones and Alan Burns. 2021. A Rely-Guarantee Specification of Mixed-Criticality Scheduling. arxiv:https:\/\/arXiv.org\/abs\/2012.01493\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2012.01493"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2019.8"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.41"},{"key":"e_1_3_3_2_30_2","unstructured":"Markus Lindstr\u00f6m Gilles Geeraerts and Jo\u00ebl Goossens. 2011. A faster exact multiprocessor schedulability test for sporadic tasks. 9th International Conference on Real-Time and Network Systems RTNS \u201911.."},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2017.00009"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2018.9"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2019.21"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2022.12"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS49844.2020.00021"},{"key":"e_1_3_3_2_36_2","unstructured":"Antonio Paolillo Paul Rodriguez Vladimir Svoboda Olivier Desenfans Jo\u00ebl Goossens Ben Rodriguez Sylvain Girbal Madeleine Faug\u00e8re and Philippe Bonnot. 2017. Porting a safety-critical industrial application on a mixed-criticality enabled real-time operating system. Workshop on Mixed Criticality Systems."},{"key":"e_1_3_3_2_37_2","volume-title":"MC Graph Explorer","author":"Picard Simon","year":"2024","unstructured":"Simon Picard and Antonio Paolillo. 2024. MC Graph Explorer. GitHub. https:\/\/github.com\/simonpicard\/mixed-criticality-graph-xp\/"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"crossref","unstructured":"Simon Picard Antonio Paolillo Gilles Geeraerts and Jo\u00ebl Goossens. 2024. Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles. arxiv:https:\/\/arXiv.org\/abs\/2410.18308\u00a0[cs.OS] https:\/\/arxiv.org\/abs\/2410.18308","DOI":"10.1145\/3696355.3699702"},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"publisher","unstructured":"Sayra Ranjha Pourya Gohari Geoffrey Nelissen and Mitra Nasri. 2023. Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks. Real-Time Systems 59 2 (01 Jun 2023) 201\u2013255. 10.1007\/s11241-023-09398-x https:\/\/dl.acm.org\/doi\/10.1007\/s11241-023-09398-x","DOI":"10.1007\/s11241-023-09398-x"},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00018"},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"publisher","unstructured":"Jean-Fran\u00e7ois Raskin Krishnendu Chatterjee Laurent Doyen and Thomas\u00a0A. Henzinger. 2007. Algorithms for Omega-Regular Games with Imperfect Information. Log. Methods Comput. Sci. 3 3 (2007) 1\u201320. 10.2168\/LMCS-3(3:4)2007","DOI":"10.2168\/LMCS-3(3:4)2007"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/SBESC.2015.18"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3534879.3534897"},{"key":"e_1_3_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/3453417.3453428"},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.47"},{"key":"e_1_3_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_5"},{"key":"e_1_3_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715111"}],"event":{"name":"RTNS 2024: The 32nd International Conference on Real-Time Networks and Systems","acronym":"RTNS 2024","location":"Porto Portugal"},"container-title":["Proceedings of the 32nd International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696355.3699702","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696355.3699702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:10:11Z","timestamp":1750295411000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696355.3699702"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,6]]},"references-count":46,"alternative-id":["10.1145\/3696355.3699702","10.1145\/3696355"],"URL":"https:\/\/doi.org\/10.1145\/3696355.3699702","relation":{},"subject":[],"published":{"date-parts":[[2024,11,6]]},"assertion":[{"value":"2025-01-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}