Automatic WCET Analysis of Real-Time Parallel Applications

Ozaktas, Haluk; Rochange, Christine; Sainrat, Pascal

doi:10.4230/OASIcs.WCET.2013.11

Document

Automatic WCET Analysis of Real-Time Parallel Applications

Authors Haluk Ozaktas, Christine Rochange, Pascal Sainrat

Part of: Volume: 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)
Part of: Series: Open Access Series in Informatics (OASIcs)
Part of: Conference: Workshop on Worst-Case Execution Time Analysis (WCET)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2013-07-08

PDF

File

PDF

OASIcs.WCET.2013.11.pdf

Filesize: 0.66 MB
10 pages

Document Identifiers

DOI: 10.4230/OASIcs.WCET.2013.11
URN: urn:nbn:de:0030-drops-41186

Subject Classification

Keywords

WCET analysis
parallel programming
thread synchronisation

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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 Get BibTex

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) https://doi.org/10.4230/OASIcs.WCET.2013.11

Author Details

Haluk Ozaktas

Christine Rochange

Pascal Sainrat

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail