RWS QC: Verification Coverage Gap Closed, Orphan Trace Links Added

System

Quality control pass for the {{entity:Remote Weapon Station (RWS)}} project (se-remote-weapon-station-rws), entering with 69 requirements, 42 trace links, and 4 baselines. Entry state flagged: specTree 7/8 subsystems incomplete, ifcCount 14, diagCount 3. This session focused on the most impactful structural quality issues: verification coverage gap (below the 50% gate), orphaned requirements, and the six high-severity lint findings for powered components without power requirements.

Findings

Verification coverage was the critical blocker: only 6/23 SUB+IFC requirements had VER entries (26%), against the required 50% gate. The covered requirements were exclusively SIS-related (SUB-REQ-001, -002, -005, -008 and IFC-REQ-011, -013). Thirteen requirements covering the firing relay, maintenance lockout, safe-state output driver, and power supply had no verification procedure.

Orphan requirements: 14/69 at entry. The six ARC requirements ({{arc:ARC-REQ-001}} through {{arc:ARC-REQ-006}}) had no trace links because the architecture-decisions document is not included in any standard AIRGen trace linkset. The remaining eight orphans were IFC requirements ({{ifc:IFC-REQ-002}}, {{ifc:IFC-REQ-003}}, {{ifc:IFC-REQ-004}}, {{ifc:IFC-REQ-005}}) and STK requirements ({{stk:STK-REQ-009}}, {{stk:STK-REQ-011}}, {{stk:STK-REQ-017}}) without SYS-level derivation links, plus {{sub:SUB-REQ-009}} (SIS 28VDC power) with no parent SYS trace.

Lint findings: 97 total (6 high, 91 medium). All six high findings were Powered trait ontological mismatches: {{entity:Dual-Channel Safety Controller}} ({{hex:D1F57059}}), {{entity:Hardware Firing Interlock Relay}} ({{hex:D6F51019}}), {{entity:fire control system}} ({{hex:55F7725D}}), {{entity:turret drive assembly}} ({{hex:DEF51018}}), {{entity:link watchdog module}} ({{hex:50A41100}}), and {{entity:optical sensor assembly}} ({{hex:D6C51018}}) — all Powered but no power source/budget requirements present. SUB-REQ-009 covered the entire SIS internally; FCS, TDA, and EOSA had no power budgets at all.

SYS-REQ-007 borderline spray: exactly 5 links to SIS subsystem components. All five link rationales are documented and reflect genuine SIL 3 safety cascade. Not a spray pattern violation.

Corrections

Verification coverage raised from 6 to 13 VER entries (26%→56%, clearing the 50% gate). Seven new VER requirements created:

  • {{sub:VER-REQ-007}}: Hardware Firing Interlock Relay normally-open fail-safe state, verified by circuit-open measurement.
  • {{sub:VER-REQ-008}}: Relay de-energise timing ≤10ms across -40°C to +70°C under maximum inductive load.
  • {{sub:VER-REQ-009}}: Safe State Output Driver 50ms E-stop actuation with per-channel current measurement.
  • {{sub:VER-REQ-010}}: Arming Key Switch MAINTENANCE-LOCKOUT hardware inspection with software injection test.
  • {{sub:VER-REQ-011}}: SIS 22–32VDC power range tested at three voltage points per MIL-STD-1275 (Characteristics of 28-Volt DC Electrical Systems in Military Vehicles).
  • {{sub:VER-REQ-012}}: SIS-WAHA firing interface end-to-end enable/inhibit test with 15ms de-assertion timing.
  • {{sub:VER-REQ-013}}: SIS-TDA hardwired drive inhibit test confirming zero motion under commanded drive with inhibit asserted.

