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 Kovács; 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 (Editor), Niklas Holsti (Editor), Björn Lisper (Editor), Erhard Ploedereder (Editor), Reinhard Wilhelm (Editor), Armelle Bonenfant, Hugues Cassé, Sven Bünte, Wolfgang Fellger, Sebastian Gepperth, Jan Gustafsson, Benedikt Huber, Nazrul Mohammad Islam, Daniel Kästner, Raimund Kirner, Laura Kovács, 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 › Article in proceedings › Research › peer-review

1018 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	Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis
Number of pages	35
Publisher	Austrian Computer Society (OCG)
Publication date	2011
Publication status	Published - 2011
Event	11th International Workshop on Worst-Case Execution-Time Analysis - Porto, Portugal Duration: 5 Jul 2011 → 5 Jul 2011 Conference number: 11

Workshop

Workshop	11th International Workshop on Worst-Case Execution-Time Analysis
Number	11
Country/Territory	Portugal
City	Porto
Period	05/07/2011 → 05/07/2011

Access to Document

Wcc2011

http://www.artist-embedded.org/artist/Overview,2317.html

OpenUrl availability

Full text

Cite this

von Hanxleden, R. (Ed.), Holsti, N. (Ed.), Lisper, B. (Ed.), Ploedereder, E. (Ed.), Wilhelm, R. (Ed.), Bonenfant, A., Cassé, H., Bünte, S., Fellger, W., Gepperth, S., Gustafsson, J., Huber, B., Islam, N. M., Kästner, D., Kirner, R., Kovács, L., Krause, F., de Michiel, M., Olesen, M. C., ... Zwirchmayr, J. (2011). WCET Tool Challenge 2011: Report. In Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis Austrian Computer Society (OCG). http://www.artist-embedded.org/artist/Overview,2317.html

@inproceedings{4a43e07bfa35430b87ab97c86b067466,

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 Kov{\'a}cs 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 = "Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis",

publisher = "Austrian Computer Society (OCG)",

note = "11th International Workshop on Worst-Case Execution-Time Analysis, WCET ; Conference date: 05-07-2011 Through 05-07-2011",

}

von Hanxleden, R (ed.), Holsti, N (ed.), Lisper, B (ed.), Ploedereder, E (ed.), Wilhelm, R (ed.), Bonenfant, A, Cassé, H, Bünte, S, Fellger, W, Gepperth, S, Gustafsson, J, Huber, B, Islam, NM, Kästner, D, Kirner, R, Kovács, 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 Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis. Austrian Computer Society (OCG), 11th International Workshop on Worst-Case Execution-Time Analysis, Porto, Portugal, 05/07/2011. <http://www.artist-embedded.org/artist/Overview,2317.html>

WCET Tool Challenge 2011: Report. / von Hanxleden, Reinhard (Editor); Holsti, Niklas (Editor); Lisper, Björn (Editor) et al.
Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis. Austrian Computer Society (OCG), 2011.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - WCET Tool Challenge 2011: Report

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 - Kovács, 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

A2 - von Hanxleden, Reinhard

A2 - Holsti, Niklas

A2 - Lisper, Björn

A2 - Ploedereder, Erhard

A2 - Wilhelm, Reinhard

N1 - Conference code: 11

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 - Article in proceedings

BT - Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis

PB - Austrian Computer Society (OCG)

T2 - 11th International Workshop on Worst-Case Execution-Time Analysis

Y2 - 5 July 2011 through 5 July 2011

ER -

WCET Tool Challenge 2011: Report

Abstract

Workshop

Access to Document

OpenUrl availability

Fingerprint

Cite this