Feasibility Study of Probabilistic Timing Analysis Methods for SDF Applications on Multi-Core Processors

Abstract : Early validation of software running on multi-core platforms is fundamental to guarantee functional correctness and that real-time constraints are fully met. In the domain of timing analysis of multi-core systems, existing simulation-based approaches and formal mathematical methods are hampered with scalability problems. In this context, probabilistic simulation techniques represent promising solutions to improve scalability of analysis approaches. However, creation of probabilistic SystemC models remains a difficult task and is not well supported for multi-core systems. In this technical report, we present a feasibility study of probabilistic simulation techniques considering different levels of platform complexity. The evaluated probabilistic simulation techniques demonstrate good potential to deliver fast yet accurate estimations for multi-core systems.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02071362
Contributor : Sebastien Le Nours <>
Submitted on : Monday, March 18, 2019 - 3:29:48 PM
Last modification on : Thursday, April 25, 2019 - 3:07:19 PM

File

TechReport.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02071362, version 1

Citation

Ralf Stemmer, Hai-Dang Vu, Maher Fakih, Kim Grüttner, Sébastien Le Nours, et al.. Feasibility Study of Probabilistic Timing Analysis Methods for SDF Applications on Multi-Core Processors. [Research Report] IETR; OFFIS. 2019. ⟨hal-02071362⟩

Share

Metrics

Record views

128

Files downloads

83