Using Model Checking to Identify Timing Interferences on Multicore Processors - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Using Model Checking to Identify Timing Interferences on Multicore Processors

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⟩
305 View
251 Download

Share

Gmail Facebook X LinkedIn More