A Framework For The Evaluation Of Measurement-based Timing Analyses

Benjamin Lesage; David Griffin; Frank Soboczenski; Iain Bate; Robert I. Davis

doi:10.1145/2834848.2834858

A Framework For The Evaluation Of Measurement-based Timing Analyses

Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert I. Davis

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

A key issue with Worst-Case Execution Time (WCET) analyses is the evaluation of the tightness and soundness of the results produced. In the absence of a ground truth, i.e. the Actual WCET (AWCET), such evaluations rely on comparison between different estimates or observed values. In this paper, we introduce a framework for the evaluation of measurement-based timing analyses. This framework uses abstract models of synthetic tasks to provide realistic execution time data as input to the analyses, while ensuring that a corresponding AWCET can be computed. The effectiveness of the framework is demonstrated by evaluating the impact of imperfect structural coverage on an existing measurement-based probabilistic timing analysis.

Original language	English
Title of host publication	23rd International Conference on Real-Time Networks and Systems (RTNS)
Subtitle of host publication	Proceedings of the 23rd International Conference on Real Time and Networks Systems
Place of Publication	New York
Publisher	ACM
Pages	35-44
ISBN (Print)	978-1-4503-3591-1
DOIs	https://doi.org/10.1145/2834848.2834858
Publication status	Published - Nov 2015
Event	23rd International Conference on Real-Time Network Systems (RTNS 2015) - , United Kingdom Duration: 4 Nov 2015 → 6 Nov 2015

Conference

Conference	23rd International Conference on Real-Time Network Systems (RTNS 2015)
Country/Territory	United Kingdom
Period	4/11/15 → 6/11/15

Access to Document

10.1145/2834848.2834858

INRIA International Chair
Davis, R. I.
1/10/14 → 30/09/19
Project: Other project › Research collaboration
PROXIMA - Probabilistic real-time control of mixed criticality multicore and manycore systems
Bate, I. J. & Davis, R. I.
EUROPEAN COMMISSION
1/10/13 → 30/09/16
Project: Research project (funded) › Research

Cite this

@inproceedings{7c87ce74c2274c3c996031ce63ec4df0,

title = "A Framework For The Evaluation Of Measurement-based Timing Analyses",

abstract = "A key issue with Worst-Case Execution Time (WCET) analyses is the evaluation of the tightness and soundness of the results produced. In the absence of a ground truth, i.e. the Actual WCET (AWCET), such evaluations rely on comparison between different estimates or observed values. In this paper, we introduce a framework for the evaluation of measurement-based timing analyses. This framework uses abstract models of synthetic tasks to provide realistic execution time data as input to the analyses, while ensuring that a corresponding AWCET can be computed. The effectiveness of the framework is demonstrated by evaluating the impact of imperfect structural coverage on an existing measurement-based probabilistic timing analysis.",

author = "Benjamin Lesage and David Griffin and Frank Soboczenski and Iain Bate and Davis, {Robert I.}",

year = "2015",

month = nov,

doi = "10.1145/2834848.2834858",

language = "English",

isbn = "978-1-4503-3591-1",

pages = "35--44",

booktitle = "23rd International Conference on Real-Time Networks and Systems (RTNS)",

publisher = "ACM",

address = "United States",

note = "23rd International Conference on Real-Time Network Systems (RTNS 2015) ; Conference date: 04-11-2015 Through 06-11-2015",

}

Lesage, B , Griffin, D , Soboczenski, F , Bate, I & Davis, RI 2015, A Framework For The Evaluation Of Measurement-based Timing Analyses. in 23rd International Conference on Real-Time Networks and Systems (RTNS): Proceedings of the 23rd International Conference on Real Time and Networks Systems. ACM, New York, pp. 35-44, 23rd International Conference on Real-Time Network Systems (RTNS 2015), United Kingdom, 4/11/15. https://doi.org/10.1145/2834848.2834858

A Framework For The Evaluation Of Measurement-based Timing Analyses. / Lesage, Benjamin ; Griffin, David ; Soboczenski, Frank et al.
23rd International Conference on Real-Time Networks and Systems (RTNS): Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York: ACM, 2015. p. 35-44.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A Framework For The Evaluation Of Measurement-based Timing Analyses

AU - Lesage, Benjamin

AU - Griffin, David

AU - Soboczenski, Frank

AU - Bate, Iain

AU - Davis, Robert I.

PY - 2015/11

Y1 - 2015/11

N2 - A key issue with Worst-Case Execution Time (WCET) analyses is the evaluation of the tightness and soundness of the results produced. In the absence of a ground truth, i.e. the Actual WCET (AWCET), such evaluations rely on comparison between different estimates or observed values. In this paper, we introduce a framework for the evaluation of measurement-based timing analyses. This framework uses abstract models of synthetic tasks to provide realistic execution time data as input to the analyses, while ensuring that a corresponding AWCET can be computed. The effectiveness of the framework is demonstrated by evaluating the impact of imperfect structural coverage on an existing measurement-based probabilistic timing analysis.

AB - A key issue with Worst-Case Execution Time (WCET) analyses is the evaluation of the tightness and soundness of the results produced. In the absence of a ground truth, i.e. the Actual WCET (AWCET), such evaluations rely on comparison between different estimates or observed values. In this paper, we introduce a framework for the evaluation of measurement-based timing analyses. This framework uses abstract models of synthetic tasks to provide realistic execution time data as input to the analyses, while ensuring that a corresponding AWCET can be computed. The effectiveness of the framework is demonstrated by evaluating the impact of imperfect structural coverage on an existing measurement-based probabilistic timing analysis.

U2 - 10.1145/2834848.2834858

DO - 10.1145/2834848.2834858

M3 - Conference contribution

SN - 978-1-4503-3591-1

SP - 35

EP - 44

BT - 23rd International Conference on Real-Time Networks and Systems (RTNS)

PB - ACM

CY - New York

T2 - 23rd International Conference on Real-Time Network Systems (RTNS 2015)

Y2 - 4 November 2015 through 6 November 2015

ER -

A Framework For The Evaluation Of Measurement-based Timing Analyses

Abstract

Conference

Access to Document

Projects

INRIA International Chair

PROXIMA - Probabilistic real-time control of mixed criticality multicore and manycore systems

Cite this