2026-07-23T20:02:54Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:20472 2024-07-26T08:47:22Z ddc:004 open_access

Invited Paper: Worst-Case Execution Time Analysis of Lingua Franca Applications Schoeberl, Martin Khodadad, Ehsan Lin, Shaokai Maroun, Emad Jacob Pezzarossa, Luca Lee, Edward A. worst-case execution time coordination language real-time systems lingua franca Real-time systems need to prove that all deadlines will be met. To enable this proof, the full stack of the system must be analyzable, and the right tools must be available. This includes the processor (execution platform), the runtime system, the compiler, and the WCET analysis tool. This paper presents a combination of the time-predictable processor Patmos, the coordination language Lingua Franca, and the WCET analysis tool Platin. We show how carefully written Lingua Franca programs enable static WCET analysis to build safety-critical applications. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Martin Schoeberl and Ehsan Khodadad and Shaokai Lin and Emad Jacob Maroun and Luca Pezzarossa and Edward A. Lee 2024 Is Part Of OASIcs, Volume 121, 22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2024.4 urn:nbn:de:0030-drops-204721 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2024.4 eng https://creativecommons.org/licenses/by/4.0/legalcode