University of Hertfordshire Research Archive

        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UHRABy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

        Arkivum Files

        My Downloads
        View Item 
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item

        WCET Tool Challenge 2011 : Report

        View/Open
        904865.pdf (PDF, 421Kb)
        Author
        von Hanxleden, Reinhard
        Holsti, Niklas
        Lisper, Björn
        Ploedereder, Erhard
        Wilhelm, Reinhard
        Bonenfant, Armelle
        Cassé, Hugues
        Bünte, Sven
        Fellger, Wolfgang
        Gepperth, Sebastian
        Gustafsson, Jan
        Huber, Benedikt
        Islam, Nazrul Mohammad
        Kästner, Daniel
        Kirner, Raimund
        Kovacs, Laura
        Krause, Felix
        de Michiel, Marianne
        Olesen, Mads Christian
        Prantl, Adrian
        Puffitsch, Wolfgang
        Rochange, Christine
        Schoeberl, Martin
        Wegener, Simon
        Zolda, Michael
        Zwirchmayr, Jakob
        Attention
        2299/10354
        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
        Publication date
        2011
        Published in
        Procs 11th Int Workshop on Worst-Case Execution Time (WCET) Analysis
        Other links
        http://hdl.handle.net/2299/10354
        Metadata
        Show full item record
        Keep in touch

        © 2019 University of Hertfordshire

        I want to...

        • Apply for a course
        • Download a Prospectus
        • Find a job at the University
        • Make a complaint
        • Contact the Press Office

        Go to...

        • Accommodation booking
        • Your student record
        • Bayfordbury
        • KASPAR
        • UH Arts

        The small print

        • Terms of use
        • Privacy and cookies
        • Criminal Finances Act 2017
        • Modern Slavery Act 2015
        • Sitemap

        Find/Contact us

        • T: +44 (0)1707 284000
        • E: ask@herts.ac.uk
        • Where to find us
        • Parking
        • hr
        • qaa
        • stonewall
        • AMBA
        • ECU Race Charter
        • disability confident
        • AthenaSwan