Ergebnis Assessor-Sicht · Beispiel
Was der Assessor bekommt
Dies ist ein Auszug aus dem Evidence-Paket der L2-Demo. Er beruht auf demselben Graphen wie die Analyze-Demo, liegt hier aber als versiegelter, prüfbarer Stand vor statt als interaktiver Explorer.
868ac61b…Claim → Evidenz → Status
Fünf Zeilen aus dem Paket: Zwei sind belegt, drei nicht. Die Zeile zu SG-3 zeigt dieselbe Lücke wie Pfad B in der Analyze-Demo.
| Claim | Evidenz | Status | Hinweis |
|---|---|---|---|
| SG-1 Spurhaltung | Testlauf · Trace | belegt | Verknüpfung und Timing sind nachvollziehbar. |
| SG-3 Lenkmoment | Testlauf (grün) | nicht belastbar | Das Safety Goal wurde auf 150 ms verschärft, der Test prüft noch 200 ms. |
| SG-4 Abstand | SYS-Anforderung | offen | Die Software-Verknüpfung fehlt, die Zerlegung ist unvollständig. |
| SG-5 Aktuator | Review | offen | Ein Timing-Nachweis liegt nicht vor. |
| TSR-003 Momentenbegrenzung | Testlauf · Trace | belegt | Die Nachweiskette über den Momentenpfad ist geschlossen. |
Eine Lücke im Detail
Hier sehen Sie dieselbe Lücke zweimal: als Bild aus dem Explorer und als Zeile im Report.
Der Test ist grün und belegt das Safety Goal nicht
Das Safety Goal wurde von 200 ms auf höchstens 150 ms verschärft, der Test wurde nicht angepasst. Er ist weiterhin grün, belegt die aktuelle Anforderung aber nicht. Im Paket steht die Zeile deshalb auf „nicht belastbar“ und nicht auf „bestanden“.
Dieses Paket ist versiegelt. Jede Änderung an den Eingangsdaten führt zu einem anderen Hash und wird so sichtbar.
Demo-Stand Oktober 2026 · kein Zertifikat, keine Freigabe · Hash 868ac61b…
Weiter
Ihr Projekt
Im Reality Check klären wir gemeinsam, ob viprove zu Ihrem Projekt passt.
Reality Check anfragen →Vollständiges Beispielpaket
Das vollständige Evidence-Paket dieser Demo ist in Vorbereitung. Wir schicken es Ihnen gern, sobald es verfügbar ist.
Beispielpaket anfragen →Zweite Instanz: Robotik
Dasselbe Muster mit anderem Normbezug: Performance Level statt ASIL.
Zur Robotik-Demo →