Institute of Embedded Systems

Menu

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 (2017). Schedulability-Aware SPM Allocation for Preemptive Hard Real-Time Systems with Arbitrary Activation Patterns. 1074-1079 [Abstract]

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 (2016). TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research. 2:1-2:10 [Abstract]

  • Arno Luppold, Christina Kittsteiner and Heiko Falk (2016). Cache-Aware Instruction SPM Allocation for Hard Real-Time Systems. 77-85 [Abstract]

  • Dominic Oehlert, Arno Luppold and Heiko Falk (2016). Practical Challenges of ILP-based SPM Allocation Optimizations. 86-89 [Abstract]

2015

  • Arno Luppold and Heiko Falk (2015). Code Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems. 35-42 [Abstract]

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

  • Arno Luppold and Heiko Falk (2015). Schedulability aware WCET-Optimization of Periodic Preemptive Hard Real-Time Multitasking Systems. 101-104 [Abstract]

2014

  • 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 (2014). Building Timing Predictable Embedded Systems. ACM Transactions on Embedded Computing Systems (TECS). 13. (4), [Abstract]

  • Heiko Falk (Ed.) (2014). Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis (WCET). [www]

  • Sudipta Chattopadhyay, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel and Heiko Falk (2014). A Unified WCET Analysis Framework for Multicore Platforms. ACM Transactions on Embedded Computing Systems (TECS). 13. (4s), [Abstract]

  • Heiko Falk (2014). WCET-aware compilation and optimization.

  • Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay and Abhik Roychoudhury (2014). Static analysis of multi-core TDMA resource arbitration delays. the International Journal of Time-Critical Computing Systems (Real-Time Systems). 50. (2), 185-229 [Abstract]

  • Arno Luppold and Heiko Falk (2014). Schedulability-Oriented WCET-Optimization of Hard Real-Time Multitasking Systems. 9-12 [Abstract]

  • Nicolas Roeser, Arno Luppold and Heiko Falk (2014). Multi-Criteria Optimization of Hard Real-Time Systems. 49-52 [Abstract]

2013

  • Che-Wei Chang, Jian-Jia Chen, Tei-Wei Kuo and Heiko Falk (2013). Real-Time Partitioned Scheduling on Multi-Core Systems with Local and Global Memories. 467-472 [Abstract]

  • Timon Kelter, Tim Harde, Peter Marwedel and Heiko Falk (2013). Evaluation of resource arbitration methods for multi-core real-time systems. 1-10 [Abstract]

  • Jan C. Kleinsorge, Heiko Falk and Peter Marwedel (2013). Simple Analysis of Partial Worst-case Execution Paths on General Control Flow Graphs. [Abstract]

2012

  • 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 (2012). Building Timing Predictable Embedded Systems. (#2012-013), [Abstract]

  • Che-Wei Chang, Jian-Jia Chen, Waqaas Munawar, Tei-Wei Kuo and Heiko Falk (2012). Partitioned Scheduling for Real-Time Tasks on Multiprocessor Embedded Systems with Programmable Shared SRAMs. 153-162 [Abstract]

  • Heiko Falk (2012). Reconciling Compilation and Timing Analysis.

  • Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper and Stefan M. Petters (2012). Code-Level Timing Analysis of Embedded Software. 163-164 [Abstract]

Eintrag 1-21 von 21