Insbesondere sicherheitskritische Anwendungen mit Echtzeitanforderungen benötigen die Abschätzung von Programmlaufzeiten im Worst case. Eine neuartige Lösung von Lauterbach und AbsInt macht Laufzeitanalysen jetzt noch schneller und einfacher.
Die PowerTrace-Module von Lauterbach liefern u.a. Informationen über den Programmablauf mit Verzweigungen, Sprüngen, Interrupts und Taskwechseln. Das Abrufen und Analysieren dieser Daten ist Grundlage für AbsInts Tool TimeWeaver, das die gemessenen Ausführungszeiten von Codeabschnitten aus dem Echtzeit-Tracing dazu nutzt, um eine möglichst sichere Abschätzung der Laufzeit im schlimmsten Fall (Worst-Case Execution Time, WCET) zu bestimmen.
In enger Kooperation beider Embedded-Spezialisten konnte der Speicherbedarf für die ausgetauschten Daten durch Komprimierung und Optimierung nunmehr stark reduziert werden, was neben einem geringeren Speicherbedarf dazu führt, dass TimeWeaver seine Ergebnisse deutlich schneller liefert. (oe)
Link zur Meldung
