The Platin Multi-Target Worst-Case Analysis Tool

Emad Jacob Maroun, Eva Dengler, Christian Dietrich, Stefan Hepp, Henriette Herzog, Benedikt Huber, Jens Knoop, Daniel Wiltsche-Prokesch, Peter Puschner, Phillip Raffeck, Martin Schoeberl, Simon Schuster, Peter Wägemann

Research output: Contribution to journalConference articleResearchpeer-review

48 Downloads (Pure)

Abstract

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.
Original languageEnglish
Article number2
JournalOpen Access Series in Informatics
Volume121
Number of pages14
ISSN2190-6807
DOIs
Publication statusPublished - 2024
Event22nd International Workshop on Worst-Case Execution Time Analysis - Lille, France
Duration: 9 Jul 202412 Jul 2024

Conference

Conference22nd International Workshop on Worst-Case Execution Time Analysis
Country/TerritoryFrance
CityLille
Period09/07/202412/07/2024

Keywords

  • WCET
  • Static analysis tool
  • Worst-case resource consumption

Fingerprint

Dive into the research topics of 'The Platin Multi-Target Worst-Case Analysis Tool'. Together they form a unique fingerprint.

Cite this