Skip to content
VIPROVE
DE EN
Early Access

A deterministic assessment layer for safety evidence.

Viprove reads your safety artifacts from existing tools, connects them in a graph and checks evidence reproducibly. No AI gut feeling. No toolchain migration.

Request a Reality Check → See the proofs ↓
Orientation

What would you like to know?

How does it work? Pipeline Method
What is proven? Live proofs
What actually works today? Honest status
Does it work with my data? Reality Check
The product

One pipeline. Three stages. One proof.

Requirements, mechanisms, scenarios and tests already live in your tools. Viprove connects them in the graph and runs them through the same pipeline — same input, same output, every audit.

One run, played through on the Falke plant example (robotics)

STUFE 01 VISUALIZE Create the digital twin Hall 2 becomes a digital twin: robot, safety zone, geometry. Measuring is part of it — the outcome is a runnable 3D scene. DIGITAL TWIN · 3D DEMO STUFE 02 EXECUTE SIL on the host — hybrid with HIL where needed The SIL test runs on the host: the arm approaches the safety zone and stops. Where software behaviour alone cannot fully reflect reality, HIL tests on real hardware join in — within the same proof. SIL ON HOST · HIL HYBRID STUFE 03 ANALYZE Evaluation: gap analysis & test report The evaluation checks the run against ISO 13855: gaps become findings, the test report is sealed in the log — repeatable in every audit. GAP ANALYSIS · TEST REPORT · SEALED

Same pipeline, different domain: Automotive (scenario → SIL/HIL hybrid → mechanism proof) · Machinery (risk assessment → chain → findings report).

Proof running As of 2026-07-30

Three domains, three test rigs.

Running live in the browser — not a rendering promise, an instrument.

Robotics · ISO 13849 · ISO 13855:2024 Falke plant An arm moves toward the safety zone — and stops before reaching it. SSM on a real SIL stack, sealed protocol. To the live demo → Automotive · Euro NCAP AEB pedestrian ADAS test rig 50 km/h, distracted driver, VRU target crosses: FCW warns, AEB brakes before the collision. Speed matrix 20–60 km/h, night mode. To the live demo → Rail · EN 50126 · 50128 · 50129 RAIL platform monitoring Fall onto the track, luggage in the clearance profile, crowd drift: radar detection at 20 Hz, reaction levels L0–L4 up to emergency braking. To the live demo →
To the four proofs →
Results from a PoC · machinery · ISO 13849
13,431 items in the graph — analyse instead of search
0.6 % → 38.6 % traceability after one run
weeks → hours audit preparation
13,347 → 28 orphaned artifacts

Deterministically reproducible — same graph state, same results.

Tools on the graph

What builds on the pipeline.

Every tool works on the same graph — evidence instead of sampling.

ASPICE SWE.4 Unit test generation Unit test cases from the Clang AST and linked requirements — traceable into the ALM. In progress
ASPICE SWE.5 Integration test generation Integration tests from the LLVM call graph — sequenced along real call paths. In progress
MBSE Architecture validation Check architecture models against requirements and mechanisms — round trip with the graph. PoC
NORM MAPPING Gap analysis & release gating Gaps with standard references, release only on a complete chain — see proofs B3 and B4. PoC

Status honest as everywhere: "In progress" and "PoC" are the actual state — not a finished catalog.

Honest status.

What runs today — and what comes next.

Ready today Three live test rigs · robotics with DistanceCalc, NormGraph and sealed log · GraphDemo with release gating.
In integration Automotive twin and machinery gap analysis — the pilot on real project data starts now.
Next mile Robotics measurement campaign with a real sensor · primary-source check ISO 13855:2024.
The path to Viprove

Three steps. You decide how far you go.

STEP 01

Reality Check

2 weeks, your data, concrete findings with standard references.

Available now Request →
STEP 02

Pilot

One project, one standard, real integration into your toolchain.

In progress
STEP 03

Platform

The engine in your house: on-prem or air-gapped.

Target state

Let's talk about your evidence.

30 minutes, no pitch: we show the graph on a slice of your project.

Request a Reality Check →