Audit-grade verification for ROS2 robotics.
Map every safety requirement to a passing test. Catch regressions on every PR. Ship a hash-chained evidence pack the auditor accepts on the first try.
| Requirement | Status | Tests | p95 |
|---|---|---|---|
ISO 10218 · 5.10.3 Protective stop reachability | Confirmed | 4 | 142ms |
ISO 10218 · 5.11.5 Speed-and-separation monitoring | Confirmed | 7 | 1.2s |
EU MR · 1.1.9 Cybersecurity — message authentication | Partial | 2 | — |
ISO 13849 · EM-STOP Emergency stop function (PLe) | Confirmed | 6 | 98ms |
EU MR · 1.2.1 Fault tolerance — bus disconnect | Regression | 3 | — |
ISO 10218 · 5.4 Single point of control | Gap | 0 | — |
From requirement PDF to audit-ready bundle.
One linear pipeline. No spreadsheets in the middle. No proprietary glue.
Ingest requirements
ReqIF round-trip with Polarion, Jama, codeBeamer, DOORS — or drop a PDF and let the Bedrock extractor produce structured rows.
Decorate tests
@confirms("REQ-014") on pytest or ROBOTICKS_CONFIRMS in gtest. Linkage rides in JUnit user-properties — no proprietary CI markup.
Run on every PR
GitHub App routes the job to the right runner pool — hosted GPU sim, hosted Fargate Spot, or your self-hosted Linux/macOS box.
Ship the evidence
Release tag bundles JUnit + SARIF + ReqIF + MCAP into a hash-chained PDF and ZIP. Verifiable offline. Survives the platform.
The three things robotics V&V actually needs.
Built for the engineer pushing the PR — and the auditor opening the bundle six months later.
Traceability that can't go stale.
Every test maps to a requirement via @confirms. ReqIF round-trips with Polarion, Jama, codeBeamer, DOORS — losslessly.
Hosted, self-hosted, or both.
GitHub App posts a Check Run on every PR. Hosted GPU sim for Gazebo + Webots. Self-hosted Linux/macOS/Windows is free of compute charges.
The bundle the assessor accepts.
JUnit + SARIF + ReqIF + MCAP, hash-chained PDF + ZIP. Verifiable offline. Survives the platform. ISO 26262, IEC 61508, EU MR 2027.
The auditor's shelf, in your CI.
Tier-1 standards across automotive, industrial robotics, medical devices, machinery, and avionics. ReqIF round-trips losslessly with your system-of-record.
Free for OSS. Honest for teams.
Self-hosted compute is always free. You only pay for hosted sim-minutes and standard packs.
- 1 project · 3 users
- 30 sim-minutes / mo
- Public repos
- BYO test results
- 5 projects · 25 users
- 500 sim-minutes / mo
- 1 standard pack · 3 BYO connectors
- Private repos · EU residency
- Unlimited projects + users
- All Tier-1 standard packs
- Air-gapped on-prem deploy
- 24/7 support · SOC 2
EU MR enforcement is January 2027.
Get audit-ready now.
Join the waitlist for early access — or start linking tests today with the open-source SDK.