License
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2013.11
URN: urn:nbn:de:0030-drops-41186
URL: http://drops.dagstuhl.de/opus/volltexte/2013/4118/
Go to the corresponding OASIcs Volume Portal


Ozaktas, Haluk ; Rochange, Christine ; Sainrat, Pascal

Automatic WCET Analysis of Real-Time Parallel Applications

pdf-format:
3.pdf (0.7 MB)


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.

BibTeX - Entry

@InProceedings{ozaktas_et_al:OASIcs:2013:4118,
  author =	{Haluk Ozaktas and Christine Rochange and Pascal Sainrat},
  title =	{{Automatic WCET Analysis of Real-Time Parallel Applications}},
  booktitle =	{13th International Workshop on Worst-Case Execution Time Analysis},
  pages =	{11--20},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-54-5},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{30},
  editor =	{Claire Maiza},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4118},
  URN =		{urn:nbn:de:0030-drops-41186},
  doi =		{10.4230/OASIcs.WCET.2013.11},
  annote =	{Keywords: WCET analysis, parallel programming, thread synchronisation}
}

Keywords: WCET analysis, parallel programming, thread synchronisation
Seminar: 13th International Workshop on Worst-Case Execution Time Analysis
Issue Date: 2013
Date of publication: 02.07.2013


DROPS-Home | Fulltext Search | Imprint Published by LZI