Using Model Checking to Identify Timing Interferences on Multicore Processors - Archive ouverte HAL Access content directly
Conference Papers Year :

Using Model Checking to Identify Timing Interferences on Multicore Processors

(1) , (1) , (2) , (2) , (2)
1
2
Fichier principal
Vignette du fichier
ERTS2020_paper_36.pdf (498.68 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02462085 , version 1 (31-01-2020)

Identifiers

  • HAL Id : hal-02462085 , version 1

Cite

Viet Anh Nguyen, Eric Jenn, Wendelin Serwe, Frederic Lang, Radu Mateescu. Using Model Checking to Identify Timing Interferences on Multicore Processors. ERTS 2020 - 10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10. ⟨hal-02462085⟩
267 View
199 Download

Share

Gmail Facebook Twitter LinkedIn More