Validating the reliability of WCET estimates with MBPTA
Tipus de documentText en actes de congrés
EditorBarcelona Supercomputing Center
Condicions d'accésAccés obert
Estimating the worst-case execution time (WCET) of tasks in a system is an important step in timing verification of critical real-time embedded systems. Measurement-Based Probabilistic Timing Analysis (MBPTA) is a novel and powerful method to compute WCET estimates based on measurements on the target platform. To provide reliable estimates, MBPTA needs to capture at analysis time the events with high impact on execution time. We propose a method to assess and increase the confidence that MBPTA captures the relevant events during analysis.
CitacióMilutinovic, Suzana; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier. Validating the reliability of WCET estimates with MBPTA. A: 3rd BSC International Doctoral Symposium. "Book of abstracts". Barcelona Supercomputing Center, 2015, p. 68-70.