2026-08-06T07:53:06Z https://drops.dagstuhl.de/oai

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

The Platin Multi-Target Worst-Case Analysis Tool Maroun, Emad Jacob Dengler, Eva Dietrich, Christian Hepp, Stefan Herzog, Henriette Huber, Benedikt Knoop, Jens Wiltsche-Prokesch, Daniel Puschner, Peter Raffeck, Phillip Schoeberl, Martin Schuster, Simon Wägemann, Peter worst-case resource consumption WCET static analysis tool With the increasing number of applications that require reliable runtime guarantees, the relevance of static worst-case analysis tools that can provide such guarantees increases. These analysis tools determine resource-consumption bounds of application tasks, with a model of the underlying hardware, to meet given resource budgets during runtime, such as deadlines of real-time tasks. This paper presents enhancements to the Platin worst-case analysis tool developed since its original release more than ten years ago. These novelties comprise Platin’s support for new architectures (i.e., ARMv6-M, RISC-V, and AVR) in addition to the previous backends for Patmos and ARMv7-M. Further, Platin now features system-wide analysis methods and annotation support to express system-level constraints. Besides an overview of these enhancements, we evaluate Platin’s accuracy for the two supported architecture implementations, Patmos and RISC-V. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Emad Jacob Maroun and Eva Dengler and Christian Dietrich and Stefan Hepp and Henriette Herzog and Benedikt Huber and Jens Knoop and Daniel Wiltsche-Prokesch and Peter Puschner and Phillip Raffeck and Martin Schoeberl and Simon Schuster and Peter Wägemann 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.2 urn:nbn:de:0030-drops-204704 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2024.2 eng https://creativecommons.org/licenses/by/4.0/legalcode