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/ReportReportResearch

    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 languageEnglish
    PublisherChristian-Albrechts-Universität zu Kiel
    Number of pages45
    Publication statusPublished - 2012
    SeriesBericht
    Number1215
    ISSN2192-6247

    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