OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Automatic WCET Analysis of Real-Time Parallel Applications

Ozaktas, Haluk and Rochange, Christine and Sainrat, Pascal Automatic WCET Analysis of Real-Time Parallel Applications. (2013) In: 13th Workshop on Worst-Case Execution Time Analysis (WCET 2013), 9 July 2013 (Paris, France).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://drops.dagstuhl.de/opus/volltexte/2013/4118/pdf/3.pdf


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 time-predictable 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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Schloss Dagstuhl GmbH. This papers appears in OpenAccess Series in Informatics, Vol. 30, ISSN 2190-6807, ISBN 978-3939897545 The original PDF is available at: http://drops.dagstuhl.de/opus/portals/oasics/index.php?semnr=13007
HAL Id:hal-01239727
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:10 Nov 2015 09:40

Repository Staff Only: item control page