{"id":"https://openalex.org/W4406021956","doi":"https://doi.org/10.1145/3696355.3699707","title":"Leveraging Parallelism in Global Scheduling to Improve State Space Exploration in the SAG Framework","display_name":"Leveraging Parallelism in Global Scheduling to Improve State Space Exploration in the SAG Framework","publication_year":2024,"publication_date":"2024-11-06","ids":{"openalex":"https://openalex.org/W4406021956","doi":"https://doi.org/10.1145/3696355.3699707"},"language":"en","primary_location":{"id":"doi:10.1145/3696355.3699707","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3696355.3699707","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3696355.3699707","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026545667","display_name":"Pourya Gohari","orcid":"https://orcid.org/0000-0002-8587-5812"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Pourya Gohari","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-8587-5812","affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023696057","display_name":"Geoffrey Nelissen","orcid":"https://orcid.org/0000-0003-4141-6718"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Geoffrey Nelissen","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-4141-6718","affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088330531","display_name":"Jeroen Voeten","orcid":"https://orcid.org/0000-0002-9981-8392"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jeroen Voeten","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-9981-8392","affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081748665","display_name":"Mitra Nasri","orcid":"https://orcid.org/0000-0002-1052-8437"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mitra Nasri","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-1052-8437","affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.4511,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.60347222,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"70","last_page":"81"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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.9994000196456909,"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.9914000034332275,"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"}},{"id":"https://openalex.org/T12449","display_name":"Spacecraft Design and Technology","score":0.9506000280380249,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7645168304443359},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.6127005815505981},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6086469888687134},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.592136025428772},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5824861526489258},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.49684861302375793},{"id":"https://openalex.org/keywords/processor-scheduling","display_name":"Processor scheduling","score":0.4887537956237793},{"id":"https://openalex.org/keywords/task-parallelism","display_name":"Task parallelism","score":0.48389825224876404},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3628461956977844},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.2218896448612213},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1492886245250702},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.10810652375221252}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7645168304443359},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.6127005815505981},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6086469888687134},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.592136025428772},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5824861526489258},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.49684861302375793},{"id":"https://openalex.org/C2984822820","wikidata":"https://www.wikidata.org/wiki/Q1123036","display_name":"Processor scheduling","level":3,"score":0.4887537956237793},{"id":"https://openalex.org/C42992933","wikidata":"https://www.wikidata.org/wiki/Q691169","display_name":"Task parallelism","level":3,"score":0.48389825224876404},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3628461956977844},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2218896448612213},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1492886245250702},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.10810652375221252},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3696355.3699707","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3696355.3699707","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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:pure.tue.nl:openaire/29b3d028-8043-4a4a-9057-fead421fa6d9","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/29b3d028-8043-4a4a-9057-fead421fa6d9","pdf_url":"https://pure.tue.nl/ws/files/349921466/3696355.3699707.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Gohari, P, Nelissen, G, Voeten, J & Nasri, M 2025, Leveraging Parallelism in Global Scheduling to Improve State Space Exploration in the SAG Framework. in RTNS '24 : Proceedings of the 32nd International Conference on Real-Time Networks and Systems. Association for Computing Machinery, Inc., New York, pp. 70-81, 32nd International Conference on Real-Time Networks and Systems, RTNS 2024, Porto, Portugal, 6/11/24. https://doi.org/10.1145/3696355.3699707","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1145/3696355.3699707","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3696355.3699707","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":[{"id":"https://openalex.org/G2534387733","display_name":null,"funder_award_id":"101007260","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"}],"funders":[{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1501642906","https://openalex.org/W1546988069","https://openalex.org/W1568100006","https://openalex.org/W2003792898","https://openalex.org/W2042979415","https://openalex.org/W2046709080","https://openalex.org/W2097204685","https://openalex.org/W2098518913","https://openalex.org/W2112698981","https://openalex.org/W2125783653","https://openalex.org/W2146412113","https://openalex.org/W2154754551","https://openalex.org/W2171373547","https://openalex.org/W2243697324","https://openalex.org/W2293605332","https://openalex.org/W2594438598","https://openalex.org/W2785615002","https://openalex.org/W2792504804","https://openalex.org/W2946016889","https://openalex.org/W3024116706","https://openalex.org/W3114072796","https://openalex.org/W3130687998","https://openalex.org/W4200029583","https://openalex.org/W4205679033","https://openalex.org/W4281647897","https://openalex.org/W4283734709","https://openalex.org/W4380050077","https://openalex.org/W4382364307","https://openalex.org/W4388280096","https://openalex.org/W4391559745","https://openalex.org/W4391583785"],"related_works":["https://openalex.org/W2950520577","https://openalex.org/W1501159154","https://openalex.org/W74409296","https://openalex.org/W2003935582","https://openalex.org/W2567390125","https://openalex.org/W4405088460","https://openalex.org/W1554644772","https://openalex.org/W305742777","https://openalex.org/W2940653809","https://openalex.org/W2468095077"],"abstract_inverted_index":{"Response-time":[0],"analysis":[1],"(RTA)":[2],"is":[3,121,124],"crucial":[4],"for":[5,20,56,66,81,165,236,245],"ensuring":[6],"the":[7,26,46,101,105,113,117,128,139,161,197,207,210],"timeliness":[8],"of":[9,28,49,119,172,199,209],"real-time":[10],"systems.":[11,219],"As":[12],"system":[13],"complexity":[14],"increases,":[15],"there\u2019s":[16],"a":[17,37,57,136,225],"growing":[18],"need":[19],"RTA":[21],"techniques":[22],"that":[23,150,167,192],"can":[24,73,107,153],"automate":[25],"process":[27],"finding":[29],"worst-case":[30],"response":[31],"times.":[32],"The":[33],"schedule-abstraction":[34],"graph":[35],"(SAG),":[36],"recent":[38],"reachability-based":[39,97],"RTA,":[40],"addresses":[41],"this":[42,179],"by":[43,104,234],"systematically":[44],"exploring":[45],"decision":[47,134],"space":[48],"global":[50,67,82,143,242],"job-level":[51],"fixed-priority":[52],"(JLFP)":[53],"scheduling":[54,68,133,144],"policies":[55],"given":[58],"task":[59,79,238],"set.":[60],"SAG":[61,106,129,166,186,211],"significantly":[62],"outperforms":[63],"existing":[64],"RTAs":[65,88],"on":[69],"multicore,":[70],"e.g.,":[71],"it":[72,214],"identify":[74],"12":[75,250],"times":[76,92,227],"more":[77],"schedulable":[78],"sets":[80,171,239],"EDF":[83,243],"in":[84,111,175,229],"comparison":[85],"to":[86,142,181,215,217,249],"sufficient":[87],"and":[89,169,184,252],"operates":[90],"400":[91],"faster":[93],"than":[94],"some":[95],"other":[96],"tests.<br/>Despite":[98],"these":[99],"achievements,":[100],"state-space":[102,147],"explored":[103,200],"become":[108],"very":[109],"large":[110],"case":[112],"release":[114],"jitter":[115],"or":[116,204],"number":[118,198],"cores":[120,251],"large.":[122],"This":[123],"because":[125],"at":[126,135],"present":[127],"approach":[130],"explores":[131],"one":[132],"time,":[137],"leaving":[138],"parallelism":[140],"inherent":[141],"unexploited":[145],"during":[146],"exploration.":[148],"Recognizing":[149],"multiple":[151],"jobs":[152,174],"be":[154],"dispatched":[155],"concurrently":[156],"without":[157],"interference,":[158],"we":[159],"introduce":[160],"first":[162],"state-space-reduction":[163],"technique":[164,180],"identifies":[168],"analyzes":[170],"independent":[173],"tandem.":[176],"We":[177],"apply":[178],"both":[182],"preemptive":[183,237],"non-preemptive":[185],"frameworks.":[187],"Our":[188],"empirical":[189],"evaluations":[190],"show":[191],"our":[193,222],"solution":[194],"efficiently":[195],"reduces":[196],"states":[201],"while":[202,231],"maintaining":[203],"even":[205],"enhancing":[206],"accuracy":[208],"analysis,":[212],"enabling":[213],"scale":[216],"larger":[218],"For":[220],"instance,":[221],"method":[223],"achieves":[224],"6":[226],"reduction":[228],"runtime":[230],"improving":[232],"schedulability":[233],"16%":[235],"scheduled":[240],"using":[241],"(e.g.,":[244],"systems":[246],"with":[247],"2":[248],"60%":[253],"utilization).":[254]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}