A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

Claire Maiza, Hamza Rihani, Juan Rivas, joel goossens, Sebastian Altmeyer, Robert Ian Davis

Research output: Contribution to journalArticlepeer-review


This survey provides an overview of the scientific literature on timing verification techniques for multi-core real-time systems. It reviews the key results in the field from its origins around 2006 to the latest research published up to the end of 2018. The survey highlights the key issues involved in providing guarantees of timing correctness for multi-core systems. A detailed review is provided covering four main categories: full integration, temporal isolation, integrating interference effects into schedulability analysis, and mapping and allocation. The survey concludes with a discussion of the advantages and disadvantages of these different approaches, identifying open issues, key challenges, and possible directions for future research.
Original languageEnglish
Number of pages37
JournalACM Comput. Surv.
Publication statusPublished - Jul 2019


  • multicore
  • timing analysis
  • timing verification
  • survey
  • real-time

Cite this