- 29tier-1 safety standards covered
- Every PRtested automatically through GitHub Check Runs
- Offlineverifiable, hash-chained evidence for regulators
The challenge
Teams building safety-critical robots, cobots, AMRs, ADAS, surgical systems, eVTOL, have to prove their software meets strict standards. That verification traditionally lives in spreadsheets that drift out of date the moment the code changes, and audits become a scramble.
What we built
A CI platform in three parts: automated test execution on every pull request via GitHub Check Runs; requirements traceability that maps safety requirements to tests with @confirms decorators and ReqIF round-trips into Polarion, Jama and DOORS; and hash-chained Evidence Packs bundling JUnit, SARIF, ReqIF and MCAP data.
Hosted GPU simulation (Gazebo Harmonic, Webots), self-hosted compute, and Python and C++ SDKs round out the platform.
The outcome
Traceability that can’t go stale, offline-verifiable evidence ready for regulators, and coverage across 29 tier-1 safety standards, no spreadsheets required.
- ROS2
- GitHub Check Runs
- Gazebo Harmonic
- Webots
- ReqIF
- Python & C++ SDKs