{"id":"https://openalex.org/W4281962866","doi":"https://doi.org/10.1145/3517747","title":"Scheduling in Real-Time Mobile Systems","display_name":"Scheduling in Real-Time Mobile Systems","publication_year":2022,"publication_date":"2022-05-28","ids":{"openalex":"https://openalex.org/W4281962866","doi":"https://doi.org/10.1145/3517747"},"language":"en","primary_location":{"id":"doi:10.1145/3517747","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3517747","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/A5089020165","display_name":"Cong Chen","orcid":"https://orcid.org/0000-0001-5400-5497"},"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":"Cong Chen","raw_affiliation_strings":["College of Mathematics and Informatics, Fujian Normal University, Shangjie, Minhou, Fuzhou, Fujian, China"],"raw_orcid":"https://orcid.org/0000-0001-5400-5497","affiliations":[{"raw_affiliation_string":"College of Mathematics and Informatics, Fujian Normal University, Shangjie, Minhou, Fuzhou, Fujian, China","institution_ids":["https://openalex.org/I111753288"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049703971","display_name":"Zhong Hong","orcid":"https://orcid.org/0000-0002-5952-4306"},"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":["College of Mathematics and Informatics, Fujian Normal University, Shangjie, Minhou, Fuzhou, Fujian, China"],"raw_orcid":"https://orcid.org/0000-0002-5952-4306","affiliations":[{"raw_affiliation_string":"College of Mathematics and Informatics, Fujian Normal University, Shangjie, Minhou, Fuzhou, Fujian, China","institution_ids":["https://openalex.org/I111753288"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090340379","display_name":"Jianmin Jiang","orcid":"https://orcid.org/0000-0002-5178-0081"},"institutions":[{"id":"https://openalex.org/I24201400","display_name":"Chengdu University of Information Technology","ror":"https://ror.org/01yxwrh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I24201400"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian-Min Jiang","raw_affiliation_strings":["College of Software Engineering, Chengdu University of Information Technology, Chengdu, China"],"raw_orcid":"https://orcid.org/0000-0002-5178-0081","affiliations":[{"raw_affiliation_string":"College of Software Engineering, Chengdu University of Information Technology, Chengdu, China","institution_ids":["https://openalex.org/I24201400"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5229,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.80652636,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":"21","issue":"3","first_page":"1","last_page":"36"},"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/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9968000054359436,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8860145807266235},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5893547534942627},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5830860733985901},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.4808386266231537},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.48077768087387085},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4724707305431366},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3512476086616516},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13159146904945374}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8860145807266235},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5893547534942627},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5830860733985901},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.4808386266231537},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.48077768087387085},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4724707305431366},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3512476086616516},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13159146904945374},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3517747","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3517747","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":[],"awards":[{"id":"https://openalex.org/G3466727608","display_name":"\u57fa\u4e8e\u4e8b\u4ef6\u7684\u5f62\u5f0f\u5316\u6a21\u578b\u7684\u8868\u8fbe\u80fd\u529b\u4e0e\u5de5\u7a0b\u65b9\u6cd5\u7814\u7a76","funder_award_id":"61772004","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":64,"referenced_works":["https://openalex.org/W1465170264","https://openalex.org/W1491196069","https://openalex.org/W1576380096","https://openalex.org/W1633946210","https://openalex.org/W1750666328","https://openalex.org/W1767198946","https://openalex.org/W1966865538","https://openalex.org/W1972022192","https://openalex.org/W1974759496","https://openalex.org/W1985694089","https://openalex.org/W1996109622","https://openalex.org/W2001243851","https://openalex.org/W2010725166","https://openalex.org/W2012173880","https://openalex.org/W2015861549","https://openalex.org/W2015877115","https://openalex.org/W2024955813","https://openalex.org/W2025486575","https://openalex.org/W2030060625","https://openalex.org/W2042330014","https://openalex.org/W2042363190","https://openalex.org/W2044561013","https://openalex.org/W2046998979","https://openalex.org/W2047988097","https://openalex.org/W2056359803","https://openalex.org/W2066286748","https://openalex.org/W2085865324","https://openalex.org/W2087663894","https://openalex.org/W2095421079","https://openalex.org/W2105389929","https://openalex.org/W2109488193","https://openalex.org/W2128932399","https://openalex.org/W2129436915","https://openalex.org/W2130561017","https://openalex.org/W2137514195","https://openalex.org/W2137708046","https://openalex.org/W2137865376","https://openalex.org/W2139548638","https://openalex.org/W2149929637","https://openalex.org/W2150220388","https://openalex.org/W2150621030","https://openalex.org/W2151612633","https://openalex.org/W2158641729","https://openalex.org/W2158914121","https://openalex.org/W2164409988","https://openalex.org/W2169386550","https://openalex.org/W2171679413","https://openalex.org/W2233909155","https://openalex.org/W2240003275","https://openalex.org/W2296604987","https://openalex.org/W2302093231","https://openalex.org/W2325985404","https://openalex.org/W2569538334","https://openalex.org/W2575056493","https://openalex.org/W2592123029","https://openalex.org/W2625268316","https://openalex.org/W2739596300","https://openalex.org/W2740127617","https://openalex.org/W2756131603","https://openalex.org/W2774683530","https://openalex.org/W2784293571","https://openalex.org/W3014666007","https://openalex.org/W3024819714","https://openalex.org/W4243186596"],"related_works":["https://openalex.org/W2394779770","https://openalex.org/W2415102733","https://openalex.org/W2072346427","https://openalex.org/W2487222174","https://openalex.org/W2068583297","https://openalex.org/W2123050621","https://openalex.org/W4293288044","https://openalex.org/W2435833647","https://openalex.org/W2560926809","https://openalex.org/W2466262239"],"abstract_inverted_index":{"To":[0],"guarantee":[1,180],"the":[2,32,66,70,82,141,150,161,194],"safety":[3],"and":[4,22,80,99,124,129,140,190,196],"security":[5],"of":[6,84,143,152,198],"a":[7,73,114,120,157],"real-time":[8,131,184],"mobile":[9,33,59,132,165,185],"system":[10],"such":[11,36,85],"as":[12],"an":[13,135,173],"intelligent":[14],"transportation":[15],"system,":[16],"it":[17,126],"is":[18,76,97,138,145],"necessary":[19],"to":[20,27,78,127,179],"model":[21,118,128],"analyze":[23,130],"its":[24],"behaviors":[25],"prior":[26],"actual":[28],"development.":[29],"In":[30,108],"particular,":[31],"objects":[34,60,166],"in":[35,65,183],"systems":[37],"must":[38,61],"be":[39,63,101],"isolated":[40],"from":[41],"each":[42,51],"other":[43],"so":[44],"that":[45],"they":[46],"do":[47],"not":[48,62],"collide":[49],"with":[50],"other.":[52],"Since":[53],"isolation":[54,106,162,181],"means":[55],"two":[56],"or":[57,167],"more":[58],"located":[64],"same":[67,71],"place":[68],"at":[69],"time,":[72],"scheduling":[74,89,95,177],"policy":[75],"required":[77],"control":[79],"coordinate":[81],"movement":[83],"objects.":[86],"However,":[87],"traditional":[88],"theories":[90],"are":[91],"based":[92],"on":[93],"task":[94],"which":[96],"coarse-grained":[98],"cannot":[100],"directly":[102],"used":[103],"for":[104,176],"fine-grained":[105,115],"controls.":[107],"this":[109],"article,":[110],"we":[111,148,171],"first":[112],"propose":[113],"event-based":[116,136],"formal":[117],"called":[119],"time":[121],"dependency":[122],"structure":[123],"use":[125],"systems.":[133,186],"Next,":[134],"schedule":[137,159],"defined":[139],"composition":[142],"schedules":[144],"discussed.":[146],"Then,":[147],"investigate":[149],"schedulability":[151],"isolation\u2014that":[153],"is,":[154],"checking":[155],"whether":[156],"given":[158],"ensures":[160],"relationship":[163],"among":[164],"not.":[168],"After":[169],"that,":[170],"present":[172],"automation":[174],"approach":[175],"generation":[178],"controls":[182],"Finally,":[187],"case":[188],"studies":[189],"simulation":[191],"experiments":[192],"demonstrate":[193],"usability":[195],"effectiveness":[197],"our":[199],"approach.":[200]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}