{"id":"https://openalex.org/W2046998979","doi":"https://doi.org/10.1145/2783438","title":"Analyzing Event-Based Scheduling in Concurrent Reactive Systems","display_name":"Analyzing Event-Based Scheduling in Concurrent Reactive Systems","publication_year":2015,"publication_date":"2015-09-24","ids":{"openalex":"https://openalex.org/W2046998979","doi":"https://doi.org/10.1145/2783438","mag":"2046998979"},"language":"en","primary_location":{"id":"doi:10.1145/2783438","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2783438","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090340379","display_name":"Jianmin Jiang","orcid":"https://orcid.org/0000-0002-5178-0081"},"institutions":[{"id":"https://openalex.org/I111753288","display_name":"Fujian Normal University","ror":"https://ror.org/020azk594","country_code":"CN","type":"education","lineage":["https://openalex.org/I111753288"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jian-Min Jiang","raw_affiliation_strings":["Fujian Normal University, Fuzhou, China"],"affiliations":[{"raw_affiliation_string":"Fujian Normal University, Fuzhou, China","institution_ids":["https://openalex.org/I111753288"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102937444","display_name":"Huibiao Zhu","orcid":"https://orcid.org/0000-0002-0214-8565"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huibiao Zhu","raw_affiliation_strings":["East China Normal University, Shanghai, China","East China Normal University, SHANGHAI, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"East China Normal University, SHANGHAI, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056850002","display_name":"Qin Li","orcid":"https://orcid.org/0000-0001-7476-4079"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qin Li","raw_affiliation_strings":["East China Normal University, Shanghai, China","East China Normal University, SHANGHAI, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"East China Normal University, SHANGHAI, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013464242","display_name":"Yongxin Zhao","orcid":"https://orcid.org/0000-0001-5712-079X"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongxin Zhao","raw_affiliation_strings":["East China Normal University, Shanghai, China","East China Normal University, SHANGHAI, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"East China Normal University, SHANGHAI, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101982926","display_name":"Lin Zhao","orcid":"https://orcid.org/0000-0002-2966-1932"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lin Zhao","raw_affiliation_strings":["Beijing Jiaotong University, Beijing, China","[Beijing Jiaotong University, Beijing, China]"],"affiliations":[{"raw_affiliation_string":"Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"[Beijing Jiaotong University, Beijing, China]","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100769259","display_name":"Shi Zhang","orcid":"https://orcid.org/0000-0002-1502-0501"},"institutions":[{"id":"https://openalex.org/I111753288","display_name":"Fujian Normal University","ror":"https://ror.org/020azk594","country_code":"CN","type":"education","lineage":["https://openalex.org/I111753288"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shi Zhang","raw_affiliation_strings":["Fujian Normal University, Fuzhou, China"],"affiliations":[{"raw_affiliation_string":"Fujian Normal University, Fuzhou, China","institution_ids":["https://openalex.org/I111753288"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019029265","display_name":"Ping Gong","orcid":"https://orcid.org/0000-0001-9910-7948"},"institutions":[{"id":"https://openalex.org/I111753288","display_name":"Fujian Normal University","ror":"https://ror.org/020azk594","country_code":"CN","type":"education","lineage":["https://openalex.org/I111753288"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ping Gong","raw_affiliation_strings":["Fujian Normal University, Fuzhou, China"],"affiliations":[{"raw_affiliation_string":"Fujian Normal University, Fuzhou, China","institution_ids":["https://openalex.org/I111753288"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016260066","display_name":"Hong Zhong","orcid":"https://orcid.org/0000-0002-0392-9734"},"institutions":[{"id":"https://openalex.org/I111753288","display_name":"Fujian Normal University","ror":"https://ror.org/020azk594","country_code":"CN","type":"education","lineage":["https://openalex.org/I111753288"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhong Hong","raw_affiliation_strings":["Fujian Normal University, Fuzhou, China"],"affiliations":[{"raw_affiliation_string":"Fujian Normal University, Fuzhou, China","institution_ids":["https://openalex.org/I111753288"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5090340379"],"corresponding_institution_ids":["https://openalex.org/I111753288"],"apc_list":null,"apc_paid":null,"fwci":1.6149,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.83554114,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"14","issue":"4","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"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.9993000030517578,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9987999796867371,"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.8355350494384766},{"id":"https://openalex.org/keywords/two-level-scheduling","display_name":"Two-level scheduling","score":0.6785923838615417},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6664212942123413},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6627615094184875},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.657799482345581},{"id":"https://openalex.org/keywords/fair-share-scheduling","display_name":"Fair-share scheduling","score":0.6506214141845703},{"id":"https://openalex.org/keywords/fixed-priority-pre-emptive-scheduling","display_name":"Fixed-priority pre-emptive scheduling","score":0.6288397312164307},{"id":"https://openalex.org/keywords/rate-monotonic-scheduling","display_name":"Rate-monotonic scheduling","score":0.5901074409484863},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5397615432739258},{"id":"https://openalex.org/keywords/earliest-deadline-first-scheduling","display_name":"Earliest deadline first scheduling","score":0.524520993232727},{"id":"https://openalex.org/keywords/round-robin-scheduling","display_name":"Round-robin scheduling","score":0.4842190742492676},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.3053189516067505},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.19406723976135254},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.16496089100837708},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10584941506385803},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06547415256500244}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8355350494384766},{"id":"https://openalex.org/C119948110","wikidata":"https://www.wikidata.org/wiki/Q7858726","display_name":"Two-level scheduling","level":4,"score":0.6785923838615417},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6664212942123413},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6627615094184875},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.657799482345581},{"id":"https://openalex.org/C31689143","wikidata":"https://www.wikidata.org/wiki/Q733809","display_name":"Fair-share scheduling","level":3,"score":0.6506214141845703},{"id":"https://openalex.org/C122141398","wikidata":"https://www.wikidata.org/wiki/Q5456330","display_name":"Fixed-priority pre-emptive scheduling","level":5,"score":0.6288397312164307},{"id":"https://openalex.org/C127456818","wikidata":"https://www.wikidata.org/wiki/Q238879","display_name":"Rate-monotonic scheduling","level":4,"score":0.5901074409484863},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5397615432739258},{"id":"https://openalex.org/C32310161","wikidata":"https://www.wikidata.org/wiki/Q666365","display_name":"Earliest deadline first scheduling","level":5,"score":0.524520993232727},{"id":"https://openalex.org/C175893541","wikidata":"https://www.wikidata.org/wiki/Q1196582","display_name":"Round-robin scheduling","level":4,"score":0.4842190742492676},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.3053189516067505},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.19406723976135254},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.16496089100837708},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10584941506385803},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06547415256500244}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2783438","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2783438","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4300000071525574,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1794941098","display_name":null,"funder_award_id":"61402176, 61361136002, 61321064, and 61175123","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W70960920","https://openalex.org/W198290625","https://openalex.org/W1489721681","https://openalex.org/W1514339125","https://openalex.org/W1576380096","https://openalex.org/W1966865538","https://openalex.org/W1974759496","https://openalex.org/W1975455609","https://openalex.org/W1985694089","https://openalex.org/W1990977896","https://openalex.org/W1996072048","https://openalex.org/W1996109622","https://openalex.org/W2000302396","https://openalex.org/W2002399871","https://openalex.org/W2014942134","https://openalex.org/W2022371268","https://openalex.org/W2024016936","https://openalex.org/W2024955813","https://openalex.org/W2025970201","https://openalex.org/W2030181333","https://openalex.org/W2042330014","https://openalex.org/W2044561013","https://openalex.org/W2047988097","https://openalex.org/W2065340948","https://openalex.org/W2066286748","https://openalex.org/W2074074126","https://openalex.org/W2081623927","https://openalex.org/W2087356426","https://openalex.org/W2098346263","https://openalex.org/W2106800969","https://openalex.org/W2109488193","https://openalex.org/W2110425399","https://openalex.org/W2121372686","https://openalex.org/W2125414655","https://openalex.org/W2128932399","https://openalex.org/W2130442140","https://openalex.org/W2137865376","https://openalex.org/W2158914121","https://openalex.org/W2171679413","https://openalex.org/W2173961470","https://openalex.org/W2293287097","https://openalex.org/W2296604987","https://openalex.org/W2484338577","https://openalex.org/W2913663755","https://openalex.org/W4211008702","https://openalex.org/W4244728546","https://openalex.org/W4298842405"],"related_works":["https://openalex.org/W2184166483","https://openalex.org/W1545991362","https://openalex.org/W4300092030","https://openalex.org/W2167574351","https://openalex.org/W3184267879","https://openalex.org/W1935185185","https://openalex.org/W2545511463","https://openalex.org/W2404383452","https://openalex.org/W2372008037","https://openalex.org/W2978148977"],"abstract_inverted_index":{"The":[0,67],"traditional":[1],"research":[2],"on":[3,6],"scheduling":[4,8,31,42,58,65,73,82,86],"focuses":[5],"task":[7],"and":[9,33,60,105,120],"schedulability":[10],"analysis":[11],"in":[12,44],"concurrent":[13,77,126],"reactive":[14,78,127],"systems.":[15],"In":[16],"this":[17],"article,":[18],"we":[19,50],"dedicate":[20],"ourselves":[21],"to":[22,89,117],"event-based":[23,30],"scheduling.":[24],"We":[25],"first":[26],"formally":[27],"define":[28],"an":[29],"policy":[32,43,87],"propose":[34],"the":[35,38,52,55,72,94],"notion":[36],"of":[37,40,46,54,57,75,93],"correctness":[39,53],"a":[41,63,76,97,125],"terms":[45],"weak":[47],"termination.":[48],"Then":[49],"investigate":[51],"decomposition":[56],"controls":[59],"finally":[61],"obtain":[62],"decentralized":[64],"method.":[66],"method":[68],"can":[69],"automatically":[70],"decompose":[71],"policies":[74,123],"system":[79],"into":[80],"atomic":[81,85],"policies.":[83],"Every":[84],"corresponds":[88],"one":[90],"subsystem.":[91],"Each":[92],"subsystems":[95],"is":[96],"completely":[98],"independent":[99],"system,":[100],"which":[101],"may":[102,114],"be":[103],"developed":[104],"deployed":[106],"independently.":[107],"An":[108],"experiment":[109],"demonstrates":[110],"these":[111],"results":[112],"that":[113],"help":[115],"engineers":[116],"design":[118],"correct":[119],"efficient":[121],"schedule":[122],"for":[124],"system.":[128]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}