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

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:
FunderGrant number
EPSRCEP/P003664/1
Depositing User: Pure (York)
Date Deposited: 05 Jul 2019 09:20
Last Modified: 02 Dec 2022 07:00
Published Version: https://doi.org/10.1145/3323212
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1145/3323212
Related URLs:

Download

Filename: ACMCSUR2019SurveyTimingVerification.pdf

Description: ACMCSUR2019SurveyTimingVerification

Share / Export

Statistics