Traceability Check
REQ-0427: Vision Failure Detection <50ms
Live-Analyse einer Traceability-Kette für ein ASIL-D Safety Requirement. Jede Kante wird auf bidirektionale Nachvollziehbarkeit und Konsistenz geprüft.
4/5
Kanten verifiziert
80%
Traceability Score
1
Dangling Link
ASIL-D
Safety Level
Traceability-Kette
Requirement • ASIL-D
Vision failure detection <50ms
REQ-SYS-0427
Definiert in HARA §4.2
Architecture • ASIL-D
Video Subsystem Architecture
ARCH-003.7.5
traced_from REQ-SYS-0427 ✓ — Bidirektional
Code • SWE.3
sensor_monitor.c:145-167 — ISP quality check
SWE3-SENSOR
implements ARCH-003.7.5 ✓
Safety Mechanism • ASIL-D
Runtime calibration check
ISM-145
traced_from REQ-SYS-0427 — aber keine Rückverlinkung zum Code!
Test • SIL
Temperature drift SIL test
TEST-VER-234
verifies ISM-145 ✓ • 47 Szenarien • Coverage: 100%
Gap-Analyse
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-6:2018, §9.4 empfiehlt für ASIL-D diversitäre Verifikation durch zwei unabhängige Testfälle.
BLOCKED — 2 Findings
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.
Analyse durch Graph-Grammatik-Engine • Laufzeit: 0.4s • 18 Knoten traversiert