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

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

Metadata

Item Type: Article
Authors/Creators:
Keywords: multicore,timing analysis,timing verification,survey,real-time
Dates:
  • Accepted: 28 February 2019
  • Published: July 2019
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):

Download

Filename: ACMCSUR2019SurveyTimingVerification.pdf

Description: ACMCSUR2019SurveyTimingVerification

Export

Statistics