En nyckelfråga med analyserna av WCET (Sorst-Case Execution Time) är utvärderingen av de framtagna resultatens täthet och sundhet. I avsaknad av en grundläggande sanning, d.v.s. Den faktiska WCET (AWCET), sådana utvärderingar bygger på jämförelse mellan olika uppskattningar eller observerade värden. I detta dokument inför vi en ram för utvärdering av mätbaserade tidsanalyser. I detta ramverk används abstrakta modeller av syntetiska uppgifter för att tillhandahålla realistiska uppgifter om genomförandetid som indata till analyserna, samtidigt som man säkerställer att motsvarande AWCET kan beräknas. Ramens effektivitet visas genom en utvärdering av effekterna av bristfällig strukturell täckning på en befintlig mätbaserad probabilistisk tidsanalys.
Genom Ref införs en ram för utvärdering av resultatet av MBPTA.
A framework for the evaluation of measurement-based timing analyses
{'venue': "RTNS '15", 'journal': None, 'mag_field_of_study': ['Computer Science']}