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:
  • Published: July 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 05 Jul 2019 09:20
Last Modified: 21 Nov 2021 12:01
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