Maiza, Claire, Rihani, Hamza, Rivas, Juan et al. (3 more authors) (2019) A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems. ACM Comput. Surv.. ISSN 0360-0300
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, 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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Keywords: | multicore,timing analysis,timing verification,survey,real-time |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Funding Information: | Funder Grant number EPSRC EP/P003664/1 |
Depositing User: | Pure (York) |
Date Deposited: | 05 Jul 2019 09:20 |
Last Modified: | 02 Apr 2025 23:16 |
Published Version: | https://doi.org/10.1145/3323212 |
Status: | Published |
Refereed: | Yes |
Identification Number: | 10.1145/3323212 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:148196 |
Download
Filename: ACMCSUR2019SurveyTimingVerification.pdf
Description: ACMCSUR2019SurveyTimingVerification