TACLe Benchmarks
C C++ Other
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.


About TACLe Benchmarks

This is the starting point for the repository of the TACLe benchmark collection. See also: http://www.tacle.eu/index.php/activities/taclebench


The TACLe benchmark collection has been described in a paper at the WCET 2016 workshop. The paper is included as PDF in the doc folder. If you use the TACLe benchmarks please cite following paper:

  author = {Heiko Falk and Sebastian Altmeyer and Peter Hellinckx and Bj{\"o}rn
	Lisper and Wolfgang Puffitsch and Christine Rochange and Martin Schoeberl
	and Rasmus Bo S{\o}rensen and Peter W{\"a}gemann and Simon Wegener},
  title = {{TACLeBench}: A Benchmark Collection to Support Worst-Case Execution
	Time Research},
  booktitle = {16th International Workshop on Worst-Case Execution Time Analysis
	(WCET 2016)},
  year = {2016},
  editor = {Martin Schoeberl},
  volume = {55},
  series = {OpenAccess Series in Informatics (OASIcs)},
  pages = {2:1--2:10},
  address = {Dagstuhl, Germany},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik}

Getting Started

All benchmarks are self-contained and can be compiled just with

cc/gcc/clang *.c

Current Status

the TACLeBench group is currently in the process of cleaning up and unifying the benchmarks. A version 2.0 will be available in the relative near future.

The WCET paper is based on the version V1.9. To switch to this version use:

git checkout V1.9

Regression Tests


Getting Involved

You are welcome to contribute and help. To get involved contact:

Heiko for the mailing list (http://www.tuhh.de/es/esd/people/hfalk) and Martin for GitHub access (http://www2.imm.dtu.dk/~masca/).