ASPICE Traceability Gap Analysis Report¶

Generated: 2026-06-05 21:20:35

Summary¶

Total Requirements: 649
Fully Traced (impl + tests): 585 (90.1%)
Missing Implementation: 62
Missing Tests: 2
Missing Spec Links (all): 153
Missing Spec Links (required only): 1

Requirement Categories¶

Category	Total	Implemented	Tested	Spec Linked
Architectural (derived)	7	7 (100%)	7 (100%)	2 (29%)
Error Handling (derived)	151	130 (86%)	149 (99%)	6 (4%)
Message Header	91	86 (95%)	91 (100%)	91 (100%)
Other	61	54 (89%)	61 (100%)	60 (98%)
Plugin (derived)	5	5 (100%)	5 (100%)	3 (60%)
Serialization	75	52 (69%)	75 (100%)	75 (100%)
Service Discovery	170	166 (98%)	170 (100%)	170 (100%)
Transport Layer	29	27 (93%)	29 (100%)	29 (100%)
Transport Protocol	60	60 (100%)	60 (100%)	60 (100%)

Note: Error handling, architectural, and plugin requirements are implementation-derived and may not require direct spec links.

Spec-Derived Requirements: 486
Implementation-Derived Requirements: 163

Priority Breakdown¶

Priority	Total	Implemented	Tested	Coverage
Critical	32	32	32	100%
High	55	55	55	100%
Medium	387	346	387	89%
Low	175	154	173	88%

Test Coverage Breakdown¶

Test Type	Count
Unit Tests	246
Integration Tests	9
System Tests	6

Gaps Requiring Attention¶

Requirements Without Implementation¶

REQ_PLATFORM_LWIP_002
REQ_PLATFORM_ZEPHYR_003
REQ_PLATFORM_ZEPHYR_004
REQ_PLATFORM_WIN32_001
REQ_PLATFORM_WIN32_002
REQ_PLATFORM_WIN32_003
REQ_PLATFORM_WIN32_004
REQ_MSG_132B
REQ_MSG_133A
REQ_MSG_133B
REQ_MSG_135
REQ_MSG_140
REQ_MSG_113_E01
REQ_SD_125
REQ_SD_126
REQ_SD_170
REQ_SD_171
REQ_SD_222_E01
REQ_SD_134_E01
REQ_SD_113_E01
REQ_SER_022_E01
REQ_SER_046_E01
REQ_SER_047_E02
REQ_SER_053_E01
REQ_SER_055_E01
REQ_SER_060
REQ_SER_060_E01
REQ_SER_060_E02
REQ_SER_070
REQ_SER_070_E01
REQ_SER_070_E02
REQ_SER_074
REQ_SER_090
REQ_SER_091
REQ_SER_092
REQ_SER_093
REQ_SER_094A
REQ_SER_094B
REQ_SER_094C
REQ_SER_095
REQ_SER_096
REQ_SER_097
REQ_SER_098
REQ_SER_099
REQ_SER_100
REQ_SER_101
REQ_SER_102
REQ_SER_103
REQ_SER_104
REQ_SER_105
REQ_SER_106
REQ_SER_107
REQ_SER_090_E01
REQ_SER_094_E01
REQ_SER_094_E02
REQ_SER_051_E01
REQ_SER_043_E02
REQ_SER_034_E01
REQ_SER_056_E01
REQ_SER_073_E01
REQ_TRANSPORT_013
REQ_TRANSPORT_015

Requirements Without Test Coverage¶

REQ_PAL_MEM_EXHAUST_E01
REQ_PAL_MEM_THREADSAFE_E01

Implementation Requirements Without Spec Links (Required)¶

These requirements should have spec links but don't:

REQ_PLATFORM_ARCH_001

Implementation-Derived Requirements Without Spec Links (Expected)¶

These are derived requirements (error handling, architectural, plugin) that don't need spec links:

