TRACE

Systemverhalten messen.Anforderungen formal prüfen.

TRACE verbindet Laufzeit-Tracing vernetzter Embedded-Geräte mit cloudgestützter Auswertung und formaler Verifikation.

Projekt kennenlernen Zusammenarbeit besprechen

Team bespricht ein formales Systemmodell im TRACE-Forschungsprojekt

TRACE ProzessVom Gerät zum Prüfergebnis

1Gerät
2Gateway
3Cloud
4LogiTrace
5Ergebnis

Live-Tracedaten
Formale Verifikation
Web und API
CI-fähige Abläufe

Technischer Ansatz

Laufzeitdaten erfassenund Anforderungen prüfen

In vernetzten Embedded-Systemen entstehen Laufzeitdaten an mehreren Geräten und Schnittstellen. Für eine Auswertung müssen diese Daten zeitlich eingeordnet, Systemzuständen zugeordnet und gemeinsam betrachtet werden.

TRACE untersucht, wie sich diese Schritte in einer durchgängigen Plattform umsetzen lassen. Die Plattform erfasst Traces, verwaltet sie projektbezogen und vergleicht das beobachtete Verhalten mit einer formalen Beschreibung des erwarteten Systemverhaltens.

01
Erfassen
Ein Gateway nimmt Laufzeitdaten von Feld- und Laborgeräten auf.
02
Übertragen
Traces gelangen in die zentrale Cloud-Infrastruktur.
03
Verifizieren
LogiTrace prüft das beobachtete Verhalten gegen die formale Spezifikation.
04
Auswerten
Web-Oberfläche und API stellen Ergebnisse für Analyse und Bericht bereit.

Anwendungsfelder

Wo TRACE eingesetzt wird

TRACE verwaltet Geräte, Trace-Sessions und Ergebnisse projektbezogen. Dadurch kann derselbe Prüfablauf in Entwicklung, Qualitätssicherung und Forschung genutzt werden.

Embedded-Entwicklung

Firmware- und Hardwareverhalten in Tests und im Betrieb untersuchen.

Plattform-Teams

Geräte, Sessions und Zugriffsrechte über mehrere Projekte hinweg verwalten.

QA und Verifikation

Traces dokumentieren und gegen formale Anforderungen prüfen.

Forschung und Transfer

Formale Methoden an realen Embedded-Systemen erproben.

Projektpartner und Förderung

Forschung trifft Praxis

Schmidt Embedded Systems und die Technische Hochschule Mittelhessen entwickeln TRACE gemeinsam. Die Verbindung aus Embedded-Erfahrung und wissenschaftlicher Verifikation prägt die Plattform.