WCET Tool Challenge 2011: Report

Reinhard von Hanxleden; Niklas Holsti; Björn Lisper; Erhard Ploedereder; Reinhard Wilhelm; Armelle Bonenfant; Hugues Cassé; Sven Bünte; Wolfgang Fellger; Sebastian Gepperth; Jan Gustafsson; Benedikt Huber; Nazrul Mohammad Islam; Daniel Kästner; Raimund Kirner; Laura Kovacs; Felix Krause; Marianne de Michiel; Mads Christian Olesen; Adrian Prantl; Wolfgang Puffitsch; Christine Rochange; Martin Schoeberl; Simon Wegener; Michael Zolda; Jakob Zwirchmayr

WCET Tool Challenge 2011: Report

Reinhard von Hanxleden, Niklas Holsti, Björn Lisper, Erhard Ploedereder, Reinhard Wilhelm, Armelle Bonenfant, Hugues Cassé, Sven Bünte, Wolfgang Fellger, Sebastian Gepperth, Jan Gustafsson, Benedikt Huber, Nazrul Mohammad Islam, Daniel Kästner, Raimund Kirner, Laura Kovacs, Felix Krause, Marianne de Michiel, Mads Christian Olesen, Adrian PrantlWolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Simon Wegener, Michael Zolda, Jakob Zwirchmayr

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

57 Downloads (Pure)

Abstract

Following the successful WCET Tool Challenges in 2006 and 2008, the third event in this series was organized in 2011, again with support from the ARTIST DESIGN Network of Excellence. Following the practice established in the previous Challenges, the WCET Tool Challenge 2011 (WCC’11) defined two kinds of problems to be solved by the Challenge participants with their tools, WCET
problems, which ask for bounds on the execution time, and flow-analysis problems, which ask for bounds on the number of times certain parts of the code can be executed. The benchmarks to be used in WCC’11 were debie1, PapaBench, and an industrial-strength application from the automotive domain
provided by Daimler. Two default execution platforms were suggested to the participants, the ARM7 as “simple target” and the MPC5553/5554 as a “complex target,” but participants were free to use other platforms as well. Ten tools participated in WCC’11: aiT, Astr´ee, Bound-T, FORTAS, METAMOC, OTAWA, SWEET, TimeWeaver, TuBound and WCA