REQ_TP_001_E01
REQ_TP_001_E02
REQ_TP_001_E03
REQ_TP_013_E01
REQ_TP_015_E01
REQ_TP_039_E01
REQ_TP_030_E01
REQ_TP_030_E02
REQ_TP_050_E01
REQ_TP_050_E02
REQ_TP_072_E01
REQ_TP_076_E01
REQ_TP_082_E01
REQ_TP_082_E02
REQ_TP_082_E03
REQ_TP_082_E04
REQ_TP_076_E02
REQ_E2E_PLUGIN_002
REQ_E2E_PLUGIN_003
REQ_PAL_MUTEX_UNLOCK_E01
REQ_PAL_CV_EXCEPT_E01
REQ_PAL_THREAD_CREATE_E01
REQ_PAL_THREAD_DTOR_E01
REQ_PAL_MEM_EXHAUST_E01
REQ_PAL_MEM_THREADSAFE_E01
REQ_PAL_NET_MODE_E01
REQ_ARCH_002
REQ_ARCH_003
REQ_ARCH_004
REQ_ARCH_006
REQ_ARCH_007
REQ_MSG_004_E02
REQ_MSG_012_E01
REQ_MSG_012_E02
REQ_MSG_014_E01
REQ_MSG_014_E02
REQ_MSG_024_E01
REQ_MSG_024_E02
REQ_MSG_032_E01
REQ_MSG_032_E02
REQ_MSG_042_E01
REQ_MSG_063_E01
REQ_MSG_063_E02
REQ_MSG_072_E01
REQ_MSG_071_E02
REQ_MSG_100_E01
REQ_MSG_100_E02
REQ_MSG_100_E03
REQ_MSG_110_E01
REQ_MSG_113_E01
REQ_MSG_114_E01
REQ_MSG_114_E02
REQ_MSG_117_E01
REQ_MSG_118_E01
REQ_MSG_120_E01
REQ_MSG_121_E01
REQ_MSG_123_E01
REQ_MSG_124_E01
REQ_MSG_040_E01
REQ_MSG_020_E01
REQ_MSG_010_E01
REQ_MSG_090_E01
REQ_MSG_125_E01
REQ_MSG_054_E01
REQ_MSG_053_E01
REQ_MSG_121_E02
REQ_SD_001_E01
REQ_SD_010_E01
REQ_SD_021_E01
REQ_SD_022_E01
REQ_SD_020_E01
REQ_SD_020_E02
REQ_SD_041_E01
REQ_SD_040_E01
REQ_SD_052_E01
REQ_SD_050_E01
REQ_SD_061_E01
REQ_SD_062_E01
REQ_SD_060_E01
REQ_SD_064_E01
REQ_SD_075_E01
REQ_SD_001_E02
REQ_SD_120_E01
REQ_SD_119_E01
REQ_SD_222_E01
REQ_SD_116_E01
REQ_SD_115_E01
REQ_SD_115_E02
REQ_SD_134_E01
REQ_SD_030_E01
REQ_SD_080_E01
REQ_SD_070_E01
REQ_SD_010_E02
REQ_SD_060_E02
REQ_SD_044_E01
REQ_SD_083_E01
REQ_SD_113_E01
REQ_SD_116_E02
REQ_SD_123_E01
REQ_SER_001_E01
REQ_SER_002_E01
REQ_SER_003_E01
REQ_SER_004_E01
REQ_SER_005_E01
REQ_SER_006_E01
REQ_SER_007_E01
REQ_SER_008_E01
REQ_SER_020_E01
REQ_SER_022_E01
REQ_SER_030_E01
REQ_SER_031_E01
REQ_SER_032_E01
REQ_SER_033_E01
REQ_SER_040_E01
REQ_SER_043_E01
REQ_SER_046_E01
REQ_SER_047_E01
REQ_SER_047_E02
REQ_SER_053_E01
REQ_SER_050_E01
REQ_SER_050_E02
REQ_SER_055_E01
REQ_SER_060_E01
REQ_SER_060_E02
REQ_SER_070_E01
REQ_SER_070_E02
REQ_SER_090_E01
REQ_SER_094_E01
REQ_SER_094_E02
REQ_SER_051_E01
REQ_SER_043_E02
REQ_SER_042_E01
REQ_SER_080_E01
REQ_SER_010_E01
REQ_SER_034_E01
REQ_SER_056_E01
REQ_SER_040_E02
REQ_SER_073_E01
REQ_SER_080_E02
REQ_TRANSPORT_001_E01
REQ_TRANSPORT_001_E02
REQ_TRANSPORT_002_E01
REQ_TRANSPORT_002_E02
REQ_TRANSPORT_011_E01
REQ_TRANSPORT_014_E01
REQ_TRANSPORT_016_E01
REQ_TRANSPORT_002_E03
REQ_TRANSPORT_001_E03
REQ_TRANSPORT_006_E01
REQ_TRANSPORT_003_E01
REQ_TRANSPORT_002_E04
REQ_TRANSPORT_011_E02

ASPICE Compliance Assessment¶

SWE.1 (Software Requirements Analysis)¶

Status: ⚠️ PARTIAL - Some spec-derived requirements missing links
Details: Spec-derived requirements must satisfy at least one specification requirement
Derived Requirements: 163 implementation-derived requirements do not require spec links

SWE.3 (Software Architectural Design)¶

Status: ❌ FAIL - Missing implementations
Details: All requirements must have corresponding code implementation

SWE.6 (Software Unit Verification)¶

Status: ❌ FAIL - Missing test coverage
Details: All requirements must have corresponding test coverage

Overall Compliance Level¶

Current Level: CL1
Target for Production: CL2 (100% traceability)
Gap to Target: 64 requirements

Recommendations¶

Immediate Actions:
Address requirements without implementation or test coverage
Add missing :satisfies: links to implementation requirements
Process Improvements:
Integrate validate_requirements.py --strict into CI pipeline
Require traceability annotations in code review checklist
Documentation Updates:
Update requirement status fields based on actual implementation state
Generate this report automatically in CI/CD pipeline