4 juin 2018 Grenoble (France)
Worst-Case Execution Time and Reactive Systems
Claire Maïza  1  
1 : VERIMAG
Centre National de la Recherche Scientifique : UMR5104, Université Grenoble Alpes, Institut polytechnique de Grenoble (Grenoble INP)

Worst-case execution time Estimation


A guaranteed bound on the execution time
Static estimation:
Based on static analysis
At the binary level
Measurement to assess the WCET estimation
Reactive systems
A periodic step function

Bounded memory
From input values (and memory state) computes output value
(and memory update)
Lustre/SCADE code and tools

How a better knowledge on reactive systems helps timing analysis?
Infeasible path: Semantic analysis
WCET assessment: Environment simulator
Multi-core timing analysis



  • Poster
Personnes connectées : 1