Reversed traces, uncovered SUB verifications, and four requirement text fixes for the EDG
System
Requirements engineering review for {{entity:Emergency Diesel Generator for a UK Nuclear Licensed Site}} ({{entity:se-edg-uk-nuclear}}). Entered session at 112 requirements, 108 trace links, 8 baselines. Exit state: 116 requirements, 115 trace links, baseline BL-SEEDGUKNUCLEAR-009.
Quality Improvements
Four requirements held qaScore 71 on entry. The common failures were ambiguous terms (“sufficient”, “fast”, “can”) and texts exceeding the 35-word hard cap.
- {{ifc:IFC-REQ-011}}: “sufficient cranking torque” removed; rewritten as a direct quantified action (25–30 bar, 120 rpm, 1.5 s, -10°C) within 34 words. Score 71 → 100.
- {{sub:SUB-REQ-011}}: “sufficient for 7 days” removed; inventory stated as 7,000 litres sustaining 7-day rated-load operation, CIMAC Class DM retained. Score 71 → 100.
- {{sys:SYS-REQ-011}}: forbidden modal “can” removed; rewritten as SHALL with explicit fire barrier and suppression path preserving alternate train. Score 71 → 100.
- {{sys:SYS-REQ-013}}: “fast-start” flag dropped (ambiguous term “fast”); rewritten as SHALL with enumerated test actions (LOOP simulation, 2-hour 75% run, automated recording). Score 71 → 100.
All four tagged reqs-eng-session-583.
Traceability
Reversed links fixed: airgen trace validate --fix corrected 12 reversed verifies links. These were all of the form SUB/IFC-REQ-xxx → VER-REQ-xxx where the arrow should flow VER → target. Affected pairs include {{sub:SUB-REQ-007}} / {{sub:SUB-REQ-011}} / {{sub:SUB-REQ-014}} / {{sub:SUB-REQ-019}} / {{sub:SUB-REQ-020}} / {{sub:SUB-REQ-023}} and {{ifc:IFC-REQ-003}} / {{ifc:IFC-REQ-005}} / {{ifc:IFC-REQ-006}} / {{ifc:IFC-REQ-007}} / {{ifc:IFC-REQ-014}} / {{ifc:IFC-REQ-015}}. All 108 prior links had empty rationale.
STK→SYS rationale added (7 links): The most architecturally significant links now carry rationale explaining the genuine derivation:
- {{stk:STK-REQ-001}} → {{sys:SYS-REQ-001}}: operator display need drives 10-second start performance specification
- {{stk:STK-REQ-012}} → {{sys:SYS-REQ-004}}: stakeholder 0.975 reliability target flows directly into system probabilistic criterion
- {{stk:STK-REQ-016}} → {{sys:SYS-REQ-009}}: site 0.2g DBE operability requirement drives IEEE 344 seismic qualification
- {{stk:STK-REQ-015}} → {{sys:SYS-REQ-010}}: failure prevention need drives hardwired overspeed and over-temperature trip specification
- {{stk:STK-REQ-011}} → {{sys:SYS-REQ-003}}: deterministic safety case need drives load sequencer specification
- {{stk:STK-REQ-010}} → {{sys:SYS-REQ-012}}: ONR SAP EDG-2 separation requirement drives network isolation boundary
- {{stk:STK-REQ-005}} → {{sys:SYS-REQ-008}}: SBO procedure support need drives 7-day autonomous fuel inventory
New VER→SUB links (3 existing VER reqs linked to uncovered SUBs):
- {{ifc:IFC-REQ-011}} / {{sub:SUB-REQ-012}} / {{sub:SUB-REQ-013}} / {{sub:SUB-REQ-015}}: linked to VER-REQ-002, VER-REQ-011, VER-REQ-005 respectively with rationale confirming genuine coverage
Gap identified — residual: {{sys:SYS-REQ-011}} (fire detection/suppression building requirement) has no SUB child requirement. Fire suppression is a civil/site infrastructure system not decomposed into the EDG subsystem tree; this gap requires an architectural decision on whether to create a Building Services subsystem or treat fire suppression as a site-level interface.
Measures of Performance
MoP requirements reviewed: 23 (all quantified thresholds across STK, SYS, SUB, IFC).
Rationale citations improved on the four new VER requirements:
- REQ-SEEDGUKNUCLEAR-047 (GCB close-time test): MoP basis added — IEC 62271-100 (High-voltage alternating-current circuit-breakers) Class C2 mechanical operating time envelope for 6.6 kV vacuum circuit-breakers justifies the 100 ms threshold.
- REQ-SEEDGUKNUCLEAR-049 (generator trip test): MoP basis added — IEC 60255-151 (Measuring relays and protection equipment) ±5% timing tolerance and generator manufacturer demagnetisation time constant (100–300 ms) justify the 60 ms/200 ms thresholds.
Existing MoP rationale quality: adequate — IEC 60780, ONR SAP EKP.4, IEEE 344, IEC 60255 are cited across the safety-critical subsystem and interface requirements. No further updates were warranted within the session budget.
Diagrams
Diesel Engine Assembly internal decomposition:
flowchart TB
n0["component - Diesel Engine Block and Crankcase"]
n1["component - Diesel Fuel Injection System"]
n2["component - Diesel Engine Turbocharger"]
n3["component - Engine Governor and Speed Control Unit"]
n4["component - Engine Protection Relay Package"]
n5["component - Engine Exhaust System"]
n6["component - Crankshaft and Flexible Shaft Coupling"]
n1 -->|Metered high-pressure fuel| n0
n2 -->|Charged combustion air| n0
n0 -->|Exhaust gas to turbine| n2
n0 -->|Post-turbine exhaust gases| n5
n3 -->|Fuel rack position signal| n0
n0 -->|Engine speed feedback| n3
n4 -->|Protective trip signal| n0
n0 -->|Reciprocating to rotary torque| n6
Statistics
- Requirements: 112 → 116 (4 new VER reqs created)
- Trace links: 108 → 115 (+7 new links)
- Average qaScore before: 92 (4 reqs at 71); after: all scored reqs ≥ 80, 4 previously 71 now 100
- Reversed trace links fixed: 12
- Orphan requirements: 0 (no change)
- Traceability — STK: 100%, SYS: 100%, SUB: 17/28 VER-covered → 21/28 (+4), IFC: 18/18
- New baseline: BL-SEEDGUKNUCLEAR-009 (REQS-ENG-2026-03-26)
Next
Four SUB requirements remain without VER coverage: {{sub:SUB-REQ-016}} (Starting Air Compressor recharge time), {{sub:SUB-REQ-017}} (Moisture Separator dewpoint), {{sub:SUB-REQ-018}} (Pressure Monitoring alarm path), and {{sub:SUB-REQ-022}} (Plant Communication Gateway data diode). The {{sys:SYS-REQ-011}} → SUB traceability gap (fire suppression building requirement) requires an architectural decision before VER coverage can be completed. Remaining 101 trace links (all linksets except the 7 updated) still carry empty rationale — a full rationale pass would require a dedicated session.