A Framework to Quantify the Overestimations of Static WCET Analysis
| Autor: | Cassé, Hugues, Ozaktas, Haluk, Rochange, Christine |
|---|---|
| Přispěvatelé: | Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués (IRIT-TRACES), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse III - Paul Sabatier (UT3), Institut National Polytechnique de Toulouse - INPT (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
000 Computer science knowledge general works Système d'exploitation Uncertainty Réseaux et télécommunications Static WCET analysis ComputerApplications_COMPUTERSINOTHERSYSTEMS Systèmes embarqués [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Architectures Matérielles Cache analysis Computer Science Overestimation [INFO.INFO-ES]Computer Science [cs]/Embedded Systems ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS] |
| Zdroj: | Proceedings of WCET2015 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015) 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), Jul 2015, Lund, Sweden. pp. 1-10 |
| DOI: | 10.4230/oasics.wcet.2015.1 |
| Popis: | International audience; To reduce complexity while computing an upper bound on the worst-case execution time, static WCET analysis performs over-approximations. This feeds the general feeling that static WCET estimations can be far above the real WCET. This feeling is strengthened when these estimations are compared to measured execution times: generally, it is very unlikely to capture the worstcase from observations, then the difference between the highest watermark and the proven WCET upper bound might be considerable. In this paper, we introduce a framework to quantify the possible overestimation on WCET upper bounds obtained by static analysis. The objective is to derive a lower bound on the WCET to complement the upper bound. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|