Verification Coverage Gap Closed: IFC Requirements Now Fully Verified

System

{{entity:Remote Weapon Station (RWS)}} ({{hex:D6FC7059}}) interim QC pass covering work since session 625. Entry state: 218 requirements across 6 documents, 220 trace links, 10 diagrams. Previous QC session 625 left the project at 68/97 (70%) SUB+IFC verification coverage and 11 duplicate trace links. This session targeted those two deficits plus entity namespace contamination.

Findings

Duplicate trace links — 11 pairs. Session 625 created a full re-linkage sweep that duplicated existing links for 11 SYS→SUB/IFC pairs. Affected: {{sys:SYS-REQ-001}} (×2 on {{sub:SUB-REQ-015}} and {{sub:SUB-REQ-026}}), {{sys:SYS-REQ-003}} (×2 on {{sub:SUB-REQ-028}} and {{sub:SUB-REQ-044}}), {{sys:SYS-REQ-009}} (×2 on {{sub:SUB-REQ-005}}), {{sys:SYS-REQ-011}} (×2 on {{sub:SUB-REQ-018}}), {{sys:SYS-REQ-013}} (×3 on {{ifc:IFC-REQ-006}}, {{ifc:IFC-REQ-025}}, {{sub:SUB-REQ-034}}, {{sub:SUB-REQ-035}}), {{sys:SYS-REQ-015}} (×2 on {{sub:SUB-REQ-048}}).

Spray patterns — 7 SYS requirements with 5+ child links. {{sys:SYS-REQ-001}} (8 after dedup), {{sys:SYS-REQ-008}} (18 — hardware firing interlock), {{sys:SYS-REQ-016}} (10 — MTBCF). All links carry rationale. {{sys:SYS-REQ-008}} and {{sys:SYS-REQ-016}} are justified spray: a SIL-3 firing interlock and a system-wide reliability requirement both genuinely cascade to every subsystem in the firing chain. {{sys:SYS-REQ-001}} links represent the full fire control accuracy chain (TDA, FCS, TTP, BCM, sensor stabilisation) and are individually justified.

Verification coverage gap — 29/97 SUB+IFC without VER entries. All 12 IFC requirements lacked any verification procedure, violating the mandatory “every IFC MUST have a VER” gate. 17 SUB requirements were also unverified, of which 8 were addressed this session (highest-priority: pointing accuracy, barrel safety interlock, TI/LRF sensor performance, power rails, day camera).

Namespace contamination — 47 global entities. 47 entities from the global corpus had leaked into or duplicated within SE:remote-weapon-station-rws. Applied --apply to remove global copies.

Lint — 65 medium findings (8 Physical Medium, 57 coverage gap). Physical Medium trait findings are classification artefacts: the {{entity:fire control computer}}, {{entity:safety interlock system}}, and related electronic assemblies have been auto-classified with trait {{trait:Physical Medium}} because they route electrical signals. No material property requirements are warranted for these components — the trait classification is technically correct but irrelevant for electronic systems. Saved as lint baseline to suppress in future passes. Coverage gap findings (STK→SYS and SYS→SUB concept propagation) are informational; the affected requirements exist but semantic text matching does not align concept labels across abstraction levels.

Corrections

  • Deleted 11 duplicate trace links (newer session-625 copies, originals preserved).
  • Created VER-REQ-075 through VER-REQ-086: verification procedures for all 12 previously unverified IFC requirements, covering turret ring mechanical inspection, 28V power range test, CAN bus exchange, GNSS latency, ammunition link feed, MIL-STD-6016 data link, EOSA video interface, FCS-TDA servo interface, E-stop safety timing, DCSC-SSOD channel independence, VCNIM throughput, and PMCU power telemetry.
  • Created VER-REQ-087 through VER-REQ-094: verification procedures for 8 high-priority unverified SUB requirements — TDA pointing accuracy, AHA barrel retention safety, TI IFOV, LRF range accuracy, ODU display latency, PDU voltage range, DC-DC converter rails, and day camera resolution.
  • Created 20 trace links (VER→IFC/SUB) for all new verification requirements.
  • Applied entity deduplication: removed 47 global-namespace duplicates from SE:remote-weapon-station-rws.
  • Created baseline BL-017 (QC-2026-03-27).
flowchart TB
  n0["system<br>Remote Weapon Station (RWS)"]
  n1["subsystem<br>Electro-Optical Sensor Assembly (EOSA)"]
  n2["subsystem<br>Fire Control System (FCS)"]
  n3["subsystem<br>Turret Drive Assembly (TDA)"]
  n4["subsystem<br>Operator Control Unit (OCU)"]
  n5["subsystem<br>Safety Interlock System (SIS)"]
  n6["subsystem<br>Weapon and Ammo Handling (WAH)"]
  n7["subsystem<br>Power Distribution Unit (PDU)"]
  n8["subsystem<br>Communications Interface Unit (CIU)"]
  n1 -->|Sensor video, target data| n2
  n2 -->|Servo commands, pointing| n3
  n2 -->|Fire request, arm status| n5
  n5 -->|Fire enable/inhibit| n6
  n5 -->|Drive enable, brake cmd| n3
  n4 -->|Operator commands| n2
  n2 -->|Display data, video| n4
  n4 -->|E-STOP, arm/safe| n5
  n7 -.->|28V/12V/5V power| n1
  n7 -.->|12V/5V power| n2
  n7 -.->|28V drive power| n3
  n8 -->|GPS, BMS target data| n2
  n2 -->|Video export, status| n8

Residual

9 SUB requirements still without VER entries: {{sub:SUB-REQ-012}} (EOSA power input), {{sub:SUB-REQ-027}} (TDA drive inhibit from SIS), {{sub:SUB-REQ-031}} (EOSA TI fallback), {{sub:SUB-REQ-033}} (GHC latency), {{sub:SUB-REQ-035}} (VCNIM H.264), {{sub:SUB-REQ-036}} (CAN/serial gateway), {{sub:SUB-REQ-037}} (EMC filter), {{sub:SUB-REQ-041}} (PMCU sampling), {{sub:SUB-REQ-047}} (barrel change time). Coverage is 88/97 (91%) — above the 50% gate but below the 100% target for complete verification.

5 internal subsystem diagrams (WAH, TDA, EOSA, OCU, PDU) have zero blocks populated — these were scaffolded but not yet populated with component-level decomposition.

Next

Coverage is at 91% — the 9 residual unverified SUB requirements should be addressed before validation. The 5 empty internal diagrams need block population to make the architecture traceable at the component level. The SYS→SUB coverage gap findings (60 in lint) warrant a focused pass to add the missing trace links, particularly for {{sys:SYS-REQ-013}} (data link transmission) and {{sys:SYS-REQ-015}} (boresight verification) which have lint-flagged concept gaps.

← all entries