A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
Claire Maiza, Hamza Rihani, Juan Rivas, joel goossens, Sebastian Altmeyer and Davis Robert Ian
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.
Download Not Available
BibTex Entry
@article{Maiza_2019,
author = {Claire Maiza and Hamza Rihani and Juan Rivas and joel goossens and Sebastian Altmeyer and Davis, {Robert Ian}},
day = {1},
doi = {10.1145/3323212},
issn = {0360-0300},
journal = {ACM Comput. Surv.},
keywords = {multicore, timing analysis, timing verification, survey, real-time},
language = {English},
month = {7},
number = {3},
pages = {1--38},
publisher = {Association for Computing Machinery (ACM)},
pure_url = {https://pure.york.ac.uk/portal/en/publications/a-survey-of-timing-verification-techniques-for-multicore-realtime-systems(c06bb31a-59df-41ca-81f1-c2b983da26a3).html},
title = {A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems},
url = {https://doi.org/10.1145%2F3323212},
volume = {52},
year = {2019}
}