Systemdesign / Echtzeitbenchmarks
Zeitanalyse komplexer eingebetteter Systeme
Jenseits von einfachen Mikrocontrollern gestaltet sich die Laufzeitanalyse von Programmen anspruchsvoll. Statische WCET-Analyse ist eine formale Methode zur Ermittlung einer Worst-Case-Laufzeit (WCET), welche im Gegensatz zu messbasierten Methoden…