Rapport
Résumé : This survey provides an overview of the scientific literature on timing verificationtechniques for multi-core real-time systems. It reviews the key results in the fieldfrom its origins around 2006 to the latest research published up to the end of July2018. The survey highlights the key issues involved in providing guarantees oftiming correctness for multi-core systems. A detailed review is provided coveringfour main categories: full integration, temporal isolation, integrating interferenceeffects into schedulability analysis, and mapping and allocation. The survey concludeswith a discussion of the advantages and disadvantages of these different approaches,identifying open issues, key challenges, and possible directions for futureresearch.

Documents en relation

DI-fusion