TRACE

Measure system behaviour.Verify requirements formally.

TRACE combines runtime tracing of connected embedded devices with cloud-based evaluation and formal verification.

Explore the project Discuss collaboration

Team reviewing a formal system model in the TRACE research project

TRACE processFrom device to verification result

1Device
2Gateway
3Cloud
4LogiTrace
5Result

Live trace data
Formal verification
Web and API
CI-ready workflows

Technical approach

Capture runtime dataand verify requirements

Connected embedded systems produce runtime data at several devices and interfaces. To analyse the system, these data must be aligned in time, assigned to system states and considered together.

TRACE studies how these steps can be implemented in one continuous platform. The platform captures traces, manages them by project and compares observed behaviour with a formal description of the expected system behaviour.

01
Capture
A gateway records runtime data from field and laboratory devices.
02
Transfer
Trace data is transferred to the central cloud infrastructure.
03
Verify
LogiTrace checks observed behaviour against the formal specification.
04
Evaluate
A web interface and API provide results for analysis and reporting.

Applications

Where TRACE is used

TRACE manages devices, trace sessions and results by project. This allows the same verification workflow to be used in development, quality assurance and research.

Embedded development

Examine firmware and hardware behaviour in tests and during operation.

Platform teams

Manage devices, sessions and access rights across several projects.

QA and verification

Document traces and check them against formal requirements.

Research and transfer

Evaluate formal methods on real embedded systems.

Project partners and funding

Research meets practice

Schmidt Embedded Systems and the Technische Hochschule Mittelhessen are developing TRACE together. The platform combines embedded engineering experience with scientific verification.

Schmidt Embedded Systems GmbH

Platform development and integration with industrial embedded and cloud systems.

Technische Hochschule Mittelhessen

Research partner from the Department of Mathematics, Natural Sciences and Computer Science at the Gießen campus.

Funded by ZIM

The project receives funding through Germany's Central Innovation Programme for SMEs from the Federal Ministry for Economic Affairs and Climate Action.

Visit the ZIM programme Visit the Federal Ministry