{"id":"https://openalex.org/W4404306446","doi":"https://doi.org/10.1145/3696355.3699702","title":"Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles","display_name":"Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles","publication_year":2024,"publication_date":"2024-11-06","ids":{"openalex":"https://openalex.org/W4404306446","doi":"https://doi.org/10.1145/3696355.3699702"},"language":"en","primary_location":{"id":"doi:10.1145/3696355.3699702","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3696355.3699702","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3696355.3699702?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd International Conference on Real-Time Networks and Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3696355.3699702?download=true","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114618044","display_name":"Simon Picard","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Simon Picard","raw_affiliation_strings":["Ourway, Brussels, Belgium"],"raw_orcid":"https://orcid.org/0009-0004-6294-4813","affiliations":[{"raw_affiliation_string":"Ourway, Brussels, Belgium","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102966259","display_name":"Antonio Paolillo","orcid":"https://orcid.org/0000-0001-6608-6562"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Antonio Paolillo","raw_affiliation_strings":["Vrije Universiteit Brussel, Brussels, Belgium"],"raw_orcid":"https://orcid.org/0000-0001-6608-6562","affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel, Brussels, Belgium","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108492834","display_name":"Gilles Geeraerts","orcid":null},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Gilles Geeraerts","raw_affiliation_strings":["Universit\u00e9 libre de Bruxelles, Brussels, Belgium"],"raw_orcid":"https://orcid.org/0009-0005-7738-4684","affiliations":[{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, Brussels, Belgium","institution_ids":["https://openalex.org/I132053463"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111464986","display_name":"Jo\u00ebl Goossens","orcid":"https://orcid.org/0000-0001-9524-8911"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Jo\u00ebl Goossens","raw_affiliation_strings":["Universit\u00e9 libre de Bruxelles, Brussels, Belgium"],"raw_orcid":"https://orcid.org/0000-0001-9524-8911","affiliations":[{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, Brussels, Belgium","institution_ids":["https://openalex.org/I132053463"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4511,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.57199074,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"302","last_page":"314"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9814000129699707,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9696000218391418,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.82455974817276},{"id":"https://openalex.org/keywords/uniprocessor-system","display_name":"Uniprocessor system","score":0.5773704051971436},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5746733546257019},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4993479251861572},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4932689070701599},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.46127083897590637},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.44665759801864624},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4297897219657898},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.35622817277908325},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.26617711782455444},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.26572415232658386},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.18868225812911987},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10051882266998291}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.82455974817276},{"id":"https://openalex.org/C79189994","wikidata":"https://www.wikidata.org/wiki/Q3488021","display_name":"Uniprocessor system","level":3,"score":0.5773704051971436},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5746733546257019},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4993479251861572},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4932689070701599},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.46127083897590637},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.44665759801864624},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4297897219657898},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35622817277908325},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.26617711782455444},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26572415232658386},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.18868225812911987},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10051882266998291},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3696355.3699702","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3696355.3699702","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3696355.3699702?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd International Conference on Real-Time Networks and Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2410.18308","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.18308","pdf_url":"https://arxiv.org/pdf/2410.18308","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:dipot.ulb.ac.be:2013/378379","is_oa":true,"landing_page_url":"http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/378379","pdf_url":"https://dipot.ulb.ac.be/dspace/bitstream/2013/378379/3/rtns24_mcgraph.pdf","source":{"id":"https://openalex.org/S4306401063","display_name":"D\u00e9p\u00f4t institutionnel de l'Universit\u00e9 libre de Bruxelles (Universit\u00e9 Libre de Bruxelles)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I132053463","host_organization_name":"Universit\u00e9 Libre de Bruxelles","host_organization_lineage":["https://openalex.org/I132053463"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of Real-Time and Network Systems","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:179371","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/exact-schedulability-test-for-sporadic-mixedcriticality-realtime-systems-using-antichains-and-oracles(97f0a1e6-ff5d-49b9-b24a-e7b8b4352292).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:187717","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3696355.3699702","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3696355.3699702","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3696355.3699702?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd International Conference on Real-Time Networks and Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404306446.pdf","grobid_xml":"https://content.openalex.org/works/W4404306446.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W1497805930","https://openalex.org/W1543741569","https://openalex.org/W1731774687","https://openalex.org/W1964869575","https://openalex.org/W2005353733","https://openalex.org/W2034608968","https://openalex.org/W2036749964","https://openalex.org/W2045607085","https://openalex.org/W2069888227","https://openalex.org/W2073874233","https://openalex.org/W2086748818","https://openalex.org/W2108036288","https://openalex.org/W2112698981","https://openalex.org/W2137189977","https://openalex.org/W2137654363","https://openalex.org/W2216355539","https://openalex.org/W2252994708","https://openalex.org/W2263961453","https://openalex.org/W2530404546","https://openalex.org/W2569164022","https://openalex.org/W2745071378","https://openalex.org/W2768539012","https://openalex.org/W2785615002","https://openalex.org/W2799818814","https://openalex.org/W2810336625","https://openalex.org/W2810506336","https://openalex.org/W2946016889","https://openalex.org/W2955296926","https://openalex.org/W2964254728","https://openalex.org/W2965255623","https://openalex.org/W3102958032","https://openalex.org/W3114072796","https://openalex.org/W3114999473","https://openalex.org/W3116253792","https://openalex.org/W3125202098","https://openalex.org/W3183425141","https://openalex.org/W4281627488","https://openalex.org/W4283734709","https://openalex.org/W4380050077","https://openalex.org/W4404306446","https://openalex.org/W6966469843","https://openalex.org/W6966475840"],"related_works":["https://openalex.org/W3089428898","https://openalex.org/W2119024804","https://openalex.org/W2373808685","https://openalex.org/W3143612015","https://openalex.org/W2115553367","https://openalex.org/W2110186189","https://openalex.org/W2226527799","https://openalex.org/W2737959746","https://openalex.org/W3185082566","https://openalex.org/W2118007526"],"abstract_inverted_index":{"This":[0],"work":[1],"addresses":[2],"the":[3,19,39,63,70,84,114],"problem":[4,20],"of":[5,23,98,108,116],"exact":[6,89],"schedulability":[7,90,119],"assessment":[8],"in":[9,32,74,83],"uniprocessor":[10],"mixed-criticality":[11],"real-time":[12],"systems":[13],"with":[14],"sporadic":[15],"task":[16,99],"sets.We":[17],"model":[18],"by":[21,51],"means":[22],"a":[24,45,80,96,124],"finite":[25],"automaton":[26],"that":[27,68],"has":[28],"to":[29,34,79,102,112,122],"be":[30],"explored":[31],"order":[33],"check":[35],"for":[36,88,95],"schedulability.To":[37],"mitigate":[38],"state":[40],"explosion":[41],"problem,":[42],"we":[43],"provide":[44],"generic":[46],"algorithm":[47,71],"which":[48],"is":[49],"parameterised":[50],"several":[52],"techniques":[53,59],"called":[54],"oracles":[55],"and":[56,121],"simulation":[57],"relations.These":[58],"leverage":[60],"results":[61],"from":[62],"scheduling":[64],"literature":[65],"as":[66],"\"plug-ins\"":[67],"make":[69],"more":[72],"efficient":[73],"practice.Our":[75],"approach":[76],"achieves":[77],"up":[78,101],"99.998%":[81],"reduction":[82],"search":[85],"space":[86],"required":[87],"testing,":[91],"making":[92],"it":[93],"practical":[94],"range":[97],"sets,":[100],"8":[103],"tasks":[104],"or":[105],"maximum":[106],"periods":[107],"350.This":[109],"method":[110],"enables":[111],"challenge":[113],"pessimism":[115],"an":[117],"existing":[118],"test":[120],"derive":[123],"new":[125],"dynamic-priority":[126],"scheduler,":[127],"demonstrating":[128],"its":[129],"good":[130],"performance.":[131]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}