Jörg Herter

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 averagecase 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 unpredictability 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 dynamic(More)
MathCoach ist eine webbasierte und interaktive Trainingsumgebung für Mathematik, die den Lernenden Übungen und Experimente inklusive individueller Hilfestellung und Bewertung zur Verfügung stellt. Im Gegensatz zu anderen Systemen, die einen ähnlichen Ansatz verfolgen, die den Lernenden aber meist nur eine statische Sammlung von Aufgaben zur Bearbeitung(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)
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)
Das speziell auf mathematische Inhalte ausgelegte E-Learning-Werkzeug MathCoach besteht praktisch aus zwei Teilen: dem MathCoach-Servlet, das das Rahmenwerk bildet, und der Aufgabenbeschreibungssprache LaplaceScript, mit deren Hilfe Autoren ihre Übungsaufgaben verfassen. Das MathCoach-Servlet oder einfach MathCoach bildet das eigentliche E-LearningSystem.(More)