Optimising the Scheduling of System Level Logical Execution Time Systems
| aut.relation.conference | MEMOCODE '25: International Symposium on Formal Methods and Models for System Design | |
| aut.relation.endpage | 85 | |
| aut.relation.startpage | 81 | |
| dc.contributor.author | Lee, Jamie | |
| dc.contributor.author | Allen, Nathan | |
| dc.contributor.author | Kuo, Matthew MY | |
| dc.contributor.author | Yip, Eugene | |
| dc.date.accessioned | 2026-01-15T01:16:28Z | |
| dc.date.available | 2026-01-15T01:16:28Z | |
| dc.date.issued | 2025-12-29 | |
| dc.description.abstract | The paradigm of Logical Execution Time (LET) tasks is widely adopted by major tool vendors for designing deterministic and time-predictable software in multi-core systems, particularly in the automotive industry. To extend the use of LET in distributed environments, System Level Logical Execution Time (SL-LET) has been developed to effectively manage communication and delays between networked devices. However, there is currently a lack of open-source tools available for SL-LET, and the task allocation and scheduling problem for SL-LET remains unsolved. To address these concerns, we introduces a novel Integer Linear Programming (ILP)-based optimisation approach for SL-LET task allocation and scheduling, focusing on minimising core utilisation and average system response times. To illustrate the effectiveness of the approach, we benchmark our ILP-based solution against a traditional core allocation heuristic across multiple task sets. Through this evaluation, our approach, when compared to the heuristic, is able to demonstrate average response times that are 26.9% smaller. | |
| dc.identifier.citation | Proceedings of the International Symposium on Formal Methods and Models for System Design. pp 81-85. MEMOCODE ’25, September 28-October 3, 2025, Taipei, Taiwan. ISBN 979-8-4007-1994-3/2025/09 | |
| dc.identifier.doi | 10.1145/3742875.3754684 | |
| dc.identifier.uri | http://hdl.handle.net/10292/20503 | |
| dc.publisher | ACM | |
| dc.relation.uri | https://dl.acm.org/doi/10.1145/3742875.3754684 | |
| dc.rights | Open Access. CC-BY-NC-ND. This work is licensed under a Creative Commons Attribution-NonCommercialNoDerivatives 4.0 International License. © 2025 Copyright held by the owner/author(s). | |
| dc.rights.accessrights | OpenAccess | |
| dc.subject | 46 Information and Computing Sciences | |
| dc.subject | 4014 Manufacturing Engineering | |
| dc.subject | 40 Engineering | |
| dc.subject | Distributed execution platform | |
| dc.subject | real-time programming models | |
| dc.subject | system level logical execution time | |
| dc.subject | integer linear programming | |
| dc.title | Optimising the Scheduling of System Level Logical Execution Time Systems | |
| dc.type | Conference Contribution | |
| pubs.elements-id | 749824 |
