2 Search Results for "Ozaktas, Haluk"

Document
DOI: 10.4230/OASIcs.WCET.2015.1
A Framework to Quantify the Overestimations of Static WCET Analysis

Authors: Hugues Cassé, Haluk Ozaktas, and Christine Rochange

Published in: OASIcs, Volume 47, 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)

Abstract
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.
Cite as

Hugues Cassé, Haluk Ozaktas, and Christine Rochange. A Framework to Quantify the Overestimations of Static WCET Analysis. In 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015). Open Access Series in Informatics (OASIcs), Volume 47, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@InProceedings{casse_et_al:OASIcs.WCET.2015.1,
  author =	{Cass\'{e}, Hugues and Ozaktas, Haluk and Rochange, Christine},
  title =	{{A Framework to Quantify the Overestimations of Static WCET Analysis}},
  booktitle =	{15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)},
  pages =	{1--10},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-95-8},
  ISSN =	{2190-6807},
  year =	{2015},
  volume =	{47},
  editor =	{Cazorla, Francisco J.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2015.1},
  URN =		{urn:nbn:de:0030-drops-52517},
  doi =		{10.4230/OASIcs.WCET.2015.1},
  annote =	{Keywords: Static WCET analysis, uncertainty, overestimation, cache analysis}
}
Document
DOI: 10.4230/OASIcs.WCET.2013.11
Automatic WCET Analysis of Real-Time Parallel Applications

Authors: Haluk Ozaktas, Christine Rochange, and Pascal Sainrat

Published in: OASIcs, Volume 30, 13th International Workshop on Worst-Case Execution Time Analysis (2013)

Abstract
Tomorrow's real-time embedded systems will be built upon multicore architectures. This raises two challenges. First, shared resources should be arbitrated in such a way that the WCET of independent threads running concurrently can be computed: in this paper, we assume that timepredictable multicore architectures are available. The second challenge is to develop software that achieves a high level of performance without impairing timing predictability. We investigate parallel software based on the POSIX threads standard and we show how the WCET of a parallel program can be analysed. We report experimental results obtained for typical parallel programs with an extended version of the OTAWA toolset.
Cite as

Haluk Ozaktas, Christine Rochange, and Pascal Sainrat. Automatic WCET Analysis of Real-Time Parallel Applications. In 13th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 30, pp. 11-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InProceedings{ozaktas_et_al:OASIcs.WCET.2013.11,
  author =	{Ozaktas, Haluk and Rochange, Christine and Sainrat, Pascal},
  title =	{{Automatic WCET Analysis of Real-Time Parallel Applications}},
  booktitle =	{13th International Workshop on Worst-Case Execution Time Analysis},
  pages =	{11--20},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-54-5},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{30},
  editor =	{Maiza, Claire},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2013.11},
  URN =		{urn:nbn:de:0030-drops-41186},
  doi =		{10.4230/OASIcs.WCET.2013.11},
  annote =	{Keywords: WCET analysis, parallel programming, thread synchronisation}
}
  • Refine by Author
  • 2 Ozaktas, Haluk
  • 2 Rochange, Christine
  • 1 Cassé, Hugues
  • 1 Sainrat, Pascal

  • Refine by Classification

  • Refine by Keyword
  • 1 Static WCET analysis
  • 1 WCET analysis
  • 1 cache analysis
  • 1 overestimation
  • 1 parallel programming
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2013
  • 1 2015

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact