{"id":"https://openalex.org/W7117492490","doi":"https://doi.org/10.1145/3742875.3754684","title":"Optimising the Scheduling of System Level Logical Execution Time Systems","display_name":"Optimising the Scheduling of System Level Logical Execution Time Systems","publication_year":2025,"publication_date":"2025-09-28","ids":{"openalex":"https://openalex.org/W7117492490","doi":"https://doi.org/10.1145/3742875.3754684"},"language":null,"primary_location":{"id":"doi:10.1145/3742875.3754684","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3742875.3754684","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Symposium on Formal Methods and Models for System Design","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3742875.3754684","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100307254","display_name":"Jamie Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]},{"id":"https://openalex.org/I39854758","display_name":"Auckland University of Technology","ror":"https://ror.org/01zvqw119","country_code":"NZ","type":"education","lineage":["https://openalex.org/I39854758"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"Jamie Lee","raw_affiliation_strings":["Computer and Information Sciences Department, Auckland University of Technology, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0009-0001-7734-4608","affiliations":[{"raw_affiliation_string":"Computer and Information Sciences Department, Auckland University of Technology, Auckland, New Zealand","institution_ids":["https://openalex.org/I39854758","https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002861624","display_name":"Nathan Allen","orcid":"https://orcid.org/0000-0001-7876-819X"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]},{"id":"https://openalex.org/I39854758","display_name":"Auckland University of Technology","ror":"https://ror.org/01zvqw119","country_code":"NZ","type":"education","lineage":["https://openalex.org/I39854758"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Nathan Allen","raw_affiliation_strings":["Computer and Information Sciences Department, Auckland University of Technology, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0001-7876-819X","affiliations":[{"raw_affiliation_string":"Computer and Information Sciences Department, Auckland University of Technology, Auckland, New Zealand","institution_ids":["https://openalex.org/I39854758","https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121482782","display_name":"Matthew M. Y. Kuo","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]},{"id":"https://openalex.org/I39854758","display_name":"Auckland University of Technology","ror":"https://ror.org/01zvqw119","country_code":"NZ","type":"education","lineage":["https://openalex.org/I39854758"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Matthew M. Y. Kuo","raw_affiliation_strings":["Computer and Information Sciences Department, Auckland University of Technology, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0001-7269-5874","affiliations":[{"raw_affiliation_string":"Computer and Information Sciences Department, Auckland University of Technology, Auckland, New Zealand","institution_ids":["https://openalex.org/I39854758","https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081353402","display_name":"Eugene Yip","orcid":"https://orcid.org/0009-0009-2840-6567"},"institutions":[{"id":"https://openalex.org/I4210102126","display_name":"Kliniken des Bezirks Oberbayern","ror":"https://ror.org/01awb6242","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I4210102126"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Eugene Yip","raw_affiliation_strings":["GLIWA GmbH & Co. KG, Oberbayern, Germany"],"raw_orcid":"https://orcid.org/0009-0009-2840-6567","affiliations":[{"raw_affiliation_string":"GLIWA GmbH & Co. KG, Oberbayern, Germany","institution_ids":["https://openalex.org/I4210102126"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100307254"],"corresponding_institution_ids":["https://openalex.org/I154130895","https://openalex.org/I39854758"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.66580977,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"81","last_page":"85"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9785000085830688,"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.9785000085830688,"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/T12216","display_name":"Network Time Synchronization Technologies","score":0.008100000210106373,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.005900000222027302,"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/scheduling","display_name":"Scheduling (production processes)","score":0.6776000261306763},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.4586000144481659},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4345000088214874},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.42089998722076416},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.39079999923706055},{"id":"https://openalex.org/keywords/fixed-priority-pre-emptive-scheduling","display_name":"Fixed-priority pre-emptive scheduling","score":0.3882000148296356},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.3785000145435333},{"id":"https://openalex.org/keywords/two-level-scheduling","display_name":"Two-level scheduling","score":0.3741999864578247},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.3513999879360199}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8156999945640564},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6776000261306763},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.590499997138977},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.4586000144481659},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4345000088214874},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.42089998722076416},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.39079999923706055},{"id":"https://openalex.org/C122141398","wikidata":"https://www.wikidata.org/wiki/Q5456330","display_name":"Fixed-priority pre-emptive scheduling","level":5,"score":0.3882000148296356},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.3785000145435333},{"id":"https://openalex.org/C119948110","wikidata":"https://www.wikidata.org/wiki/Q7858726","display_name":"Two-level scheduling","level":4,"score":0.3741999864578247},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.3513999879360199},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3483999967575073},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.3416000008583069},{"id":"https://openalex.org/C166235249","wikidata":"https://www.wikidata.org/wiki/Q355217","display_name":"Time management","level":2,"score":0.336899995803833},{"id":"https://openalex.org/C31689143","wikidata":"https://www.wikidata.org/wiki/Q733809","display_name":"Fair-share scheduling","level":3,"score":0.33160001039505005},{"id":"https://openalex.org/C55416958","wikidata":"https://www.wikidata.org/wiki/Q6206757","display_name":"Job shop scheduling","level":3,"score":0.31150001287460327},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.31130000948905945},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2955999970436096},{"id":"https://openalex.org/C19012869","wikidata":"https://www.wikidata.org/wiki/Q578372","display_name":"Response time","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.28369998931884766},{"id":"https://openalex.org/C127456818","wikidata":"https://www.wikidata.org/wiki/Q238879","display_name":"Rate-monotonic scheduling","level":4,"score":0.28369998931884766},{"id":"https://openalex.org/C32310161","wikidata":"https://www.wikidata.org/wiki/Q666365","display_name":"Earliest deadline first scheduling","level":5,"score":0.2825999855995178},{"id":"https://openalex.org/C176553487","wikidata":"https://www.wikidata.org/wiki/Q7855819","display_name":"Turnaround time","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C2984822820","wikidata":"https://www.wikidata.org/wiki/Q1123036","display_name":"Processor scheduling","level":3,"score":0.26669999957084656},{"id":"https://openalex.org/C172828308","wikidata":"https://www.wikidata.org/wiki/Q520734","display_name":"Priority inversion","level":5,"score":0.25440001487731934},{"id":"https://openalex.org/C63160601","wikidata":"https://www.wikidata.org/wiki/Q253831","display_name":"Priority inheritance","level":5,"score":0.25049999356269836}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3742875.3754684","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3742875.3754684","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Symposium on Formal Methods and Models for System Design","raw_type":"proceedings-article"},{"id":"pmh:oai:openrepository.aut.ac.nz:10292/20503","is_oa":true,"landing_page_url":"http://hdl.handle.net/10292/20503","pdf_url":"https://openrepository.aut.ac.nz/bitstreams/5be6b7ed-4b23-4ae3-a9ef-f980f68ff2bf/download","source":{"id":"https://openalex.org/S4306401809","display_name":"Tuwhera (Auckland University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39854758","host_organization_name":"Auckland University of Technology","host_organization_lineage":["https://openalex.org/I39854758"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference Contribution"}],"best_oa_location":{"id":"doi:10.1145/3742875.3754684","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3742875.3754684","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Symposium on Formal Methods and Models for System Design","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6728892922401428}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W2037725895","https://openalex.org/W2756725713","https://openalex.org/W2888126138","https://openalex.org/W2895647491","https://openalex.org/W2907333723","https://openalex.org/W2979569264","https://openalex.org/W3014129901","https://openalex.org/W3037982911","https://openalex.org/W3183842357","https://openalex.org/W4290717518","https://openalex.org/W4308215374","https://openalex.org/W4311644755","https://openalex.org/W4377838969","https://openalex.org/W4400064293","https://openalex.org/W4404247206","https://openalex.org/W4406316088"],"related_works":[],"abstract_inverted_index":{"The":[0],"paradigm":[1],"of":[2,33,62],"Logical":[3,40],"Execution":[4,41],"Time":[5,42],"(LET)":[6],"tasks":[7],"is":[8,58],"widely":[9],"adopted":[10],"by":[11],"major":[12],"tool":[13],"vendors":[14],"for":[15,66,75],"designing":[16],"deterministic":[17],"and":[18,51,68,72],"time-predictable":[19],"software":[20],"in":[21,25,35],"multi-core":[22],"systems,":[23],"particularly":[24],"the":[26,31,69],"automotive":[27],"industry.":[28],"To":[29],"extend":[30],"use":[32],"LET":[34],"distributed":[36],"environments,":[37],"System":[38],"Level":[39],"(SL-LET)":[43],"has":[44],"been":[45],"developed":[46],"to":[47],"effectively":[48],"manage":[49],"communication":[50],"delays":[52],"between":[53],"networked":[54],"devices.":[55],"However,":[56],"there":[57],"currently":[59],"a":[60],"lack":[61],"open-source":[63],"tools":[64],"available":[65],"SL-LET,":[67],"task":[70],"allocation":[71],"scheduling":[73],"problem":[74],"SL-LET":[76],"remains":[77],"unsolved.":[78]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-12-29T00:00:00"}