B3 · Beweis · Gap-Analyse PoC
Sicherheitslücken in Ihrer Maschine —
sichtbar, bevor der Assessor sie findet.
Viprove verbindet Risikobeurteilung, Sicherheitsfunktionen, Schutzeinrichtungen und Prüfungen zu einer nachvollziehbaren Nachweiskette — und zeigt automatisch, wo Verbindungen fehlen. Mit Normstelle, nicht mit Bauchgefühl.
Lücken werden nicht gesucht. Sie leuchten.
Die Beispielkette: fünf Knoten von der HARA bis zum SIL-Test. Klick einen Knoten — das Panel zeigt seine Kanten. ISM-145 fehlt die Rückverlinkung zum Code; das Urteil bleibt BLOCKED, bis die Kante existiert.
▸ Beispieldaten · ASPICE/ISO 26262 · Maschinenbau-Mapping (pideu) im PoC
REQ-0427 erfüllt nicht alle Traceability-Anforderungen. ISM-145 fehlt die Rückverlinkung zum Code (bidirektionale Lücke). Für ASIL-D wird ein zweiter unabhängiger Testfall empfohlen.
Von der Risikobeurteilung bis zur Validierung.
Jede Maschine bringt ihre Dokumentationswelt mit — Viprove verbindet sie zu einer Kette und zeigt automatisch, wo Verbindungen fehlen.
Zum Beispiel: Gefährdung → erforderlicher PLr → Sicherheitsfunktion → Safety-PLC → Sensor & Aktor → Test
Zwei Fundstellen. Eine Lücke. Ein Urteil.
REQ → ARCH: Bidirektionale Trace vorhanden ✓
ARCH → SWE.3: Design-Implementierungs-Link nachgewiesen ✓
ISM → TEST: Safety-Mechanismus vollständig verifiziert (47 Szenarien) ✓
ISM-145 → SWE3-SENSOR: Fehlende Rückverlinkung. Der Safety-Mechanismus referenziert das Requirement, aber keine Kante zum implementierenden Code-Modul. Bidirektionale Traceability nicht gegeben.
ASIL-D-Anforderung: Nur ein unabhängiger Test verifiziert ISM-145. ISO 26262 fordert für ASIL D erhöhte Unabhängigkeit und Diversität der Verifikation (z. B. Back-to-Back-Tests); die nötigen Unabhängigkeitsgrade legt ISO 26262-2 fest.
Beispielprojekt · 13.431 Items
Ohne Graph
Mit Graph
Aus Items werden Kanten.
Liest
Requirements · Tests · Code · Normtexte via Parser + KI-Mapping
Transformiert
Items → Knoten + Kanten · Gap-Regeln je Norm-Ebene
Schreibt zurück
Gap-Ledger · Findings · Urteil · Report
Zum KI-Mapping: Ein LLM schlägt nur Kandidaten-Mappings vor — entscheiden tut die Regel-Engine. Kein LLM im Audit-Evidence-Pfad.
Ehrlicher Stand.
Was der Demo kann — und wo der PoC endet.