Device connection
A gateway service connects field and laboratory devices to the trace workflow.
Research project by Schmidt Embedded Systems and THM
Measure system behaviour. Verify requirements formally.
TRACE combines runtime tracing of connected embedded devices with cloud-based evaluation and formal verification.
TRACE processFrom device to verification result
LIVE- 1Device
- 2Gateway
- 3Cloud
- 4LogiTrace
- 5Result
- Live trace data
- Formal verification
- Web and API
- CI-ready workflows
From signal to evidence
What happens on the hardware becomes a clear verification result.
Distributed embedded systems generate runtime data in many places. Capturing, assigning and checking this data often requires several separate tools.
TRACE combines these steps in one workflow. Teams can control sessions, assign data to a project and check observed behaviour against a formal system specification.
More about firmware development- 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.
Integrated platform
Six components form one continuous trace workflow.
TRACE covers the process from device connection to result access. Each component has a clear boundary and can be used in the laboratory, locally or in automated workflows.
Session control
Trace sessions can be started, monitored, stopped and archived.
Projects and assets
Projects, devices and team access share one consistent structure.
Formal verification
LogiTrace turns trace data into transparent verification results.
Result access
The web interface and APIs provide evaluations, details and reports.
Automation
Local and CI-based processes integrate verification into development.
Applications
For teams that need evidence of live system behaviour.
TRACE is designed for the development and quality assurance of connected devices. It is particularly useful when teams must observe system behaviour across components and evaluate it reproducibly.
Embedded development
Observe hardware and firmware behaviour systematically during real operation.
Platform teams
Operate trace capture consistently across several devices and projects.
QA and verification
Check observed behaviour against requirements in a reproducible way.
Research and transfer
Connect formal methods with industrial embedded applications.
Project partners and funding
Industrial practice meets formal methods.
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.
Schedule Your Free Consultation Today
Book a free consultation and discover how we can help you achieve your business goals.
Gießen office: Flutgraben 4, 35390 Gießen
Visits by appointment, Mon-Fri, 09:00-18:00
Registered office and postal address: Auf der Grube 9, 35041 Marburg
Carsten Schmidt
CEO