Timing Analysis on Code-Level (TACLe)

Fact Sheet

AcronymTACLe
NameTiming Analysis on Code-Level
Homepagewww.tacle.eu
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

Summary

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

2017

  • Arno Luppold and Heiko Falk.
    Schedulability-Aware SPM Allocation for Preemptive Hard Real-Time Systems with Arbitrary Activation Patterns.
    In Proceedings of Design, Automation and Test in Europe (DATE), pages 1074-1079, Lausanne / Switzerland, March 2017.
    [Abstract] [pdf] [doi: 10.23919/DATE.2017.7927149]

2016

  • Heiko Falk, Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sørensen, Peter Wägemann and Simon Wegener.
    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), pages 2:1-2:10, Toulouse / France, July 2016.
    [Abstract] [pdf] [doi: 10.4230/OASIcs.WCET.2016.2]

  • Dominic Oehlert, Arno Luppold and Heiko Falk.
    Practical Challenges of ILP-based SPM Allocation Optimizations.
    In Proceedings of the 19th International Workshop on Software & Compilers for Embedded Systems (SCOPES), pages 86-89, St. Goar / Germany, May 2016.
    [Abstract] [pdf] [doi: 10.1145/2906363.2906371]

  • Arno Luppold, Christina Kittsteiner and Heiko Falk.
    Cache-Aware Instruction SPM Allocation for Hard Real-Time Systems.
    In Proceedings of the 19th International Workshop on Software & Compilers for Embedded Systems (SCOPES), pages 77-85, St. Goar / Germany, May 2016.
    [Abstract] [pdf] [doi: 10.1145/2906363.2906369]

2015

  • Arno Luppold and Heiko Falk.
    Schedulability aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems.
    In Proceedings of the 18th International Workshop on Software & Compilers for Embedded Systems (SCOPES), pages 101-104, St. Goar / Germany, June 2015.
    [Abstract] [pdf] [doi: 10.1145/2764967.2771930]

  • Arno Luppold and Heiko Falk.
    Code Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems.
    In Proceedings of the 18th International Symposium on Real-Time Distributed Computing (ISORC), pages 35-42, Auckland / New Zealand, April 2015.
    [Abstract] [pdf] [doi: 10.1109/ISORC.2015.8]

  • Che-Wei Chang, Jian-Jia Chen, Tei-Wei Kuo and Heiko Falk.
    Real-Time Task Scheduling on Island-Based Multi-Core Platforms.
    In IEEE Transactions on Parallel and Distributed Systems (TPDS), Vol. 26, No. 2, pages 538-550, IEEE, February 2015.
    [Abstract] [doi: 10.1109/TPDS.2013.2297308]

2014

  • Nicolas Roeser, Arno Luppold and Heiko Falk.
    Multi-Criteria Optimization of Hard Real-Time Systems.
    In Proceedings of the 8th Junior Researcher Workshop on Real-Time Computing (JRWRTC), pages 49-52, Versailles / France, October 2014.
    [Abstract] [pdf]

  • Arno Luppold and Heiko Falk.
    Schedulability-Oriented WCET-Optimization of Hard Real-Time Multitasking Systems.
    In Proceedings of the 8th Junior Researcher Workshop on Real-Time Computing (JRWRTC), pages 9-12, Versailles / France, October 2014.
    [Abstract] [pdf]

  • Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel and Heiko Falk.
    A Unified WCET Analysis Framework for Multicore Platforms.
    © ACM, 2014. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published In ACM Transactions on Embedded Computing Systems (TECS), Vol. 13, No. 4s, ACM, July 2014.
    [Abstract] [pdf] [doi: 10.1145/2584654]

  • Heiko Falk (Ed.).
    Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis (WCET).
    Madrid / Spain, July 2014.
    [doi: 10.4230/OASIcs.WCET.2014.i] [www]

  • Heiko Falk.
    WCET-aware compilation and optimization.
    Lecture at the TACLe Summer School, Venice / Italy, June 2014.
    [pdf]

  • Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay and Abhik Roychoudhury.
    Static analysis of multi-core TDMA resource arbitration delays.
    In the International Journal of Time-Critical Computing Systems (Real-Time Systems), Vol. 50, No. 2, pages 185-229, Springer, March 2014.
    [Abstract] [pdf] [doi: 10.1007/s11241-013-9189-x]

  • Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm and Wang Yi.
    Building Timing Predictable Embedded Systems.
    © ACM, 2014. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published In ACM Transactions on Embedded Computing Systems (TECS), Vol. 13, No. 4, ACM, February 2014.
    [Abstract] [pdf] [doi: 10.1145/2560033]

2013

  • Jan C. Kleinsorge, Heiko Falk and Peter Marwedel.
    Simple Analysis of Partial Worst-case Execution Paths on General Control Flow Graphs.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), Montreal / Canada, October 2013.
    [Abstract] [pdf] [doi: 10.1109/EMSOFT.2013.6658594]

  • Timon Kelter, Tim Harde, Peter Marwedel and Heiko Falk.
    Evaluation of resource arbitration methods for multi-core real-time systems.
    In Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET), pages 1-10, Paris / France, July 2013.
    [Abstract] [pdf] [doi: 10.4230/OASIcs.WCET.2013.1]

  • Che-Wei Chang, Jian-Jia Chen, Tei-Wei Kuo and Heiko Falk.
    Real-Time Partitioned Scheduling on Multi-Core Systems with Local and Global Memories.
    In Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC), pages 467-472, Yokohama / Japan, January 2013.
    [Abstract] [pdf] [doi: 10.1109/ASPDAC.2013.6509640]

2012

  • Heiko Falk.
    Reconciling Compilation and Timing Analysis.
    Invited Talk at the International Conference on Embedded Software (EMSOFT), Tampere / Finland, October 2012.
    [pdf]

  • Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper and Stefan M. Petters.
    Code-Level Timing Analysis of Embedded Software.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), pages 163-164, Tampere / Finland, October 2012.
    [Abstract] [pdf] [doi: 10.1145/2380356.2380386]

  • Che-Wei Chang, Jian-Jia Chen, Waqaas Munawar, Tei-Wei Kuo and Heiko Falk.
    Partitioned Scheduling for Real-Time Tasks on Multiprocessor Embedded Systems with Programmable Shared SRAMs.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), pages 153-162, Tampere / Finland, October 2012.
    [Abstract] [pdf] [doi: 10.1145/2380356.2380384]

  • Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm and Wang Yi.
    Building Timing Predictable Embedded Systems.
    Technical Report No. #2012-013, Uppsala University, Department of Information Technology, Uppsala / Sweden, July 2012.
    [Abstract] [pdf]