Timing Analysis on Code-Level (TACLe)

Fact Sheet

NameTiming Analysis on Code-Level
Role of TUHHAction Vice Chair, member of Working Groups 1, 2 and 4
Start Date07/11/2012
End Date06/11/2016
Funds DonorCOST Office Brussels


TACLe is a four years lasting COST Action funded by the COST Office in Brussels.

Many embedded systems are safety-critical real-time systems that must process data within given deadlines. To validate real-time properties, timing analyses of program code are mandatory. Research on techniques for timing analysis of software touches many areas within computer science, e.g., computer architecture, compiler construction and formal verification.

This COST Action aims to cross-link the leading European researchers in these areas and thus to strengthen Europe's leading position in the field of timing analysis. TACLe's research activities include timing models for multicore systems, support of timing analysis by software development tools, early-stage timing analysis right in the beginning of the software development cycle, and the consideration of resources other than time like, e.g., energy dissipation.

TACLe Publications of the Embedded Systems Design Group

Title: TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research. <em>In Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis (WCET)</em>
Written by: Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Bj&ouml;rn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo S&oslash;rensen, Peter W&auml;gemann and Simon Wegener
in: July (2016).
Volume: Number:
on pages: 2:1-2:10
Series: 20160705-wcet-falk.pdf
Address: Toulouse / France
ISBN: 10.4230/OASIcs.WCET.2016.2
how published: 16-40 FAH+16 WCET

Note: hfalk, ESD, tacle, taclebench

Abstract: Engineering related research, such as research on worst-case execution time, uses experimentation to evaluate ideas. For these experiments we need example programs. Furthermore, to make the research experimentation repeatable those programs shall be made publicly available. <br /> We collected open-source programs, adapted them to a common coding style, and provide the collection in open-source. The benchmark collection is called TACLeBench and is available from GitHub in version 1.9 at the publication date of this paper. One of the main features of TACLeBench is that all programs are self-contained without any dependencies on standard libraries or an operating system.