The WCET Tool Challenge 2011

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

The WCET Tool Challenge 2011

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

Research output: Book/Report › Report › Research

943 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) dened 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
ow-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 AG. 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, Astree, Bound-T, FORTAS, METAMOC, OTAWA, SWEET, TimeWeaver, TuBound and WCA.

Original language	English

Publisher	Christian-Albrechts-Universität zu Kiel
Number of pages	45
Publication status	Published - 2012

Series	Bericht
Number	1215
ISSN	2192-6247

Access to Document

6BF22d01Final published version, 578 KB

Cite this

Hanxleden, R. V., Holsti, N., Lisper, B., Gustafsson, J., Islam, N. M., Ploedereder, E., Fellger, W., Gepperth, S., Krause, F., Wilhelm, R., Bonenfant, A., Casse, H., Michiel, M. D., Rochange, C., Bünte, S., Huber, B., Kovacs, L., Puffitsch, W., Zolda, M., ... Schoeberl, M. (2012). The WCET Tool Challenge 2011. Christian-Albrechts-Universität zu Kiel. Bericht, No. 1215

Hanxleden, Reinhard von ; Holsti, Niklas ; Lisper, Björn ; Gustafsson, Jan ; Islam, Nazrul Mohammad ; Ploedereder, Erhard ; Fellger, Wolfgang ; Gepperth, Sebastian ; Krause, Felix ; Wilhelm, Reinhard ; Bonenfant, Armelle ; Casse, Hugues ; Michiel, Marianne de ; Rochange, Christine ; Bünte, Sven ; Huber, Benedikt ; Kovacs, Laura ; Puffitsch, Wolfgang ; Zolda, Michael ; Zwirchmayr, Jakob ; Kästner, Daniel ; Wegener, Simon ; Kirner, Raimund ; Olesen, Mads Christian ; Prantl, Adrian ; Schoeberl, Martin. / The WCET Tool Challenge 2011. Christian-Albrechts-Universität zu Kiel, 2012. 45 p. (Bericht; No. 1215).

@book{adc2241c18f3446e905a15a1651e02cf,

title = "The WCET Tool Challenge 2011",

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) dened 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 ow-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 AG. 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, Astree, Bound-T, FORTAS, METAMOC, OTAWA, SWEET, TimeWeaver, TuBound and WCA.",

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

year = "2012",

language = "English",

series = "Bericht",

publisher = "Christian-Albrechts-Universit{\"a}t zu Kiel",

number = "1215",

}

Hanxleden, RV, Holsti, N, Lisper, B, Gustafsson, J, Islam, NM, Ploedereder, E, Fellger, W, Gepperth, S, Krause, F, Wilhelm, R, Bonenfant, A, Casse, H, Michiel, MD, Rochange, C, Bünte, S, Huber, B, Kovacs, L, Puffitsch, W, Zolda, M, Zwirchmayr, J, Kästner, D, Wegener, S, Kirner, R, Olesen, MC, Prantl, A & Schoeberl, M 2012, The WCET Tool Challenge 2011. Bericht, no. 1215, Christian-Albrechts-Universität zu Kiel.

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

Christian-Albrechts-Universität zu Kiel, 2012. 45 p. (Bericht; No. 1215).

Research output: Book/Report › Report › Research

TY - RPRT

T1 - The WCET Tool Challenge 2011

AU - Hanxleden, Reinhard von

AU - Holsti, Niklas

AU - Lisper, Björn

AU - Gustafsson, Jan

AU - Islam, Nazrul Mohammad

AU - Ploedereder, Erhard

AU - Fellger, Wolfgang

AU - Gepperth, Sebastian

AU - Krause, Felix

AU - Wilhelm, Reinhard

AU - Bonenfant, Armelle

AU - Casse, Hugues

AU - Michiel, Marianne de

AU - Rochange, Christine

AU - Bünte, Sven

AU - Huber, Benedikt

AU - Kovacs, Laura

AU - Puffitsch, Wolfgang

AU - Zolda, Michael

AU - Zwirchmayr, Jakob

AU - Kästner, Daniel

AU - Wegener, Simon

AU - Kirner, Raimund

AU - Olesen, Mads Christian

AU - Prantl, Adrian

AU - Schoeberl, Martin

PY - 2012

Y1 - 2012

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) dened 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 ow-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 AG. 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, Astree, 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) dened 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 ow-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 AG. 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, Astree, Bound-T, FORTAS, METAMOC, OTAWA, SWEET, TimeWeaver, TuBound and WCA.

M3 - Report

T3 - Bericht

BT - The WCET Tool Challenge 2011

PB - Christian-Albrechts-Universität zu Kiel

ER -