Für sicherheitskritisches Engineering · ISO 26262 · SOTIF · Automotive SPICE · Maschinen- und Robotersicherheit
Wissen, was nachgewiesen ist. Wissen, was fehlt. Wissen, wann sich das ändert.
viprove dockt an Polarion, Jama und Ihr Code-Repository an, verbindet jede Sicherheitsbehauptung mit ihrem Beleg und prüft jede Kante mit festen Regeln. Der Zwilling ist die simulierte Anlage.
Live in Pilotprojekten: Gap-Analyse, Polarion- und Jama-Dock. PoC / Demo: Siegel, Drift-Erkennung, Release-Gate, Testerzeugung.
Die Architektur
viprove dockt an die Werkzeuge an, die Sie bereits betreiben, und ersetzt nichts. Drei Anwendungen lesen und schreiben denselben Graphen aus Behauptungen, Kanten und Belegen. Jede Anwendung deklariert, wie deterministisch sie ist und wie weit sie heute reicht.
livePoC/DemohybridVision
Zeigt, ob der Prozessnachweis vollständig ist. Im Automotive-Lauf prüft PROVE nach Automotive SPICE, ob das Arbeitsprodukt an der Anforderung hängt und die Kante nach einer Änderung noch trägt.
Schließt Lücken: leitet fehlende Arbeitsprodukte ab und erzeugt Tests. Was entsteht, bleibt mit Anforderung und Beleg verknüpft.
Zeigt, ob der Safety-Nachweis noch gilt. Dieselbe Kante wird gegen ISO 26262, ASIL und das Risiko gelesen. Ein vollständiger Prozessnachweis trägt das Safety Goal noch nicht. Das ersetzt keine unabhängige Sicherheitsbewertung.
Reife gilt je Funktion und je Dock, nicht pauschal für viprove.
| Gap-Analyse (Analyze) | live |
| Polarion-, Jama- und Git-Dock | live |
| Siegel, Drift-Erkennung, Release-Gate | Demo |
| Testerzeugung SWE.4/5 (SOLVE) | PoC/Demo |
| Robotik-Zwilling, SIL, Roboter-Wahrnehmung | Demo |
| Sicherer Monitor, HIL | Vision |
Beweis 1 · Die Workbench
Die Workbench öffnet dort, wo der Nachweis fehlt — fehlende Kanten zuerst, keine Übersicht. Drei Muster aus dem versiegelten L2-ADAS-Demolauf:
Beweis 2 · Raum und Graph
Die Gap-Analyse liest die simulierte Roboter-Anlage gegen ISO 10218-2, ISO 13849-1/-2 und ISO 13855. Am meisten schmerzen die 10 Integritäts-Befunde: Sicherheitsfunktionen mit PL-d- oder SIL-2-Forderung, implementiert auf der Performance-Schicht — ohne sicheren Monitor.
Versiegeltes Paket · PoC/Demo
Muster B, lesbar
Das Safety Goal SG-3 verlangt eine Reaktion unter 150 Millisekunden. Der zugehörige Test akzeptiert inzwischen 200 Millisekunden.
Der Test läuft weiter grün durch. Trotzdem trägt sein Ergebnis die Anforderung nicht mehr. Genau diese Kante muss eine Nachweiskette sichtbar machen.
Ergebnis: Die Kante zwischen Anforderung und Test muss überprüft werden. Der Befund ersetzt keine fachliche Bewertung oder Freigabe.
PoC/Demo Synthetischer L2-ADAS-Demolauf, SG-3
Die Arbeitsweise
Kein Austausch der Toolchain als Voraussetzung. Der Einstieg erfolgt auf einem klar abgegrenzten Ausschnitt eines realen Engineering-Projekts.
viprove dockt über REST-API, XML-Dateien oder das Repository an. Anforderungen, Architektur und Tests bleiben in Ihren Werkzeugen.
Jede Kante zwischen Behauptung und Beleg wird mit festen Regeln geprüft: trägt, fehlt oder verfallen.
Sichtbar wird, welcher Beleg betroffen ist, welche Regel greift und wo eine Prüfung beginnen sollte, bevor es das Assessment tut.
viprove evaluiert gegen Rahmenwerke wie SOTIF und findet Lücken — es erzeugt keine SOTIF-Konformität.
Der nächste Schritt
Wo Anforderungen, Risiken und Tests dieselbe Wirklichkeit teilen.
Wir fahren die Gap-Analyse auf einem Ausschnitt Ihres eigenen Projekts und zeigen Ihnen die fehlenden Kanten, mit den Regeln, die sie gefunden haben. Pilotkunden arbeiten unter NDA und bleiben unbenannt.
viprove unterstützt die technische Nachweisführung. Fachliche Bewertung, Sicherheitsverantwortung und formale Zertifizierung bleiben bei den zuständigen Stellen.
The architecture
viprove docks onto the tools you already run and replaces nothing. Three applications read and write the same graph of claims, links and evidence. Every application declares how deterministic it is and how far it reaches today.
livePoC/DemohybridVision
Shows whether the process evidence is complete. In the automotive run, PROVE checks against Automotive SPICE whether the work product is linked to its requirement and the link still holds after a change.
Closes gaps: derives missing work products and generates tests. Whatever it produces stays linked to its requirement and evidence.
Shows whether the safety evidence still holds. The same link is read against ISO 26262, ASIL and the risk. A complete process link does not yet carry the safety goal. This does not replace an independent safety assessment.
Maturity applies per function and per dock, not to viprove as a whole.
| Gap analysis (Analyze) | live |
| Polarion, Jama and Git docks | live |
| Seal, drift detection, release gate | Demo |
| Test generation SWE.4/5 (SOLVE) | PoC/Demo |
| Robotics twin, SIL, robot perception | Demo |
| Safe monitor, HIL | Vision |
Proof 1 · The workbench
The workbench opens on what is not proven — missing edges first, not an overview. Three patterns from the sealed L2-ADAS demo run:
Proof 2 · Room and graph
The gap analysis reads the simulated robot plant against ISO 10218-2, ISO 13849-1/-2 and ISO 13855. The 10 integrity findings hurt most: safety functions demanded at PL d or SIL 2, implemented on the performance layer — without a safe monitor.
Sealed package · PoC/Demo
Pattern B, readable
Safety goal SG-3 demands a reaction under 150 milliseconds. The linked test now accepts 200 milliseconds.
The test still passes green. Yet its result no longer carries the requirement. This is exactly the link an evidence chain has to make visible.
Result: The link between requirement and test has to be reviewed. The finding does not replace engineering judgement or release.
PoC/Demo Synthetic L2-ADAS demo run, SG-3
How it works
No toolchain replacement required. You start on a clearly scoped slice of a real engineering project.
viprove docks on through a REST API, XML files or the repository. Requirements, architecture and tests stay in your tools.
Every link between claim and evidence is checked with explicit rules: holds, missing or decayed.
You see which evidence is affected, which rule fires and where a review should start, long before the assessment does.
viprove evaluates and finds gaps against frameworks such as SOTIF — it does not generate SOTIF compliance.
The next step
Where requirements, risks and tests share one reality.
We run the gap analysis on a slice of your own project and show you the missing links, with the rules that found them. Pilot customers work under NDA and stay unnamed.
viprove supports technical evidence work. Engineering judgement, safety responsibility and formal certification stay with the responsible parties.
