By the same authors

From the same journal

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

Research output: Contribution to journalArticlepeer-review

Full text download(s)

Published copy (DOI)


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


Publication details

JournalACM Comput. Surv.
DateAccepted/In press - 28 Feb 2019
DatePublished (current) - Jul 2019
Number of pages37
Original languageEnglish


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.

    Research areas

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


Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations