Safe Machine Parameters General Machine Timing CrossCheck 9

Safe Machine Parameters General Machine Timing Cross-Check 9 th May 2012 - 0 v 3

SMP 3 v 0 - Introduction CERN Safe Machine Parameters receives accelerator information generates flags & values directly transmitted and / or broadcast injection procedure protection configuration Extraction Interlocks Beam Interlocks Collimation Beam Loss Monitors … *fast *safe *reliable *available CERN = System Safety benjamin. todd@cern. ch SMP @ MPP 2

CERN Directly Transmitted benjamin. todd@cern. ch SMP @ MPP

Extraction Interlocks CERN Super Proton Synchrotron Transfer Lines Beam-1 = TT 60 + TI 2 Beam-2 = TT 40 + TI 8 Large Hadron Collider Extraction Master Beam Interlock Controllers benjamin. todd@cern. ch SMP @ MPP 4

Extraction Interlocks CERN Super Proton Synchrotron benjamin. todd@cern. ch Large Hadron Collider SMP @ MPP 5

Extraction Interlocks CERN three beam transfer conditions: probe set-up nominal Super Proton Synchrotron Large Hadron Collider Directly Transmitted Interlock Signals SPS Machine Parameters benjamin. todd@cern. ch LHC Machine Parameters SMP @ MPP 6

CERN Broadcast benjamin. todd@cern. ch SMP @ MPP

Protection Configuration CERN LHC Machine Parameters Super Proton Synchrotron Broadcast Safe Machine Parameters Large Hadron Collider SPS Machine Parameters benjamin. todd@cern. ch SMP @ MPP 8

CERN Controllers benjamin. todd@cern. ch SMP @ MPP

Two Controllers CERN benjamin. todd@cern. ch SMP @ MPP 10

Safe Machine Parameters General Machine Timing Cross-Check 9 th May 2012 - 0 v 3

Cross-Checking CERN bis-smp-team@cern. ch benjamin. todd@cern. ch SMP@@TE-TM MPP 12

Dangerous Circumstance CERN Safe Machine Parameters Transmission = General Machine Timing Broadcast Set-up Beam Flag stuck TRUE Energy stuck at 450 Ge. V parameters used by machine protection system benjamin. todd@cern. ch SMP @ MPP 13

CERN Cross-Checker Implementation benjamin. todd@cern. ch SMP @ MPP

Cross-Checker (CISC) CERN For each parameter benjamin. todd@cern. ch Record last 10 SMP transmissions Compare with current GMT transmission SMP @ MPP discrepancy = beam abort 15

Cross-Checker (CISC) CERN One second Record last 10 SMP transmissions Compare with current GMT transmission For each parameter discrepancy = beam abort also checks cable presence & parameter reception rate • • GMT can drop a parameter GMT can rearrange parameter transmission order • GMT cannot change payload of parameter now connected to BIS benjamin. todd@cern. ch SMP @ MPP 16

Cross-Checker (CISC) CERN For each parameter benjamin. todd@cern. ch Record last 10 SMP transmissions Compare with current GMT transmission SMP @ MPP discrepancy = beam abort 17

Cross-Checker (CISC) CERN For each parameter benjamin. todd@cern. ch Record last 10 SMP transmissions Compare with current GMT transmission SMP @ MPP discrepancy = beam abort 18

Cross-Checker (CISC) CERN Warnings recorded when: • GMT drops a parameter GMT rearranges parameter transmission order • Automatic observation by CISC Never observed… Interlock raised when: • GMT drops three consecutive parameters • GMT changes payload Interlock through BIS Never observed… benjamin. todd@cern. ch SMP @ MPP 19

Cross-Checker (CISC) CERN Warnings recorded when: • GMT drops a parameter GMT rearranges parameter transmission order • Automatic observation by CISC Never observed… Interlock raised when: • GMT drops three consecutive parameters • GMT changes payload Interlock through BIS Never observed… benjamin. todd@cern. ch SMP @ MPP 20

Cross-Checker (CISC) CERN Does it actually work? SMP hardware project will be closed. SMP software project ongoing. 1) Arm loops… 2) Send single bad energy in timing editor… 3) Observe… • Reactive consolidation / maintenance only New needs = new requests e. g. LS 1 SBF tables • • Pre-op / DIAMON / Post-Op now functional complete logging functional simple format • See J. -C. Garnier up next benjamin. todd@cern. ch SMP @ MPP 21

CERN fin – thank you! benjamin. todd@cern. ch SMP @ MPP