code wiki / (root) / nx_vessel_faults_test.nx

nx_vessel_faults_test.nx

buildroot/runtime/nx_vessel_faults_test.nx

2097 B47 linesdepth 6pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic vessel
docsdependenciesstructsconstsfunctions

about

nx_vessel_faults_test.nx -- smoke for nx_vessel_faults (H2, fault injection). Proves the device fails SAFE under every injected hardware fault: - NOMINAL regulates to the setpoint band (harness is valid) (1-2) - HEATER-STUCK-ON without the fuse RUNS AWAY past 60 C (fault is real) (3) - HEATER-STUCK-ON with the independent fuse is CONTAINED (4) - SENSOR-STUCK-LOW (controller blind) is still CONTAINED by the fuse (5) - POWER-LOSS never reaches temperature -> batch detectably failed (6) Exit code = failed assertion number; 0 = all pass.

dependencies 6 imports · 0 importers

nx_syscalls.nx nx_ferment_safety.nx nx_ferment_thermal.nx nx_vessel_thermal.nx nx_vessel_io.nx nx_vessel_faults.nx nx_vessel_faults_test.nx

imports: nx_syscalls.nxnx_ferment_safety.nxnx_ferment_thermal.nxnx_vessel_thermal.nxnx_vessel_io.nxnx_vessel_faults.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_ferment_safety_envelope nx_ferment_safety_envelope sys_mmap nx_vessel_thermal_new sys_mmap ↻ sys_mmap ↻ nx_vessel_fault_run nx_ferment_thermal_new sys_mmap ↻ nx_pid_init nx_ferment_thermal_safe_se nx_sensor_new sys_mmap ↻ nx_sensor_update nx_fault_sensor_read nx_ferment_thermal_step nx_pid_update nx_fault_heater_duty nx_thermal_cutoff nx_vessel_thermal_step

structs

none

consts

none

functions

18func main() -> i64
calls 4: nx_ferment_safety_envelope_defaultnx_vessel_thermal_newsys_mmapnx_vessel_fault_run