Automatic Timing Model Generation by CFG Partitioning and Model Checking

D
DATE
2005
Design, Automation and Test in Europe (DATE'05) Volume 1
Abstract - Automatic Timing Model Generation by CFG Partitioning and Model Checking

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Ingomar Wenzel Articles by Bernhard Rieder Articles by Raimund Kirner Articles by Peter Puschner

Design, Automation and Test in Europe (DATE'05) Volume 1

Munich, Germany

March 07-March 11

ISBN: 0-7695-2288-2

	ASCII Text	x
	Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter Puschner, "Automatic Timing Model Generation by CFG Partitioning and Model Checking," Design, Automation and Test in Europe Conference and Exhibition, vol. 1, pp. 606-611, Design, Automation and Test in Europe (DATE'05) Volume 1, 2005.

	BibTex	x
	@article{ 10.1109/DATE.2005.76, author = {Ingomar Wenzel and Bernhard Rieder and Raimund Kirner and Peter Puschner}, title = {Automatic Timing Model Generation by CFG Partitioning and Model Checking}, journal ={Design, Automation and Test in Europe Conference and Exhibition}, volume = {1}, year = {2005}, issn = {1530-1591}, pages = {606-611}, doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2005.76}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Design, Automation and Test in Europe Conference and Exhibition TI - Automatic Timing Model Generation by CFG Partitioning and Model Checking SN - 1530-1591 SP606 EP611 A1 - Ingomar Wenzel, A1 - Bernhard Rieder, A1 - Raimund Kirner, A1 - Peter Puschner, PY - 2005 KW - null VL - 1 JA - Design, Automation and Test in Europe Conference and Exhibition ER -

Ingomar Wenzel, Technische Universit?t Wien, Austria

Bernhard Rieder, Technische Universit?t Wien, Austria

Raimund Kirner, Technische Universit?t Wien, Austria

Peter Puschner, Technische Universit?t Wien, Austria

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.2005.76

In this paper 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 runtime measurements. The measured times are used to calculate the WCET in a final computation step. As we operate on 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.

Citation:

Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter Puschner, "Automatic Timing Model Generation by CFG Partitioning and Model Checking," date, vol. 1, pp.606-611, Design, Automation and Test in Europe (DATE'05) Volume 1, 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.