The worst-case execution time tool challenge 2006

Authors:
Lili Tan
Affiliations:
University of Duisburg-Essen, ICB/Computer Science, Dependability of Computing Systems, Duisburg, Germany
Venue:
International Journal on Software Tools for Technology Transfer (STTT)
Year:
2009

Citing 0
Cited 2

Symbolic state traversal for WCET analysis

EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Computation takes time, but how much?

Communications of the ACM

Quantified Score

Hi-index	0.02

Visualization

Abstract

The first international worst-case execution time (WCET) Tool Challenge in 2006 used benchmark programs to evaluate academic and commercial WCET tools. It aimed to study the state-of-the-art in WCET analysis. The WCET Tool Challenge comprised two parallel evaluation approaches: an internal evaluation by the respective tool developers and an external test by a neutral person of an independent institute. The latter was conducted by the author of this paper. Focusing on the external test, we describe the rules, benchmarks, participants and discuss the obtained results.