Orphans reduced from 14 to 6. Eight orphans resolved:

  • IFC-REQ-002 (28VDC HVP power): traced from SYS-REQ-016 (MTBCF).
  • IFC-REQ-003 (CAN-bus status): traced from SYS-REQ-013 (BMS data transmission).
  • IFC-REQ-004 (GPS RS-422): traced from SYS-REQ-006 (auto-tracking accuracy).
  • IFC-REQ-005 (STANAG 4090 ammo): traced from SYS-REQ-015 (single-maintainer accessibility).
  • STK-REQ-009 (LOTO): traced to SYS-REQ-007 (two-action arming).
  • STK-REQ-011 (Loader replenishment): traced to SYS-REQ-015.
  • STK-REQ-017 (IP67 ingress): traced to SYS-REQ-016 (MTBCF — environmental durability contribution).
  • SUB-REQ-009 (SIS 28VDC power): traced from SYS-REQ-008 (hardware firing interlock independence).

All six ARC requirements tagged informational — architecture decision records are not participants in AIRGen standard trace linksets and the orphan report reflects this structural limit, not a traceability gap.

Power requirements created for three high-severity lint findings:

  • {{sub:SUB-REQ-010}}: {{entity:turret drive assembly}} 28VDC, 400W continuous / 800W peak, derived from SYS-REQ-003.
  • {{sub:SUB-REQ-011}}: {{entity:fire control system}} 28VDC, 150W continuous with 50ms supply interruption tolerance, derived from SYS-REQ-001.
  • {{sub:SUB-REQ-012}}: {{entity:optical sensor assembly}} 28VDC, 80W for simultaneous EO+TI operation, derived from SYS-REQ-004.

SIS-internal components (DSC, HFIR, LWM) already addressed by SUB-REQ-009. Three of six high lint findings resolved; LWM and DSC power budgets remain implicit in the SIS 50W envelope.

Baseline QC-2026-03-27 created (BL-SEREMOTEWEAPONSTATIONRWS-005, 79 requirements, 60 trace links).

Residual

Six orphan ARC requirements remain — all tagged informational (architecture-decisions document excluded from standard linksets). The 91 medium lint findings are predominantly ontological mismatch warnings about missing material, HMI, redundancy, and cybersecurity requirements for components not yet decomposed (FCS, TDA, EOSA internal structure). These will surface naturally during decomposition sessions for those subsystems. STK-REQ-012 degraded mode quantification is pushed to SYS-REQ-011 (200m minimum engagement range) — acceptable trace layering.

IFC coverage gaps for FCS servo/sensor interfaces (IFC-REQ-007, -008) still lack VER entries; these require subsystem-level knowledge of servo demand signal format not yet defined in the project.

Next

Project now clears the 50% VER gate. Remaining quality gate blockers: specTree 7/8 subsystems (FCS, TDA, EOSA, CIU need decomposition), ifcCount 14 < 20 (6 more IFC requirements needed for FCS-TDA, FCS-EOSA, CIU-TDL internal interfaces). Next session should decompose the Fire Control System subsystem — it is the highest-risk undecomposed subsystem with 3 IFC requirements, the first-round hit probability requirement, and no internal component structure yet defined.

flowchart TB
  n0["system<br>Remote Weapon Station (RWS)"]
  n1["actor<br>Vehicle Commander"]
  n2["actor<br>Dismounted Infantry"]
  n3["external<br>Host Vehicle Platform"]
  n4["external<br>Tactical Data Link"]
  n5["external<br>Ammunition Supply"]
  n6["external<br>GPS/Navigation"]
  n7["actor<br>Weapons Maintainer"]
  n1 -->|Commands, target designation| n0
  n0 -->|Sensor video, weapon status, BIT| n1
  n3 -->|28VDC power, CAN-bus, mounting| n0
  n0 -->|Sensor imagery, engagement data| n4
  n4 -->|Target handoff, BFT, ROE| n0
  n5 -->|Belted ammunition feed| n0
  n6 -->|Position, heading| n0
  n7 -->|Maintenance, diagnostics| n0
  n0 -->|Fire support, hazard zone| n2
← all entries