Skip to Main content Skip to Navigation
Theses

Calcul de majorants sûrs de temps d'exécution au pire pour des tâches d'applications temps-réels critiques, pour des systèmes disposants de caches mémoire

Stéphane Louise 1
1 Systèmes Hautes Performances Embarqués
LASTRE - Laboratoire des fondements des Systèmes Temps-Réels Embarqués
Abstract : This report is a presentation of a new approach for Worst Case Execu- tion Time (WCET) computation for hard real-time systems, especially for cache memories hazard issues. A general overview of issues and state of the art in this matter is drawn, but the main point is the theory in itself and its formalism, first, in single task execution, then in multitasking environ- ment. The method being used relies on abstract interpretation, like many other methods of WCET computation, but its formalism is a probabilistic approach (although it is deterministic in the single task field) with the use of Markov chains. Generalization to the multitask field make use of this prob- abilistic base to compute a pessimistic evaluation of the WCET and of its standard deviation, thanks to a clever modification of the propagator. First evaluation of the model results, hand-coded from the compilation output of rather simple tasks, shows that results are promising in order to apply it to real-life applications.
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00695930
Contributor : Stéphane Louise <>
Submitted on : Thursday, May 10, 2012 - 11:53:07 AM
Last modification on : Friday, September 11, 2015 - 10:03:04 AM
Long-term archiving on: : Friday, November 30, 2012 - 11:31:22 AM

Identifiers

  • HAL Id : tel-00695930, version 1

Collections

Citation

Stéphane Louise. Calcul de majorants sûrs de temps d'exécution au pire pour des tâches d'applications temps-réels critiques, pour des systèmes disposants de caches mémoire. Systèmes embarqués. Université Paris Sud - Paris XI, 2002. Français. ⟨tel-00695930⟩

Share

Metrics

Record views

531

Files downloads

1562