Timing Analysis on Code-Level (TACLe)

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.

Publikationen

• Falk, Heiko: Achieving Timing Predictability by Combining Models. Schloss Dagstuhl / Germany, November 2016.
• Luppold, Arno; Kittsteiner, Christina; Falk, Heiko: Cache-Aware Instruction SPM Allocation for Hard Real-Time Systems. In Proceedings of the 19th International Workshop on Software & Compilers for Embedded Systems (SCOPES), S. 77-85, St. Goar / Germany, May 2016., DOI: 10.1145/2906363.2906369
• Arno Luppold and Heiko Falk: Code Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems. In In Proceedings of the 18th International Symposium on Real-Time Distributed Computing (ISORC), S. 35-42, Auckland / New Zealand, April 2015., DOI: 10.1109/ISORC.2015.8
• Oehlert, Dominic; Luppold, Arno; Falk, Heiko: Practical Challenges of ILP-based SPM Allocation Optimizations. In Proceedings of the 19th International Workshop on Software & Compilers for Embedded Systems (SCOPES), S. 86-89, St. Goar / Germany, Mai 2016., DOI: 10.1145/2906363.2906371
• Arno Luppold and Heiko Falk: Schedulability aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems. In In Proceedings of the 18th International Workshop on Software & Compilers for Embedded Systems (SCOPES), S. 101-104, St. Goar / Germany, June 2015., DOI: 10.1145/2764967.2771930
• Falk, Heiko; Luppold, Arno: Schedulability-Aware Code Optimization for Multi-Task Real-Time Systems. Paris / France, March 2016.
• Falk, Heiko; Altmeyer, Sebastian; Hellinckx, Peter; Lisper, Björn; Puffitsch, Wolfgang; Rochange, Christine; Schoeberl, Martin; Sorensen, Rasmus Bo; Wägemann, Peter; Wegener, Simon: TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research. In Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis (WCET), Toulouse / France, July 2016.
• Falk, Heiko: WCET-Aware Compilation and Optimization for Real-Time Systems. Grenoble / France, June 2016.