STEP Fusion Power Plant: IFC Verification Coverage and Plasma Control System Decomposition
System
The STEP Fusion Power Plant ({{entity:STEP Fusion Power Plant}}) project inherited 49 requirements from session 506 — STK, SYS, IFC, and ARC documents complete, but zero SUB requirements, zero VER entries, no spec tree, and 5 ARC requirements orphaned without trace links. This session opened decomposition in earnest: built the spec tree, closed the IFC→VER gap, linked the architecture decisions, and executed first-pass decomposition of the {{entity:Plasma Control System}} (SIL-3, highest hazard priority).
Decomposition
The spec tree was established for 8 subsystems, SIL-ordered: {{entity:Plasma Control System}} and {{entity:Tritium Plant}} at SIL-3, {{entity:Superconducting Magnet System}}, {{entity:Cryogenic Plant}}, and {{entity:Vacuum System}} at SIL-2, {{entity:Power Conversion System}} and {{entity:Remote Handling System}} at SIL-1.
The Plasma Control System decomposes into five components: {{entity:Real-Time Plasma Controller}} ({{hex:51F77208}}, dual-redundant RTOS, 1 kHz cycle), {{entity:Disruption Prediction and Mitigation Unit}} ({{hex:51F77218}}, FPGA-based, 5 kHz monitoring), {{entity:Actuator Management System}} ({{hex:51B57B18}}, priority arbitration across NBI/ECRH/ICRH/gas valves/pellet injector), {{entity:Diagnostic Data Acquisition Front-End}} ({{hex:54A55218}}, 40+ channels, 1 kHz, 1 µs timestamped), and {{entity:Plasma Control Supervisor}} (supervisory pulse programming and mode management).
flowchart TB
n3["component - Diagnostic Data Acquisition Front-End"]
n0["component - Real-Time Plasma Controller"]
n1["component - Disruption Prediction and Mitigation Unit"]
n2["component - Actuator Management System"]
n4["component - Plasma Control Supervisor"]
n3 -->|40+ diag signals 1kHz| n0
n0 -->|precursor data| n1
n0 -->|setpoints 1ms| n2
n1 -->|SPI trigger 10ms| n2
n4 -->|pulse plan/mode| n0
System decomposition diagram with all 8 subsystem blocks:
flowchart TB
n0["subsystem - Tokamak Core Assembly"]
n1["subsystem - Superconducting Magnet System"]
n2["subsystem - Cryogenic Plant"]
n3["subsystem - Tritium Plant"]
n4["subsystem - Power Conversion System"]
n5["subsystem - Plasma Control System"]
n6["subsystem - Remote Handling System"]
n7["subsystem - Vacuum System"]
n8["subsystem - Radiation Protection System"]
n0 -->|Magnetic Field| n1
n2 -->|4.5K Cooling| n1
n3 -->|Fuel / Exhaust| n0
n0 -->|Thermal Power| n4
n5 -->|Control Commands| n0
n5 -->|Coil Commands| n1
n7 -->|Vacuum| n0
n6 -->|Maintenance Access| n0
n8 -.->|Shielding| n0
Analysis
The Real-Time Plasma Controller and Disruption Prediction and Mitigation Unit share a closely similar hex classification ({{hex:51F77208}} vs {{hex:51F77218}}), differing only in the {{trait:State-Transforming}} trait. This is ontologically correct: the RTC performs continuous state transformation of plasma equilibrium; the DPM unit is event-driven with a fixed output action, not ongoing state management. The architectural decision in ARC-REQ-003 to separate PCS from the physical plant as a pure signal-processing subsystem is validated by these classifications — both components are {{trait:Functionally Autonomous}}, {{trait:System-integrated}}, and lack {{trait:Physical Object}} traits, consistent with software/firmware implementations.
The dominant lint finding (162 medium severity, Biological/Biomimetic) is a false positive: nuclear fusion systems are classified with self-sustaining and energy-processing traits that the UHT corpus associates with biological systems. Acknowledged and stored in namespace facts.
Requirements
Six SUB requirements created for PCS ({{sub:SUB-REQ-001}} through {{sub:SUB-REQ-006}}): 1 ms deterministic control cycle, disruption detection at 0.99 probability within 10 ms, dual-redundant lockstep controller, DAQ 1 kHz with 1 µs synchronisation, safe state transition on controller fault within 30 s, and runaway electron suppression injection of 10²² atoms within 50 ms. All carry SIL-3 tags, derived from {{sys:SYS-REQ-004}} and {{sys:SYS-REQ-013}}.
Thirteen VER entries now exist: {{ver:VER-REQ-001}} through {{ver:VER-REQ-009}} cover all nine IFC requirements (closing the IFC→VER gap), and {{ver:VER-REQ-010}} through {{ver:VER-REQ-013}} cover the three highest-criticality PCS SUB requirements plus an end-to-end integration test for the SIL-3 disruption chain. Trace linksets: IFC→VER (9), SUB→VER (3), SYS→VER (1), SYS→SUB (6), ARC→SYS (8). Total: 57 trace links across 68 requirements.
Next
Three PCS SUB requirements remain without VER entries ({{sub:SUB-REQ-003}} redundancy switchover, {{sub:SUB-REQ-004}} DAQ bandwidth, {{sub:SUB-REQ-006}} runaway electron injection). Internal IFC requirements between PCS components (DDA-to-RTC timing, RTC-to-AMS command protocol) need to be written. After PCS completes, priority order is Tritium Plant (SIL-3, H-002 tritium release hazard), then Tokamak Core Assembly (SIL-3, H-001/H-006), then SIL-2 subsystems.