safe machine parameters general machine timing cross-check safe machine parameters general machine...
TRANSCRIPT
CERN
[email protected] SMP @ MPP
SMP 3v0 - Introduction
2
*fast *safe *reliable *available
generates flags & values
afe achine arametersS M P
and / or directly transmitted broadcast
receives accelerator information
injection procedure protection configuration
CERN = System Safety
Beam InterlocksCollimation
Beam Loss Monitors …Extraction Interlocks
CERN
[email protected] SMP @ MPP
CERN
[email protected] 4SMP @ MPP
Extraction Interlocks
Transfer LinesBeam-1 = TT60 + TI2Beam-2 = TT40 + TI8
SuperProton
Synchrotron
LargeHadronCollider
Extraction Master Beam Interlock Controllers
CERN
[email protected] SMP @ MPP 5
Extraction Interlocks
SuperProton
Synchrotron
LargeHadronCollider
CERN
[email protected] SMP @ MPP 6
Extraction Interlocks
three beam transfer conditions:
probe
set-up
nominal
SuperProton
Synchrotron
LargeHadronCollider
Safe Machine
ParameterController
Safe Machine
ParameterController
SPS Machine
Parameters
LHC Machine
Parameters
Directly Transmitted Interlock Signals
CERN
[email protected] SMP @ MPP 8
Protection Configuration
SuperProton
Synchrotron
LargeHadronCollider
LHC Machine
Parameters
SPSSafe
MachineParameterController
Broadcast Safe Machine Parameters
SPS Machine
Parameters
LHCSafe
MachineParameterController
CERN
[email protected] SMP @ MPP 10
Two Controllers
SPSSafe
MachineParameterController
SPSSafe
MachineParameterController
SPS GeneralMachineTiming
SPSSafe
MachineParameterController
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
MachineEnergy
SPSSafe
MachineParameterController
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
MachineEnergy
SPSSafe
MachineParameterController
LHC Cycle FlagCNGS Cycle Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle FlagMachineEnergy
SPSSafe
MachineParameterController
DATA RECEIVERBeam Intensity
LHC Cycle FlagCNGS Cycle Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle FlagMachineEnergy
SPSSafe
MachineParameterController
DATA RECEIVERBeam Intensity
LHC Cycle FlagCNGS Cycle Flag
SPS Probe Beam Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle FlagMachineEnergy
SPSSafe
MachineParameterController
DATA RECEIVERBeam Intensity
SPS Set-up Beam Flag
LHC Cycle FlagCNGS Cycle Flag
SPS Probe Beam Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle FlagMachineEnergy
SPSSafe
MachineParameterController
DATA RECEIVERBeam Intensity
SPS Set-up Beam Flag
LHC Cycle FlagCNGS Cycle Flag
SPS Probe Beam Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle Flag
LHCSafe
MachineParameterController
LHC GeneralMachineTiming
MachineEnergy
SPSSafe
MachineParameterController
DATA RECEIVERBeam Intensity
SPS Set-up Beam Flag
LHC Cycle FlagCNGS Cycle Flag
SPS Probe Beam Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle Flag
DATA RECEIVERMachineEnergy LHC
Safe Machine
ParameterController
LHC Machine EnergyLHC GeneralMachineTiming
MachineEnergy
SPSSafe
MachineParameterController
DATA RECEIVERBeam Intensity
SPS Set-up Beam Flag
LHC Cycle FlagCNGS Cycle Flag
SPS Probe Beam Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle Flag
DATA RECEIVERMachineEnergy LHC
Safe Machine
ParameterController
DATA RECEIVERBeam Intensity
LHC Beam Intensity 1LHC Machine Energy
LHC Beam Intensity 2
LHC GeneralMachineTiming
MachineEnergy
SPSSafe
MachineParameterController
DATA RECEIVERBeam Intensity
SPS Set-up Beam Flag
LHC Cycle FlagCNGS Cycle Flag
SPS Probe Beam Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle Flag
DATA RECEIVERMachineEnergy LHC
Safe Machine
ParameterController
DATA RECEIVERBeam Intensity
LHC Set-up Beam Flag 2LHC Set-up Beam Flag 1
LHC Beam Intensity 1LHC Machine Energy
LHC Beam Intensity 2
LHC GeneralMachineTiming
LHC Set-up Beam Flag 2LHC Set-up Beam Flag 1
MachineEnergy
SPSSafe
MachineParameterController
DATA RECEIVERBeam Intensity
SPS Set-up Beam Flag
LHC Cycle FlagCNGS Cycle Flag
SPS Probe Beam Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle Flag
DATA RECEIVERMachineEnergy LHC
Safe Machine
ParameterController
DATA RECEIVERBeam Intensity
LHC Beam Presence Flag 1
LHC Set-up Beam Flag 2LHC Set-up Beam Flag 1
LHC Beam Intensity 1LHC Machine Energy
LHC Beam Intensity 2
DATA RECEIVERBeam Presence
LHC GeneralMachineTiming
LHC Beam Presence Flag 2LHC Beam Presence Flag 1
LHC Set-up Beam Flag 2LHC Set-up Beam Flag 1
LHC Beam Presence Flag 2
MachineEnergy
SPSSafe
MachineParameterController
DATA RECEIVERBeam Intensity
SPS Set-up Beam Flag
LHC Cycle FlagCNGS Cycle Flag
SPS Probe Beam Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle Flag
DATA RECEIVERMachineEnergy LHC
Safe Machine
ParameterController
DATA RECEIVERBeam Intensity
LHC Beam Presence Flag 1
LHC Set-up Beam Flag 2LHC Set-up Beam Flag 1
LHC Beam Intensity 1LHC Machine Energy
LHC Beam Intensity 2
Squeezing Factor 1/2/5/8DATA RECEIVERBeam Presence
Squeezing Factors
LHC GeneralMachineTiming
LHC Beam Presence Flag 2LHC Beam Presence Flag 1
LHC Set-up Beam Flag 2LHC Set-up Beam Flag 1
LHC Beam Presence Flag 2
MachineEnergy
SPSSafe
MachineParameterController
DATA RECEIVERBeam Intensity
SPS Set-up Beam Flag
LHC Cycle FlagCNGS Cycle Flag
SPS Probe Beam Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle Flag
DATA RECEIVERMachineEnergy LHC
Safe Machine
ParameterController
DATA RECEIVERBeam Intensity
Beam Mode
LHC Beam Presence Flag 1
LHC Set-up Beam Flag 2LHC Set-up Beam Flag 1
LHC Beam Intensity 1LHC Machine Energy
LHC Beam Intensity 2Moveable Devices Allowed In
Stable Beams FlagSqueezing Factor 1/2/5/8DATA RECEIVERBeam
Presence
Squeezing Factors
LHC GeneralMachineTiming
LHC Beam Presence Flag 2LHC Beam Presence Flag 1
LHC Set-up Beam Flag 2LHC Set-up Beam Flag 1
LHC Beam Presence Flag 2
MachineEnergy
SPSSafe
MachineParameterController
DATA RECEIVERBeam Intensity
SPS Set-up Beam Flag
LHC Cycle FlagCNGS Cycle Flag
SPS Probe Beam Flag
SPS GeneralMachineTiming
Directly Transmitted
Broadcast
HiRadMat Cycle Flag
CERN
[email protected] SMP @ [email protected]
CERN
SMP @ TE-TM 12
Cross-Checking
LHC Safe Machine
ParameterController
LHC Safe Machine
ParameterController
Source Systems
LHC Safe Machine
ParameterController
LHC GeneralMachineTiming
Source Systems
LHC Safe Machine
ParameterController
LHC GeneralMachineTiming
User Systems
Source Systems
LHC Safe Machine
ParameterController
LHC GeneralMachineTiming
User Systems
Source Systems
SoftwareCross Check
SISSOFTWARE_PERMIT
LHC Safe Machine
ParameterController
LHC GeneralMachineTiming
User Systems
Source Systems
LHC Beam Interlock System
SoftwareCross Check
SISSOFTWARE_PERMIT
LHC Safe Machine
ParameterController
LHC GeneralMachineTiming
User Systems
Source Systems
LHC Beam Interlock System
SoftwareCross Check
SIS
HardwareCross Check
CISC
Beam-1 USER_PERMIT
Beam-2 USER_PERMIT
LHC Safe Machine
ParameterController
LHC GeneralMachineTiming
HardwareCross Check
CISC
LHC Safe Machine
ParameterController
LHC GeneralMachineTiming
HardwareCross Check
CISC
LHC Beam Presence Flag 1 / A / B
LHC Set-up Beam Flag 2 / A / B LHC Set-up Beam Flag 1 / A / B
LHC Beam Intensity 1LHC Machine Energy
LHC Beam Intensity 2Moveable Devices Allowed In
Stable Beams Flag / A / B Squeezing Factor 1 / 2 / 5 / 8
LHC Beam Presence Flag 2 / A / B
CERN
[email protected] SMP @ MPP 13
Dangerous Circumstance
Safe Machine Parameters =Transmission
Set-up Beam Flag stuck TRUE
General Machine TimingBroadcast
Energy stuck at 450 GeV
LHC Beam Presence Flag 1 / A / B
LHC Set-up Beam Flag 2 / A / B LHC Set-up Beam Flag 1 / A / B
LHC Beam Intensity 1LHC Machine Energy
LHC Beam Intensity 2Moveable Devices Allowed In
Stable Beams Flag / A / B Squeezing Factor 1 / 2 / 5 / 8
LHC Beam Presence Flag 2 / A / B
parameters used bymachine protection system
CERN
[email protected] SMP @ MPP 15
Cross-Checker (CISC)
For each parameter Record last 10 SMP transmissionsCompare with current GMT transmission discrepancy = beam abort
SMPSMP
SMP0
SMP1
SMP2
SMP9
SMP
SMP0
SMP1
SMP2
SMP9
10-Deep Shift
Register
SMP
SMP0
SMP1
SMP2
SMP9
10-Deep Shift
Register
GMT
SMP
SMP0
SMP1
SMP2
SMP9
10-Deep Shift
Register
=
=
=
=
GMT
GMT = SMP0
GMT = SMP1
GMT = SMP2
GMT = SMP9
SMP
SMP0
SMP1
SMP2
SMP9
10-Deep Shift
Register
=
=
=
=
GMT
GMT = SMP0
GMT = SMP1
GMT = SMP2
GMT = SMP9
USER_PERMIT
CERN
[email protected] SMP @ MPP 16
Cross-Checker (CISC)
also checks cable presence & parameter reception rate
• GMT can drop a parameter• GMT can rearrange parameter transmission order
• GMT cannot change payload of parameter
For each parameter Record last 10 SMP transmissionsCompare with current GMT transmission discrepancy = beam abort
One second
now connected to BIS
CERN
[email protected] SMP @ MPP 17
Cross-Checker (CISC)
For each parameter Record last 10 SMP transmissionsCompare with current GMT transmission discrepancy = beam abort
CERN
[email protected] SMP @ MPP 18
Cross-Checker (CISC)
For each parameter Record last 10 SMP transmissionsCompare with current GMT transmission discrepancy = beam abort
CERN
[email protected] SMP @ MPP 19
Cross-Checker (CISC)
Never observed…
• GMT drops a parameter• GMT rearranges parameter transmission orderWarnings recorded when:
Interlock raised when:• GMT drops three consecutive parameters
• GMT changes payload
Automatic observation by CISC
Never observed…Interlock through BIS
CERN
[email protected] SMP @ MPP 20
Cross-Checker (CISC)
Never observed…
• GMT drops a parameter• GMT rearranges parameter transmission orderWarnings recorded when:
Interlock raised when:• GMT drops three consecutive parameters
• GMT changes payload
Automatic observation by CISC
Never observed…Interlock through BIS
CERN
[email protected] SMP @ MPP 21
Cross-Checker (CISC)
• Pre-op / DIAMON / Post-Op now functional• complete logging functional simple format
See J.-C. Garnier up next
1) Arm loops…2) Send single bad energy in timing editor…
3) Observe…
• Reactive consolidation / maintenance only• New needs = new requests e.g. LS1 SBF tables
Does it actually work?
SMP hardware project will be closed.
SMP software project ongoing .