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

Ralf Stemmer (1) , Hai-Dang Vu (2) , Maher Fakih (3) , Kim Grüttner (3) , Sébastien Le Nours (2) , Sébastien Pillement (2)

1 University of Oldenburg
2 IETR - Institut d'Électronique et des Technologies du numéRique
3 OFFIS - Institute for Information Technology [Oldenburg]

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.

Domaines: Systèmes embarqués; Modélisation et simulation; Performance et fiabilité [cs.PF]; Architectures Matérielles [cs.AR]

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⟩