Lee, JamieAllen, NathanKuo, Matthew MYYip, Eugene2026-01-152026-01-152025-12-29Proceedings 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/09http://hdl.handle.net/10292/20503The 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.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).46 Information and Computing Sciences4014 Manufacturing Engineering40 EngineeringDistributed execution platformreal-time programming modelssystem level logical execution timeinteger linear programmingConference ContributionOpenAccess10.1145/3742875.3754684