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

Volume: 52, Issue: 3, Pages: 1 - 38
Published: Jun 18, 2019
Abstract
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,...
Paper Details
Title
A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
Published Date
Jun 18, 2019
Volume
52
Issue
3
Pages
1 - 38
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.