Original language	English
Title of host publication	Procs 11th Int Workshop on Worst-Case Execution Time (WCET) Analysis
Subtitle of host publication	(WCET'11)
Publication status	Published - 2011

Access to Document

904865Accepted author manuscript, 422 KB

http://www.mrtc.mdh.se/projects/WCC/2011

Cite this

von Hanxleden, R., Holsti, N., Lisper, B., Ploedereder, E., Wilhelm, R., Bonenfant, A., Cassé, H., Bünte, S., Fellger, W., Gepperth, S., Gustafsson, J., Huber, B., Islam, N. M., Kästner, D., Kirner, R., Kovacs, L., Krause, F., de Michiel, M., Olesen, M. C., ... Zwirchmayr, J. (2011). WCET Tool Challenge 2011: Report. In Procs 11th Int Workshop on Worst-Case Execution Time (WCET) Analysis: (WCET'11) http://www.mrtc.mdh.se/projects/WCC/2011

@inproceedings{faa692a83e7a4e6986ba92cebc138162,

title = "WCET Tool Challenge 2011: Report",

abstract = "Following the successful WCET Tool Challenges in 2006 and 2008, the third event in this series was organized in 2011, again with support from the ARTIST DESIGN Network of Excellence. Following the practice established in the previous Challenges, the WCET Tool Challenge 2011 (WCC{\textquoteright}11) defined two kinds of problems to be solved by the Challenge participants with their tools, WCET problems, which ask for bounds on the execution time, and flow-analysis problems, which ask for bounds on the number of times certain parts of the code can be executed. The benchmarks to be used in WCC{\textquoteright}11 were debie1, PapaBench, and an industrial-strength application from the automotive domain provided by Daimler. Two default execution platforms were suggested to the participants, the ARM7 as “simple target” and the MPC5553/5554 as a “complex target,” but participants were free to use other platforms as well. Ten tools participated in WCC{\textquoteright}11: aiT, Astr´ee, Bound-T, FORTAS, METAMOC, OTAWA, SWEET, TimeWeaver, TuBound and WCA",

author = "{von Hanxleden}, Reinhard and Niklas Holsti and Bj{\"o}rn Lisper and Erhard Ploedereder and Reinhard Wilhelm and Armelle Bonenfant and Hugues Cass{\'e} and Sven B{\"u}nte and Wolfgang Fellger and Sebastian Gepperth and Jan Gustafsson and Benedikt Huber and Islam, {Nazrul Mohammad} and Daniel K{\"a}stner and Raimund Kirner and Laura Kovacs and Felix Krause and {de Michiel}, Marianne and Olesen, {Mads Christian} and Adrian Prantl and Wolfgang Puffitsch and Christine Rochange and Martin Schoeberl and Simon Wegener and Michael Zolda and Jakob Zwirchmayr",

year = "2011",

language = "English",

booktitle = "Procs 11th Int Workshop on Worst-Case Execution Time (WCET) Analysis",

}

von Hanxleden, R, Holsti, N, Lisper, B, Ploedereder, E, Wilhelm, R, Bonenfant, A, Cassé, H, Bünte, S, Fellger, W, Gepperth, S, Gustafsson, J, Huber, B, Islam, NM, Kästner, D, Kirner, R, Kovacs, L, Krause, F, de Michiel, M, Olesen, MC, Prantl, A, Puffitsch, W, Rochange, C, Schoeberl, M, Wegener, S, Zolda, M & Zwirchmayr, J 2011, WCET Tool Challenge 2011: Report. in Procs 11th Int Workshop on Worst-Case Execution Time (WCET) Analysis: (WCET'11). <http://www.mrtc.mdh.se/projects/WCC/2011>

TY - GEN

T1 - WCET Tool Challenge 2011

T2 - Report

AU - von Hanxleden, Reinhard

AU - Holsti, Niklas

AU - Lisper, Björn

AU - Ploedereder, Erhard

AU - Wilhelm, Reinhard

AU - Bonenfant, Armelle

AU - Cassé, Hugues

AU - Bünte, Sven

AU - Fellger, Wolfgang

AU - Gepperth, Sebastian

AU - Gustafsson, Jan

AU - Huber, Benedikt

AU - Islam, Nazrul Mohammad

AU - Kästner, Daniel

AU - Kirner, Raimund

AU - Kovacs, Laura

AU - Krause, Felix

AU - de Michiel, Marianne

AU - Olesen, Mads Christian

AU - Prantl, Adrian

AU - Puffitsch, Wolfgang

AU - Rochange, Christine

AU - Schoeberl, Martin

AU - Wegener, Simon

AU - Zolda, Michael

AU - Zwirchmayr, Jakob

PY - 2011

Y1 - 2011

N2 - Following the successful WCET Tool Challenges in 2006 and 2008, the third event in this series was organized in 2011, again with support from the ARTIST DESIGN Network of Excellence. Following the practice established in the previous Challenges, the WCET Tool Challenge 2011 (WCC’11) defined two kinds of problems to be solved by the Challenge participants with their tools, WCET problems, which ask for bounds on the execution time, and flow-analysis problems, which ask for bounds on the number of times certain parts of the code can be executed. The benchmarks to be used in WCC’11 were debie1, PapaBench, and an industrial-strength application from the automotive domain provided by Daimler. Two default execution platforms were suggested to the participants, the ARM7 as “simple target” and the MPC5553/5554 as a “complex target,” but participants were free to use other platforms as well. Ten tools participated in WCC’11: aiT, Astr´ee, Bound-T, FORTAS, METAMOC, OTAWA, SWEET, TimeWeaver, TuBound and WCA

AB - Following the successful WCET Tool Challenges in 2006 and 2008, the third event in this series was organized in 2011, again with support from the ARTIST DESIGN Network of Excellence. Following the practice established in the previous Challenges, the WCET Tool Challenge 2011 (WCC’11) defined two kinds of problems to be solved by the Challenge participants with their tools, WCET problems, which ask for bounds on the execution time, and flow-analysis problems, which ask for bounds on the number of times certain parts of the code can be executed. The benchmarks to be used in WCC’11 were debie1, PapaBench, and an industrial-strength application from the automotive domain provided by Daimler. Two default execution platforms were suggested to the participants, the ARM7 as “simple target” and the MPC5553/5554 as a “complex target,” but participants were free to use other platforms as well. Ten tools participated in WCC’11: aiT, Astr´ee, Bound-T, FORTAS, METAMOC, OTAWA, SWEET, TimeWeaver, TuBound and WCA

M3 - Conference contribution

BT - Procs 11th Int Workshop on Worst-Case Execution Time (WCET) Analysis

ER -