Worst-Case Execution Time and Reactive Systems
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
| Type : | : | oral |
| Thématiques | : | Interprétation Abstraite |
| Thématiques | : | Langages synchrones |
| PDF version | : |  PDF version |
- Poster
