{"id":"https://openalex.org/W3201631855","doi":"https://doi.org/10.1145/3477020","title":"Schedulability Analysis for Timed Automata With Tasks","display_name":"Schedulability Analysis for Timed Automata With Tasks","publication_year":2021,"publication_date":"2021-09-22","ids":{"openalex":"https://openalex.org/W3201631855","doi":"https://doi.org/10.1145/3477020","mag":"3201631855"},"language":"en","primary_location":{"id":"doi:10.1145/3477020","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477020","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/A5101796840","display_name":"Jinghao Sun","orcid":"https://orcid.org/0000-0003-4107-1123"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jinghao Sun","raw_affiliation_strings":["Dalian University of Technology, Dalian City, Liaoning Province, China China"],"affiliations":[{"raw_affiliation_string":"Dalian University of Technology, Dalian City, Liaoning Province, China China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002245169","display_name":"Nan Guan","orcid":"https://orcid.org/0000-0003-3775-911X"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Nan Guan","raw_affiliation_strings":["City University of Hong Kong, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"City University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045422800","display_name":"Rongxiao Shi","orcid":null},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rongxiao Shi","raw_affiliation_strings":["Northeastern University, Shenyang City, Liaoning Province, China"],"affiliations":[{"raw_affiliation_string":"Northeastern University, Shenyang City, Liaoning Province, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072156142","display_name":"Guozhen Tan","orcid":"https://orcid.org/0000-0002-7224-5694"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guozhen Tan","raw_affiliation_strings":["Dalian University of Technology, Dalian City, Liaoning Province, China China"],"affiliations":[{"raw_affiliation_string":"Dalian University of Technology, Dalian City, Liaoning Province, China China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100748818","display_name":"Wang Yi","orcid":"https://orcid.org/0000-0002-2994-6110"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Wang Yi","raw_affiliation_strings":["Uppsala University, Uppsala, Sweden"],"affiliations":[{"raw_affiliation_string":"Uppsala University, Uppsala, Sweden","institution_ids":["https://openalex.org/I123387679"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5101796840"],"corresponding_institution_ids":["https://openalex.org/I27357992"],"apc_list":null,"apc_paid":null,"fwci":0.4606,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.59876933,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"20","issue":"5s","first_page":"1","last_page":"26"},"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.9991000294685364,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8791742324829102},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.702686071395874},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5768774747848511},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5368924736976624},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5233520865440369},{"id":"https://openalex.org/keywords/workload","display_name":"Workload","score":0.4575584828853607},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.43731585144996643},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4262131452560425},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3879552483558655},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3032328486442566},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.22425201535224915},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08693179488182068}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8791742324829102},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.702686071395874},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5768774747848511},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5368924736976624},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5233520865440369},{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.4575584828853607},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.43731585144996643},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4262131452560425},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3879552483558655},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3032328486442566},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.22425201535224915},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08693179488182068},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3477020","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477020","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":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1514680377","https://openalex.org/W1548132545","https://openalex.org/W1566191317","https://openalex.org/W1569199077","https://openalex.org/W1969483458","https://openalex.org/W1971321632","https://openalex.org/W1987234253","https://openalex.org/W2000947342","https://openalex.org/W2023808162","https://openalex.org/W2033546932","https://openalex.org/W2036081705","https://openalex.org/W2061438988","https://openalex.org/W2101508170","https://openalex.org/W2106375625","https://openalex.org/W2107233055","https://openalex.org/W2109488193","https://openalex.org/W2116878459","https://openalex.org/W2127467256","https://openalex.org/W2136711971","https://openalex.org/W2139548638","https://openalex.org/W2141513652","https://openalex.org/W2142718416","https://openalex.org/W2143023976","https://openalex.org/W2145863549","https://openalex.org/W2154835224","https://openalex.org/W2156021445","https://openalex.org/W2157112828","https://openalex.org/W2158395308","https://openalex.org/W2168553665","https://openalex.org/W2169965763","https://openalex.org/W2610896884","https://openalex.org/W2963299370","https://openalex.org/W2963727135","https://openalex.org/W2986444891"],"related_works":["https://openalex.org/W2160425906","https://openalex.org/W1882733036","https://openalex.org/W2546696010","https://openalex.org/W1992741870","https://openalex.org/W1988050447","https://openalex.org/W1535375892","https://openalex.org/W2109998134","https://openalex.org/W2485972940","https://openalex.org/W1550626198","https://openalex.org/W1552280794"],"abstract_inverted_index":{"Research":[0],"on":[1,120],"modeling":[2,26],"and":[3,17,197],"analysis":[4,41,55,78,86,138,173,195,206,234],"of":[5,75,87,108,148,168,179],"real-time":[6,18,51,82,88,133],"computing":[7],"systems":[8,90],"has":[9,140],"been":[10],"done":[11],"in":[12,81,132],"two":[13],"areas,":[14],"model":[15,22,36,152],"checking":[16],"scheduling":[19,52,83,134],"theory.":[20,135],"In":[21,50,66],"checking,":[23],"an":[24],"expressive":[25],"formalism":[27],"such":[28],"as":[29],"timed":[30,93],"automata":[31,94],"(TA)":[32],"is":[33,42,155,161,181],"used":[34,129,150],"to":[35,47,71,85,104,151,191,203],"complex":[37],"systems,":[38],"but":[39,60],"the":[40,54,61,73,106,146,165,169,177,193,205,230],"typically":[43],"very":[44],"expensive":[45],"due":[46],"state-space":[48],"explosion.":[49],"theory,":[53],"techniques":[56,79,103,190,202],"are":[57,63],"highly":[58],"efficient,":[59],"models":[62,111],"often":[64],"restrictive.":[65],"this":[67],"paper,":[68],"we":[69,100],"aim":[70],"exploit":[72],"possibility":[74],"applying":[76],"efficient":[77,102],"rooted":[80],"theory":[84],"task":[89,110,154],"modeled":[91],"by":[92,157,183],"with":[95,220],"tasks":[96,115,222],"(TAT).":[97],"More":[98],"specifically,":[99],"develop":[101],"analyze":[105,216],"feasibility":[107],"TAT-based":[109,232],"(i.e.,":[112],"whether":[113],"all":[114],"can":[116,215],"meet":[117],"their":[118],"deadlines":[119],"single-processor)":[121],"using":[122],"demand":[123],"bound":[124],"functions":[125],"(DBF),":[126],"a":[127,141,158,184,217,224],"widely":[128],"workload":[130],"abstraction":[131],"Our":[136],"proposed":[137],"method":[139,214],"pseudo-polynomial":[142],"time":[143],"complexity":[144,167],"if":[145],"number":[147,178],"clocks":[149,180],"each":[153],"bounded":[156,182],"constant,":[159],"which":[160,227],"much":[162],"lower":[163],"than":[164],"exponential":[166],"traditional":[170],"model-checking":[171],"based":[172],"approach":[174],"(also":[175],"assuming":[176],"constant).":[185],"We":[186],"apply":[187],"dynamic":[188],"programming":[189],"implement":[192],"DBF-based":[194,213],"framework,":[196],"propose":[198],"state":[199],"space":[200],"pruning":[201],"accelerate":[204],"process.":[207],"Experimental":[208],"results":[209],"show":[210],"that":[211],"our":[212],"TAT":[218],"system":[219],"50":[221],"within":[223],"few":[225],"minutes,":[226],"significantly":[228],"outperforms":[229],"state-of-the-art":[231],"schedulability":[233],"tool":[235],"TIMES.":[236]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}