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

Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis
2019 ACM Computing Surveys  
This survey provides an overview of the scientiic literature on timing veriication techniques for multi-core real-time systems. It reviews the key results in the ield 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 efects
more » ... nto schedulability analysis, and mapping and allocation. The survey concludes with a discussion of the advantages and disadvantages of these diferent approaches, identifying open issues, key challenges, and possible directions for future research.
doi:10.1145/3323212 fatcat:mn6xmduiyjfgzhemn5s2lmfgje