Measurement-Based Timing Analysis

Ingomar Wenzel; Raimund Kirner; Bernhard Rieder; Peter Puschner

doi:10.1007/978-3-540-88479-8_30

Measurement-Based Timing Analysis

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter Puschner

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

16 Citations (Scopus)

107 Downloads (Pure)

Abstract

In this paper we present a measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end execution-time measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application code and then compose these times into it safe WCET bound.
This raises a number of challenges to be solved. First. there is the question of how to define and Subsequently calculate adequate subparts. Second, a huge amount of test data is required enforcing the execution of selected paths to perform the desired runtime measurements.
The presented method provides solutions to both problems. In a number of experiments we show the usefulness of the theoretical concepts and the practical feasibility by using current state-of-the-art industrial case studies from project partners.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publication	Third International Symposium, ISoLA 2008
Editors	T Margaria, B Steffen
Publisher	Springer Nature Link
Pages	430-444
Number of pages	15
ISBN (Print)	978-3-540-88478-1, 3-540-88478-5
DOIs	https://doi.org/10.1007/978-3-540-88479-8_30
Publication status	Published - 2009
Event	3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Porto Sani Duration: 13 Oct 2008 → 15 Oct 2008

Publication series

Name	Communications in Computer and Information Science
Publisher	Springer
Number	8
Volume	17

Conference

Conference	3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
City	Porto Sani
Period	13/10/08 → 15/10/08

Keywords

CHECKING

Access to Document

10.1007/978-3-540-88479-8_30

preprintSubmitted manuscript, 290 KB

Cite this

Wenzel, I., Kirner, R., Rieder, B., & Puschner, P. (2009). Measurement-Based Timing Analysis. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008 (pp. 430-444). (Communications in Computer and Information Science; Vol. 17, No. 8). Springer Nature Link. https://doi.org/10.1007/978-3-540-88479-8_30

@inproceedings{d4b34dd7488e481785ceb4ed75d5cb77,

title = "Measurement-Based Timing Analysis",

abstract = "In this paper we present a measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end execution-time measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application code and then compose these times into it safe WCET bound. This raises a number of challenges to be solved. First. there is the question of how to define and Subsequently calculate adequate subparts. Second, a huge amount of test data is required enforcing the execution of selected paths to perform the desired runtime measurements. The presented method provides solutions to both problems. In a number of experiments we show the usefulness of the theoretical concepts and the practical feasibility by using current state-of-the-art industrial case studies from project partners.",

keywords = "CHECKING",

author = "Ingomar Wenzel and Raimund Kirner and Bernhard Rieder and Peter Puschner",

year = "2009",

doi = "10.1007/978-3-540-88479-8_30",

language = "English",

isbn = "978-3-540-88478-1",

series = "Communications in Computer and Information Science",

publisher = "Springer Nature Link",

number = "8",

pages = "430--444",

editor = "T Margaria and B Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

address = "Netherlands",

note = "3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ; Conference date: 13-10-2008 Through 15-10-2008",

}

Wenzel, I, Kirner, R, Rieder, B & Puschner, P 2009, Measurement-Based Timing Analysis. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008. Communications in Computer and Information Science, no. 8, vol. 17, Springer Nature Link, pp. 430-444, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Porto Sani, 13/10/08. https://doi.org/10.1007/978-3-540-88479-8_30

Measurement-Based Timing Analysis. / Wenzel, Ingomar; Kirner, Raimund; Rieder, Bernhard et al.
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008. ed. / T Margaria; B Steffen. Springer Nature Link, 2009. p. 430-444 (Communications in Computer and Information Science; Vol. 17, No. 8).

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

TY - GEN

T1 - Measurement-Based Timing Analysis

AU - Wenzel, Ingomar

AU - Kirner, Raimund

AU - Rieder, Bernhard

AU - Puschner, Peter

PY - 2009

Y1 - 2009

N2 - In this paper we present a measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end execution-time measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application code and then compose these times into it safe WCET bound. This raises a number of challenges to be solved. First. there is the question of how to define and Subsequently calculate adequate subparts. Second, a huge amount of test data is required enforcing the execution of selected paths to perform the desired runtime measurements. The presented method provides solutions to both problems. In a number of experiments we show the usefulness of the theoretical concepts and the practical feasibility by using current state-of-the-art industrial case studies from project partners.

AB - In this paper we present a measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end execution-time measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application code and then compose these times into it safe WCET bound. This raises a number of challenges to be solved. First. there is the question of how to define and Subsequently calculate adequate subparts. Second, a huge amount of test data is required enforcing the execution of selected paths to perform the desired runtime measurements. The presented method provides solutions to both problems. In a number of experiments we show the usefulness of the theoretical concepts and the practical feasibility by using current state-of-the-art industrial case studies from project partners.

KW - CHECKING

U2 - 10.1007/978-3-540-88479-8_30

DO - 10.1007/978-3-540-88479-8_30

M3 - Conference contribution

SN - 978-3-540-88478-1

SN - 3-540-88478-5

T3 - Communications in Computer and Information Science

SP - 430

EP - 444

BT - Leveraging Applications of Formal Methods, Verification and Validation

A2 - Margaria, T

A2 - Steffen, B

PB - Springer Nature Link

T2 - 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Y2 - 13 October 2008 through 15 October 2008

ER -

Measurement-Based Timing Analysis

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this