{"id":"https://openalex.org/W3189732567","doi":"https://doi.org/10.1145/3457784.3457786","title":"Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata","display_name":"Simulation of Preemptive Scheduling of the Independent Tasks Using Timed Automata","publication_year":2021,"publication_date":"2021-02-23","ids":{"openalex":"https://openalex.org/W3189732567","doi":"https://doi.org/10.1145/3457784.3457786","mag":"3189732567"},"language":"en","primary_location":{"id":"doi:10.1145/3457784.3457786","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3457784.3457786","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 10th International Conference on Software and Computer Applications","raw_type":"proceedings-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/A5029650635","display_name":"Amarat Pimkote","orcid":null},"institutions":[{"id":"https://openalex.org/I158708052","display_name":"Chulalongkorn University","ror":"https://ror.org/028wp3y58","country_code":"TH","type":"education","lineage":["https://openalex.org/I158708052"]}],"countries":["TH"],"is_corresponding":true,"raw_author_name":"Amarat Pimkote","raw_affiliation_strings":["Chulalongkorn University, Thailand"],"affiliations":[{"raw_affiliation_string":"Chulalongkorn University, Thailand","institution_ids":["https://openalex.org/I158708052"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103795675","display_name":"Wiwat Vatanawood","orcid":null},"institutions":[{"id":"https://openalex.org/I158708052","display_name":"Chulalongkorn University","ror":"https://ror.org/028wp3y58","country_code":"TH","type":"education","lineage":["https://openalex.org/I158708052"]}],"countries":["TH"],"is_corresponding":false,"raw_author_name":"Wiwat Vatanawood","raw_affiliation_strings":["Chulalongkorn University, Thailand"],"affiliations":[{"raw_affiliation_string":"Chulalongkorn University, Thailand","institution_ids":["https://openalex.org/I158708052"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5029650635"],"corresponding_institution_ids":["https://openalex.org/I158708052"],"apc_list":null,"apc_paid":null,"fwci":0.2959,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.6113155,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"7","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/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.9966999888420105,"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.8419948220252991},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.695555567741394},{"id":"https://openalex.org/keywords/timeline","display_name":"Timeline","score":0.5961445569992065},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.5876106023788452},{"id":"https://openalex.org/keywords/preemption","display_name":"Preemption","score":0.5719479918479919},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5560577511787415},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4475805461406708},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3769068717956543},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32186973094940186},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2368011772632599},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.13442352414131165},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1279434859752655},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08364716172218323}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8419948220252991},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.695555567741394},{"id":"https://openalex.org/C4438859","wikidata":"https://www.wikidata.org/wiki/Q186117","display_name":"Timeline","level":2,"score":0.5961445569992065},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.5876106023788452},{"id":"https://openalex.org/C206952183","wikidata":"https://www.wikidata.org/wiki/Q1193100","display_name":"Preemption","level":2,"score":0.5719479918479919},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5560577511787415},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4475805461406708},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3769068717956543},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32186973094940186},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2368011772632599},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.13442352414131165},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1279434859752655},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08364716172218323},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3457784.3457786","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3457784.3457786","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 10th International Conference on Software and Computer Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W183774280","https://openalex.org/W1981168982","https://openalex.org/W2101508170","https://openalex.org/W2284734722","https://openalex.org/W3004406866","https://openalex.org/W4252542281"],"related_works":["https://openalex.org/W1750171350","https://openalex.org/W2095644384","https://openalex.org/W1903000972","https://openalex.org/W1571606103","https://openalex.org/W2569130014","https://openalex.org/W2149582339","https://openalex.org/W2900094146","https://openalex.org/W1597414920","https://openalex.org/W1928422391","https://openalex.org/W2148140319"],"abstract_inverted_index":{"To":[0],"consider":[1],"the":[2,9,13,25,58,84,93,98,105,125,131,139,145,148],"effects":[3],"of":[4,12,69,79,144,147],"preemptive":[5,26,140],"scheduling":[6,27],"occurred":[7],"in":[8,138],"concurrent":[10],"threads":[11],"independent":[14,34,72],"tasks":[15],"with":[16,36,49,97],"priority":[17,37,51,90],"values,":[18],"we":[19,75],"propose":[20,76],"an":[21,45],"alternative":[22],"to":[23,41,82,103,116,129],"simulate":[24],"using":[28,119],"timed":[29,95,110],"automata":[30,96,111],"tool.":[31],"Firstly,":[32],"each":[33],"task":[35,106],"value":[38],"is":[39,154],"expected":[40],"be":[42,117,136],"represented":[43],"as":[44,102,128],"ordinary":[46],"timing":[47,54,85],"diagram":[48,55],"its":[50],"value.":[52],"The":[53,142],"focuses":[56],"on":[57],"state":[59],"changings":[60],"within":[61],"and":[62,87,114,152],"among":[63],"lifeline":[64],"along":[65],"a":[66,70,77],"linear":[67],"timeline,":[68],"particular":[71],"task.":[73],"Then,":[74],"set":[78],"translating":[80],"rules":[81],"map":[83],"diagrams":[86],"their":[88],"associated":[89],"values":[91],"into":[92],"corresponding":[94],"extra":[99],"dormant":[100],"states":[101],"serve":[104],"preemptions.":[107],"Our":[108],"resulting":[109],"are":[112],"sufficient":[113],"ready":[115],"simulated":[118],"UPPAAL":[120],"real-time":[121],"simulation":[122,127],"tool,":[123],"yielding":[124],"model-in-loop":[126],"verify":[130],"logic":[132],"hazards":[133],"that":[134],"might":[135],"found":[137],"scheduling.":[141],"possibility":[143],"violation":[146],"hard":[149],"time":[150],"constraint":[151],"deadlock":[153],"checked.":[155]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}