Parametric WCET as a function of procedure arguments: analysis and applications

Grebant, Sandro; Ballabriga, Clement; Forget, Julien; Lipari, Giuseppe

Type de document :

Compte-rendu et recension critique d'ouvrage

DOI :

10.1016/j.sysarc.2024.103086

Titre :

Parametric WCET as a function of procedure arguments: analysis and applications

Auteur(s) :

Grebant, Sandro [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires [SYCOMORES]
Ballabriga, Clement [Auteur]

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires [SYCOMORES]
Forget, Julien [Auteur]

Titre de la revue :

Journal of Systems Architecture

Éditeur :

Elsevier

Date de publication :

2024-03

ISSN :

1383-7621

Mot(s)-clé(s) en anglais :

Worst-Case Execution Time analysis
Real-time systems
Abstract interpretation

Discipline(s) HAL :

Informatique [cs]/Systèmes embarqués
Informatique [cs]

Résumé en anglais : [en]

Traditional Worst-Case Execution Time analysis derives an upper-bound to the execution time of a program for any possible combination of its software and hardware parameters. In comparison, Parametric Worst-Case Execution ...
Lire la suite >Traditional Worst-Case Execution Time analysis derives an upper-bound to the execution time of a program for any possible combination of its software and hardware parameters. In comparison, Parametric Worst-Case Execution Time analysis derives a WCET formula that depends on the parameters. The formula can then be instantiated for some given parameter values, to produce a WCET that is specific to those values, and thus tighter. In this work, we present a technique that, by static analysis of binary code, automatically produces a formula that represents the WCET of a procedure as a function of its arguments. The formula captures how the control-flow, and thus the WCET, depends on the arguments that appear in branch conditions (loop conditions and if-then-else conditions). We detail two applications of this technique. In our first and main application, we show that WCET formulas can be instantiated during the parametric analysis itself, to make it modular. The code of a procedure is analysed only once, and the WCET of a call to that procedure is obtained by instantiating the corresponding formula with the parameter values passed at the call site. Second, we show that WCET formulas can be instantiated at runtime, to implement adaptive real-time systems. We discuss how this can be leveraged to: 1) implement realtime systems that follow the recently proposed semi-clairvoyant mixed-criticality scheduling approach; 2) implement adaptive control-command laws.Lire moins >

Langue :

Anglais

Vulgarisation :

Non

Projet ANR :

Evaluation symbolique de pire temps d'exécution avec contextes globaux

Collections :

Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Parametric WCET as a function of procedure ... BibTeX CSV Excel RIS

Parametric WCET as a function of procedure ...

BibTeX

CSV

Excel

RIS