Learn More
—General-purpose dynamic memory allocation algorithms strive for small memory fragmentation and good average-case response times. Hard real-time settings, in contrast , place different demands on dynamic memory allocators: worst-case response times are more important than average-case response times. Furthermore, predictable cache behavior is a prerequisite(More)
—Current WCET analyses do not support dynamic memory allocation. This is mainly due to the un-predictability of the cache performance if standard memory allocators are used. We present a novel dynamic memory allocator that makes cache performance predictable and (de)allocates memory in constant time. It thereby enables WCET analysis in the presence of(More)
Hard real-time systems have to satisfy strict timing constraints. To prove that these constraints are met, timing analyses aim to derive safe upper bounds on tasks' execution times. Processor components such as caches, out-of-order pipelines, and speculation cause a large variation of the execution time of instructions, which may induce a large variability(More)
Current worst-case execution time (WCET) analyses do not support programs using dynamic memory allocation. This is mainly due to the unpredictability of cache performance introduced by standard memory allocators. To overcome this problem, algorithms have been proposed that precompute static allocations for dynamically allocating programs with known numeric(More)
MathCoach ist eine webbasierte und interaktive Trainingsumgebung f ¨ ur Mathematik, die den Lernenden¨Ubungen und Experimente inklusive individueller Hilfestellungu nd Bewertung zur Ve rfügung stellt. Im Gegensatz zu anderen Syste-men, die einenähnlichen Ansatz verfolgen, die den Lernenden aber meist nur eine statische Sammlung vonA ufgaben zur Bearbeitung(More)
Cache analysis plays a crucial part when analyzing the WCET of an application. This paper presents ongoing work aiming at a precise cache analysis in the presence of pointer-based, heap-allocated data structures. The proposed analysis achieves precision by augmenting its abstract cache states with information about the structure of the program's allocated(More)