Automatic WCET Analysis of Real-Time Parallel Applications

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 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.
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, December 8, 2015 - 10:42:18 AM
Last modification on : Thursday, October 24, 2019 - 2:44:07 PM
Long-term archiving on : Wednesday, March 9, 2016 - 1:08:45 PM


Files produced by the author(s)


  • HAL Id : hal-01239727, version 1
  • OATAO : 12493



Haluk Ozaktas, Christine Rochange, Pascal Sainrat. Automatic WCET Analysis of Real-Time Parallel Applications. 13th Workshop on Worst-Case Execution Time Analysis (WCET 2013), Jul 2013, Paris, France. pp. 11-20. ⟨hal-01239727⟩



Record views


Files downloads