Automatic timing model generation by CFG partitioning and model checking

I Wenzel; B Rieder; Raimund Kirner; P. Puschner

doi:10.1109/DATE.2005.76

Automatic timing model generation by CFG partitioning and model checking

I Wenzel, B Rieder, Raimund Kirner, P. Puschner

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

45 Citations (Scopus)

107 Downloads (Pure)

Abstract

We present a new measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application. We use heuristic methods and model checking to generate test data, forcing the execution of selected paths to perform run-time measurements. The measured times are used to calculate the WCET in a final computation step. As we operate on the source code level, our approach is platform independent except for the run-time measurements performed on the target host. We show the feasibility of the required steps and explain our approach by means of a case study.

Original language	English
Title of host publication	Proceedings of Design, Automation and Test in Europe
Editors	N Wehn, L Benini
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	606-611
Number of pages	6
Volume	1
ISBN (Print)	0-7695-2288-2
DOIs	https://doi.org/10.1109/DATE.2005.76
Publication status	Published - 2005
Event	Design, Automation and Test in Europe Conference and Exhibition (DATE 05) - Munich Duration: 7 Mar 2005 → 11 Mar 2005

Conference

Conference	Design, Automation and Test in Europe Conference and Exhibition (DATE 05)
City	Munich
Period	7/03/05 → 11/03/05

Access to Document

10.1109/DATE.2005.76

preprintSubmitted manuscript, 314 KB

Cite this

@inproceedings{c5354b6c357a43a6b10842711071262c,

title = "Automatic timing model generation by CFG partitioning and model checking",

abstract = "We present a new measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application. We use heuristic methods and model checking to generate test data, forcing the execution of selected paths to perform run-time measurements. The measured times are used to calculate the WCET in a final computation step. As we operate on the source code level, our approach is platform independent except for the run-time measurements performed on the target host. We show the feasibility of the required steps and explain our approach by means of a case study.",

author = "I Wenzel and B Rieder and Raimund Kirner and P. Puschner",

note = "“This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.{"} “Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.”; Design, Automation and Test in Europe Conference and Exhibition (DATE 05) ; Conference date: 07-03-2005 Through 11-03-2005",

year = "2005",

doi = "10.1109/DATE.2005.76",

language = "English",

isbn = "0-7695-2288-2",

volume = "1",

pages = "606--611 ",

editor = "N Wehn and L Benini",

booktitle = "Proceedings of Design, Automation and Test in Europe",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

Wenzel, I, Rieder, B, Kirner, R & Puschner, P 2005, Automatic timing model generation by CFG partitioning and model checking. in N Wehn & L Benini (eds), Proceedings of Design, Automation and Test in Europe. vol. 1, Institute of Electrical and Electronics Engineers (IEEE), pp. 606-611 , Design, Automation and Test in Europe Conference and Exhibition (DATE 05), Munich, 7/03/05. https://doi.org/10.1109/DATE.2005.76

Automatic timing model generation by CFG partitioning and model checking. / Wenzel, I; Rieder, B; Kirner, Raimund et al.
Proceedings of Design, Automation and Test in Europe. ed. / N Wehn; L Benini. Vol. 1 Institute of Electrical and Electronics Engineers (IEEE), 2005. p. 606-611 .

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

TY - GEN

T1 - Automatic timing model generation by CFG partitioning and model checking

AU - Wenzel, I

AU - Rieder, B

AU - Kirner, Raimund

AU - Puschner, P.

N1 - “This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder." “Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.”

PY - 2005

Y1 - 2005

N2 - We present a new measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application. We use heuristic methods and model checking to generate test data, forcing the execution of selected paths to perform run-time measurements. The measured times are used to calculate the WCET in a final computation step. As we operate on the source code level, our approach is platform independent except for the run-time measurements performed on the target host. We show the feasibility of the required steps and explain our approach by means of a case study.

AB - We present a new measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application. We use heuristic methods and model checking to generate test data, forcing the execution of selected paths to perform run-time measurements. The measured times are used to calculate the WCET in a final computation step. As we operate on the source code level, our approach is platform independent except for the run-time measurements performed on the target host. We show the feasibility of the required steps and explain our approach by means of a case study.

U2 - 10.1109/DATE.2005.76

DO - 10.1109/DATE.2005.76

M3 - Conference contribution

SN - 0-7695-2288-2

VL - 1

SP - 606

EP - 611

BT - Proceedings of Design, Automation and Test in Europe

A2 - Wehn, N

A2 - Benini, L

PB - Institute of Electrical and Electronics Engineers (IEEE)

T2 - Design, Automation and Test in Europe Conference and Exhibition (DATE 05)

Y2 - 7 March 2005 through 11 March 2005

ER -

Automatic timing model generation by CFG partitioning and model checking

Abstract

Conference

Access to Document

Fingerprint

Cite this