Traceability Check
REQ-0427: Vision Failure Detection <50ms
Live analysis of the traceability chain for an ASIL-D safety requirement. Every edge is verified for bidirectional traceability and consistency.
4/5
Edges Verified
80%
Traceability Score
1
Dangling Link
ASIL-D
Safety Level
Traceability Chain
Requirement • ASIL-D
Vision failure detection <50ms
REQ-SYS-0427
Defined in HARA §4.2
Architecture • ASIL-D
Video Subsystem Architecture
ARCH-003.7.5
traces_from REQ-SYS-0427 ✓ — Bidirectional
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 — but no back-link to the code module!
Test • SIL
Temperature drift SIL test
TEST-VER-234
verifies ISM-145 ✓ • 47 scenarios • Coverage: 100%
Gap Analysis
REQ → ARCH: Bidirectional trace present ✓
ARCH → SWE.3: Design-to-implementation link verified ✓
ISM → TEST: Safety mechanism fully verified (47 scenarios) ✓
ISM-145 → SWE3-SENSOR: Missing back-link. The safety mechanism references the requirement, but no edge exists back to the implementing code module. Bidirectional traceability not satisfied.
ASIL-D Requirement: Only one independent test verifies ISM-145. ISO 26262-6:2018, §9.4 recommends diverse verification via two independent test cases for ASIL-D.
BLOCKED — 2 Findings
REQ-0427 does not satisfy all traceability requirements. ISM-145 is missing a back-link to the code module (bidirectional gap). A second independent test case is recommended for ASIL-D.
Analysis by Graph Grammar Engine • Runtime: 0.4s • 18 nodes traversed