smp team

74

Upload: khuyen

Post on 20-Jan-2016

37 views

Category:

Documents


0 download

DESCRIPTION

SMP Team. Menu. Introduction. B. Todd. Hardware. M. Kwiatkowski. Testing and Testers. S. Gabourin. Software. I. Romera. User Interface. M. Audrain. Status & Future. I. Romera. SMP 3v0 Introduction. SMP 3v0 - Introduction. afe achine arameters. P. S. M. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: SMP Team
Page 2: SMP Team

SMP @ MPP

4th March - 1v0

Page 3: SMP Team

CERN

[email protected] SMP @ [email protected]

CERN

SMP @ MPP 3

SMP Team

BenjaminTODD

Nikolai TROFIMOV

Maciej KWIATKOWSKI

Stephane GABOURIN

Amanda GARCIA

Maxime AUDRAIN

Ivan ROMERA

BenjaminTODD

Nikolai TROFIMOV

Maciej KWIATKOWSKI

Stephane GABOURIN

Amanda GARCIA

Maxime AUDRAIN

Ivan ROMERA

BenjaminTODD

Nikolai TROFIMOV

Maciej KWIATKOWSKI

Stephane GABOURIN

Amanda GARCIA

Maxime AUDRAIN

Ivan ROMERA

BenjaminTODD

Nikolai TROFIMOV

Maciej KWIATKOWSKI

Stephane GABOURIN

Amanda GARCIA

Maxime AUDRAIN

Ivan ROMERA

SW

BenjaminTODD

Nikolai TROFIMOV

Maciej KWIATKOWSKI

Stephane GABOURIN

Amanda GARCIA

Maxime AUDRAIN

Ivan ROMERA

SW

BenjaminTODD

Nikolai TROFIMOV

Maciej KWIATKOWSKI

Stephane GABOURIN

Amanda GARCIA

Maxime AUDRAIN

Ivan ROMERA

SW

BenjaminTODD

Nikolai TROFIMOV

Maciej KWIATKOWSKI

Stephane GABOURIN

Amanda GARCIA

Maxime AUDRAIN

Ivan ROMERA

SWHW

BenjaminTODD

Nikolai TROFIMOV

Maciej KWIATKOWSKI

Stephane GABOURIN

Amanda GARCIA

Maxime AUDRAIN

Ivan ROMERA

SWHW

BenjaminTODD

Nikolai TROFIMOV

Maciej KWIATKOWSKI

Stephane GABOURIN

Amanda GARCIA

Maxime AUDRAIN

Ivan ROMERA

Page 4: SMP Team

CERN

[email protected] SMP @ MPP 4

Menu

Introduction

Hardware

Testing and Testers

Software

User Interface

B. Todd

M. Kwiatkowski

S. Gabourin

I. Romera

M. Audrain

Status & Future I. Romera

Page 5: SMP Team

CERN

[email protected] SMP @ MPP

SMP 3v0Introduction

Page 6: SMP Team

CERN

[email protected] SMP @ MPP

SMP 3v0 - Introduction

6

*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

Page 7: SMP Team

CERN

[email protected] SMP @ MPP

CERN

[email protected] 7SMP @ MPP

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

Page 8: SMP Team

CERN

[email protected] SMP @ MPP

SPS Parameters

Page 9: SMP Team

CERN

[email protected] SMP @ MPP 9

SPS Probe Beam Flag

SPS Low Intensity Beam Measurement

SPSSMPC

SPS East ExtractionInterlock

Controller

SPS Probe Beam Flag

SPS Probe Beam Flag

SPS West ExtractionInterlock

Controller

PROBE_BEAM_LIMITOPERATOR_PROBE_BEAM_LIMIT

SPS_BCT4_INTENSITY_A

SPS_BCT4_INTENSITY_B

SPS_BCT4_INTENSITY

SPS Beam Current Transformer 4

(BCT 4 / BCT 40S)

Intensity Decoder

1 out of 2

SPS_BCT4_INTENSITY_A

SPS_BCT4_INTENSITY_BSPS_BCT4_INTENSITY

PROBE_BEAM_LIMITOPERATOR_PROBE_BEAM_LIMIT =

=1.4e101.0e11

Fail-Safe = FALSE

Fail-Safe = 1.6777215e15

Page 10: SMP Team

CERN

[email protected] SMP @ MPP 10

SPS Set-up Beam Flag

SPS High Intensity Beam Measurement

SPSSMPC

SPS East ExtractionInterlock

Controller

SPS Set-up Beam Flag

SPS Set-up Beam Flag

SPS West ExtractionInterlock

Controller

SPS GeneralMachineTiming

SPS Transfer Line Interlock

Controller

SPS Transfer Line Interlock

Controller

SPS Transfer Line Interlock

Controller

SPS Transfer Line Interlock

ControllerSETUP_BEAM_LIMIT

SPS_BCT3_INTENSITY_A

SPS_BCT3_INTENSITY_B

SPS Beam Current Transformer 3

(BCT 3 / BCT 30S)

SPS_BCT3_INTENSITY

SPS Setup Beam Flag

Intensity Decoder

1 out of 2

SPS_BCT3_INTENSITY_A

SPS_BCT3_INTENSITY_B

SPS_BCT3_INTENSITY

SETUP_BEAM_LIMIT = 5.0e11

Fail-Safe = FALSE

Fail-Safe = 6.5535e14

Page 11: SMP Team

CERN

[email protected] SMP @ MPP 11

Probe / Setup Timing

FALSE

Energy

Intensity

Flag FALSETRUE or FALSE

– 1s

+ 2s

Page 12: SMP Team

CERN

[email protected] SMP @ MPP 12

SPS Energy Flags

2

2

SPS Beam Energy

Meter Point 4 (BA4)

SPS_BEM4_ENERGY

SPS Beam Energy

Meter Point 6 (BA6)

SPS_BEM6_ENERGY SPSSMPC

SPS West Extraction EXT1_BIC

HiRadMat Cycle Flag

LHC Cycle Flag

SPS East ExtractionEXT2_BIC

LHC Cycle Flag

CNGS Cycle Flag

SPS_MACHINE_ENERGY

E400_LOWER_LIMITE400_UPPER_LIMITE440_LOWER_LIMITE440_UPPER_LIMITE450_LOWER_LIMITE450_UPPER_LIMIT

Energy Decoder1 out of 2

SPS_BEM4_ENERGY

SPS_BEM6_ENERGY

SPS_MACHINE_ENERGY

Fail-Safe = FALSE

Fail-Safe = 524.280 GeV

Page 13: SMP Team

CERN

[email protected] SMP @ MPP 13

SPS Energy Flags

= 397.440 GeV

= 402.600 GeV

= 437.400 GeV

= 442.560 GeV

= 448.440 GeV

= 453.600 GeV

Page 14: SMP Team

CERN

[email protected] SMP @ MPP 14

SPS Energy Flags

= 397.440 GeV

= 402.600 GeV

= 437.400 GeV

= 442.560 GeV

= 448.440 GeV

= 453.600 GeV

Page 15: SMP Team

CERN

[email protected] SMP @ MPP

LHCParameters

Page 16: SMP Team

CERN

[email protected] SMP @ MPP 16

LHC Energy

SoftwareCross Check

SIS

LHC Safe Machine

ParameterController

LHC GeneralMachineTiming

Beam Dump

Injection Kickers

Beam Loss Monitors

LHC_MACHINE_ENERGY

LHC_MACHINE_ENERGY_1ALHC_MACHINE_ENERGY_1B

LHC_MACHINE_ENERGY_2A

LHC_MACHINE_ENERGY_2B

Beam-1 Energy Tracking System

Beam-2 Energy Tracking System

Dipole Currents

Collimation

Radio Frequency

Energy Decoder2 out of 4

LHC_MACHINE_ENERGY_1ALHC_MACHINE_ENERGY_1B

LHC_MACHINE_ENERGY_2A

LHC_MACHINE_ENERGY_2B

LHC_MACHINE_ENERGY

Fail-Safe = 7864.200 GeV

Page 17: SMP Team

CERN

[email protected] SMP @ MPP 17

LHC Intensity

Beam-1 CurrentDCCT A System LHC Safe

MachineParameterController

LHC_INTENSITY_1A

LHC_INTENSITY_2A

LHC_INTENSITY_1B

LHC_INTENSITY_2B

LHC GeneralMachineTiming

LHC_INTENSITY_2LHC_INTENSITY_1

DCCT B SystemBeam-2 Current

Intensity Decoder

2 out of 2

LHC_INTENSITY_1A

LHC_INTENSITY_1BLHC_INTENSITY_8_1

Intensity Decoder

2 out of 2

LHC_INTENSITY_2A

LHC_INTENSITY_2BLHC_INTENSITY_8_2

24-bit values

Divide by 100 LHC_INTENSITY_1

Divide by 100 LHC_INTENSITY_2

16-bit values

Fail-Safe = 1.6777215e15 Fail-Safe = 6.5535e14

Page 18: SMP Team

CERN

[email protected] SMP @ MPP 18

LHC Set-up Beam Flag

LHC Safe Machine

ParameterController

LHC_INTENSITY_2

NORMAL EQUATION

RELAXED EQUATION

VERY RELAXED EQUATION

LHC_SBF_1LHC_SBF_2

LHC GeneralMachineTiming

LHC BeamInterlock

Controller

LHC BeamInterlock

Controller

SPS Transfer Line Interlock

Controller

LHC BeamInterlock

Controller

SPS West ExtractionInterlock

Controller

LHC_SBF_1

LHC_SBF_2

SPS East ExtractionInterlock

Controller

LHC_INTENSITY_1

LHC_SBF_1_FORCE

LHC_MACHINE_ENERGY

LHC_SBF_2_FORCE

ION EQUATION

Page 19: SMP Team

CERN

[email protected] SMP @ MPP 19

LHC Set-up Beam Flag

LHC_MACHINE_ENERGY

Derive Set-up Beam LimitRELAXED_EQUATION

VERY_RELAXED_EQUATIONION_EQUATION

LHC_SBF_LIMIT

Determine Set-up

Beam Flag 2LHC_INTENSITY_2

Determine Set-up

Beam Flag 1

LHC_INTENSITY_1

ACTUAL_LHC_SBF_1

ACTUAL_LHC_SBF_2 Force to False Flag 2

FORCE_SBF_2

Force to False Flag 1

FORCE_SBF_1

LHC_SBF_1

LHC_SBF_2

NORMAL_EQUATIONFail-Safe = FALSE

Page 20: SMP Team

CERN

[email protected] SMP @ MPP 20

LHC Set-up Beam Flag

1E+09

1E+10

1E+11

1E+12

1 1,001 2,002 3,002 4,003 5,004 6,005 7,006

Bea

m In

tens

ity

[p]

Energy [GeV]

VERY RELAXED Equation

RELAXED Equation

NORMAL Equation

ION Equationlimited to 5.0 x1011

FALSE

TRUE

FALSE

TRUE

FALSE

TRUE

FALSE

TRUE

Page 21: SMP Team

CERN

[email protected] SMP @ MPP 22

LHC Beam Presence Flag

TRUE

Beam Position Monitor (BPM)

Beam-1 Position

LHC Safe Machine

ParameterController

LHC_BPF_1ALHC_BPF_1B LHC_BPF_1

LHC_BPF_2

LHC GeneralMachineTiming

Data Interchange

Protocol

Non-Critical Timing Users

Non-Critical DIP Users

LHC_BPF_1CLHC_BPF_1D

Beam Position Monitor (BPM)

LHC_BPF_2ALHC_BPF_2BLHC_BPF_2CLHC_BPF_2D

Fast Beam Current Transformer (FBCT)

Beam-2 Position

Beam-1 Current

Fast Beam Current Transformer (FBCT)

Beam-2 Current

LHC_BPF_2ELHC_BPF_2F

LHC_BPF_1ELHC_BPF_1F

All flags are boolean signals

SPS WestExtraction Interlock

Controller

SPS EastExtraction Interlock

Controller

Page 22: SMP Team

CERN

[email protected] SMP @ MPP 23

LHC Beam Presence Flag

LHC_BPF_1BLHC_BPF_1C

LHC_BPF_1DLHC_BPF_1ELHC_BPF_1F

Beam Presence Decoder

2 out of 3

LHC_BPF_1AFlag Filter

LHC_BPF_1

Identical for beam 2

Beam Presence Decoder

2 out of 3Flag Filter

Fail-Safe = FALSE

Page 23: SMP Team

CERN

[email protected] SMP @ MPP 24

Squeezing Factors

Fail-Safe = 0m

IR1 - Power Converter

IR1 - Power Converter

LHC GMT Collimation

POWER_SETTING_1_AIR1 - Power Converter POWER_SETTING_1_B

POWER_SETTING_1_Z

SQUEEZING_FACTOR_2IR1 - Power Converter

IR1 - Power Converter

POWER_SETTING_2_AIR2 - Power Converter POWER_SETTING_2_B

POWER_SETTING_2_Z

IR1 - Power Converter

IR1 - Power Converter

POWER_SETTING_5_AIR5 - Power Converter POWER_SETTING_5_B

POWER_SETTING_5_Z

IR1 - Power Converter

IR1 - Power Converter

POWER_SETTING_8_AIR8 - Power Converter POWER_SETTING_8_B

POWER_SETTING_8_Z

SoftwareInterlockSystem

SIS

SQUEEZING_FACTOR_1

SQUEEZING_FACTOR_8

SQUEEZING_FACTOR_5

LHC Safe

MachineParameters

SMPCSQUEEZING_FACTOR_2

SQUEEZING_FACTOR_1

SQUEEZING_FACTOR_8

SQUEEZING_FACTOR_5

Page 24: SMP Team

CERN

[email protected] SMP @ MPP 25

Moveable Devices and Stable Beams

PHYSICS_ENERGY_UPPER_LIMITBEAM_MODE

PHYSICS_ENERGY_UPPER

LHC_MACHINE_ENERGY

PHYSICS_ENERGY_LOWER_LIMIT

PHYSICS_ENERGY_LOWER

Determine Energy Physics

Flag

Determine MDI and STB

PHYSICS_ENERGY

MDISTB

BEAM_SQUEEZED_1_UPPER_LIMIT

BEAM_SQUEEZED_1_UPPER

SQUEEZING_FACTOR_1

BEAM_SQUEEZED_1_LOWER_LIMIT

BEAM_SQUEEZED_1_LOWER

Determine Beam

SqueezedIR_1_SQUEEZED

BEAM_SQUEEZED_2_UPPER_LIMIT

BEAM_SQUEEZED_2_UPPER

SQUEEZING_FACTOR_2

BEAM_SQUEEZED_2_LOWER_LIMIT

BEAM_SQUEEZED_2_LOWER

Determine Beam

SqueezedIR_2_SQUEEZED

BEAM_SQUEEZED_5_UPPER_LIMIT

BEAM_SQUEEZED_5_UPPER

SQUEEZING_FACTOR_5

BEAM_SQUEEZED_5_LOWER_LIMIT

BEAM_SQUEEZED_5_LOWER

Determine Beam

SqueezedIR_5_SQUEEZED

BEAM_SQUEEZED_8_UPPER_LIMIT

BEAM_SQUEEZED_8_UPPER

SQUEEZING_FACTOR_8

BEAM_SQUEEZED_8_LOWER_LIMIT

BEAM_SQUEEZED_8_LOWER

Determine Beam

SqueezedIR_8_SQUEEZED

BEAM_SQUEEZED

Page 25: SMP Team

CERN

[email protected] SMP @ MPP 26

Moveable Devices and Stable Beams

PHYSICS_ENERGY_UPPER_LIMITBEAM_MODE

PHYSICS_ENERGY_UPPER

LHC_MACHINE_ENERGY

PHYSICS_ENERGY_LOWER_LIMIT

PHYSICS_ENERGY_LOWER

Determine Energy Physics

Flag

Determine MDI and STB

PHYSICS_ENERGY

MDISTB

BEAM_SQUEEZED_1_UPPER_LIMIT

BEAM_SQUEEZED_1_UPPER

SQUEEZING_FACTOR_1

BEAM_SQUEEZED_1_LOWER_LIMIT

BEAM_SQUEEZED_1_LOWER

Determine Beam

SqueezedIR_1_SQUEEZED

BEAM_SQUEEZED_2_UPPER_LIMIT

BEAM_SQUEEZED_2_UPPER

SQUEEZING_FACTOR_2

BEAM_SQUEEZED_2_LOWER_LIMIT

BEAM_SQUEEZED_2_LOWER

Determine Beam

SqueezedIR_2_SQUEEZED

BEAM_SQUEEZED_5_UPPER_LIMIT

BEAM_SQUEEZED_5_UPPER

SQUEEZING_FACTOR_5

BEAM_SQUEEZED_5_LOWER_LIMIT

BEAM_SQUEEZED_5_LOWER

Determine Beam

SqueezedIR_5_SQUEEZED

BEAM_SQUEEZED_8_UPPER_LIMIT

BEAM_SQUEEZED_8_UPPER

SQUEEZING_FACTOR_8

BEAM_SQUEEZED_8_LOWER_LIMIT

BEAM_SQUEEZED_8_LOWER

Determine Beam

SqueezedIR_8_SQUEEZED

BEAM_SQUEEZED

Operator: <10 GeV window between LIMITs

Page 26: SMP Team

CERN

[email protected] SMP @ MPP 27

Moveable Devices and Stable Beams

PHYSICS_ENERGY_UPPER_LIMITBEAM_MODE

PHYSICS_ENERGY_UPPER

LHC_MACHINE_ENERGY

PHYSICS_ENERGY_LOWER_LIMIT

PHYSICS_ENERGY_LOWER

Determine Energy Physics

Flag

Determine MDI and STB

PHYSICS_ENERGY

MDISTB

BEAM_SQUEEZED_1_UPPER_LIMIT

BEAM_SQUEEZED_1_UPPER

SQUEEZING_FACTOR_1

BEAM_SQUEEZED_1_LOWER_LIMIT

BEAM_SQUEEZED_1_LOWER

Determine Beam

SqueezedIR_1_SQUEEZED

BEAM_SQUEEZED_2_UPPER_LIMIT

BEAM_SQUEEZED_2_UPPER

SQUEEZING_FACTOR_2

BEAM_SQUEEZED_2_LOWER_LIMIT

BEAM_SQUEEZED_2_LOWER

Determine Beam

SqueezedIR_2_SQUEEZED

BEAM_SQUEEZED_5_UPPER_LIMIT

BEAM_SQUEEZED_5_UPPER

SQUEEZING_FACTOR_5

BEAM_SQUEEZED_5_LOWER_LIMIT

BEAM_SQUEEZED_5_LOWER

Determine Beam

SqueezedIR_5_SQUEEZED

BEAM_SQUEEZED_8_UPPER_LIMIT

BEAM_SQUEEZED_8_UPPER

SQUEEZING_FACTOR_8

BEAM_SQUEEZED_8_LOWER_LIMIT

BEAM_SQUEEZED_8_LOWER

Determine Beam

SqueezedIR_8_SQUEEZED

BEAM_SQUEEZED

Page 27: SMP Team

CERN

[email protected] SMP @ MPP 28

Moveable Devices and Stable Beams

PHYSICS_ENERGY_UPPER_LIMITBEAM_MODE

PHYSICS_ENERGY_UPPER

LHC_MACHINE_ENERGY

PHYSICS_ENERGY_LOWER_LIMIT

PHYSICS_ENERGY_LOWER

Determine Energy Physics

Flag

Determine MDI and STB

PHYSICS_ENERGY

MDISTB

BEAM_SQUEEZED_1_UPPER_LIMIT

BEAM_SQUEEZED_1_UPPER

SQUEEZING_FACTOR_1

BEAM_SQUEEZED_1_LOWER_LIMIT

BEAM_SQUEEZED_1_LOWER

Determine Beam

SqueezedIR_1_SQUEEZED

BEAM_SQUEEZED_2_UPPER_LIMIT

BEAM_SQUEEZED_2_UPPER

SQUEEZING_FACTOR_2

BEAM_SQUEEZED_2_LOWER_LIMIT

BEAM_SQUEEZED_2_LOWER

Determine Beam

SqueezedIR_2_SQUEEZED

BEAM_SQUEEZED_5_UPPER_LIMIT

BEAM_SQUEEZED_5_UPPER

SQUEEZING_FACTOR_5

BEAM_SQUEEZED_5_LOWER_LIMIT

BEAM_SQUEEZED_5_LOWER

Determine Beam

SqueezedIR_5_SQUEEZED

BEAM_SQUEEZED_8_UPPER_LIMIT

BEAM_SQUEEZED_8_UPPER

SQUEEZING_FACTOR_8

BEAM_SQUEEZED_8_LOWER_LIMIT

BEAM_SQUEEZED_8_LOWER

Determine Beam

SqueezedIR_8_SQUEEZED

BEAM_SQUEEZED

Operator: <1m window between LIMITs

Page 28: SMP Team

CERN

[email protected] SMP @ MPP 29

Moveable Devices and Stable Beams

PHYSICS_ENERGY_UPPER_LIMITBEAM_MODE

PHYSICS_ENERGY_UPPER

LHC_MACHINE_ENERGY

PHYSICS_ENERGY_LOWER_LIMIT

PHYSICS_ENERGY_LOWER

Determine Energy Physics

Flag

Determine MDI and STB

PHYSICS_ENERGY

MDISTB

BEAM_SQUEEZED_1_UPPER_LIMIT

BEAM_SQUEEZED_1_UPPER

SQUEEZING_FACTOR_1

BEAM_SQUEEZED_1_LOWER_LIMIT

BEAM_SQUEEZED_1_LOWER

Determine Beam

SqueezedIR_1_SQUEEZED

BEAM_SQUEEZED_2_UPPER_LIMIT

BEAM_SQUEEZED_2_UPPER

SQUEEZING_FACTOR_2

BEAM_SQUEEZED_2_LOWER_LIMIT

BEAM_SQUEEZED_2_LOWER

Determine Beam

SqueezedIR_2_SQUEEZED

BEAM_SQUEEZED_5_UPPER_LIMIT

BEAM_SQUEEZED_5_UPPER

SQUEEZING_FACTOR_5

BEAM_SQUEEZED_5_LOWER_LIMIT

BEAM_SQUEEZED_5_LOWER

Determine Beam

SqueezedIR_5_SQUEEZED

BEAM_SQUEEZED_8_UPPER_LIMIT

BEAM_SQUEEZED_8_UPPER

SQUEEZING_FACTOR_8

BEAM_SQUEEZED_8_LOWER_LIMIT

BEAM_SQUEEZED_8_LOWER

Determine Beam

SqueezedIR_8_SQUEEZED

BEAM_SQUEEZED

Page 29: SMP Team

CERN

[email protected] SMP @ MPP 30

Moveable Devices and Stable Beams

PHYSICS_ENERGY_UPPER_LIMITBEAM_MODE

PHYSICS_ENERGY_UPPER

LHC_MACHINE_ENERGY

PHYSICS_ENERGY_LOWER_LIMIT

PHYSICS_ENERGY_LOWER

Determine Energy Physics

Flag

Determine MDI and STB

PHYSICS_ENERGY

MDISTB

BEAM_SQUEEZED_1_UPPER_LIMIT

BEAM_SQUEEZED_1_UPPER

SQUEEZING_FACTOR_1

BEAM_SQUEEZED_1_LOWER_LIMIT

BEAM_SQUEEZED_1_LOWER

Determine Beam

SqueezedIR_1_SQUEEZED

BEAM_SQUEEZED_2_UPPER_LIMIT

BEAM_SQUEEZED_2_UPPER

SQUEEZING_FACTOR_2

BEAM_SQUEEZED_2_LOWER_LIMIT

BEAM_SQUEEZED_2_LOWER

Determine Beam

SqueezedIR_2_SQUEEZED

BEAM_SQUEEZED_5_UPPER_LIMIT

BEAM_SQUEEZED_5_UPPER

SQUEEZING_FACTOR_5

BEAM_SQUEEZED_5_LOWER_LIMIT

BEAM_SQUEEZED_5_LOWER

Determine Beam

SqueezedIR_5_SQUEEZED

BEAM_SQUEEZED_8_UPPER_LIMIT

BEAM_SQUEEZED_8_UPPER

SQUEEZING_FACTOR_8

BEAM_SQUEEZED_8_LOWER_LIMIT

BEAM_SQUEEZED_8_LOWER

Determine Beam

SqueezedIR_8_SQUEEZED

BEAM_SQUEEZED

Page 30: SMP Team

CERN

[email protected] SMP @ MPP

Dependable ElectronicsBasis

Page 31: SMP Team

CERN

[email protected] SMP @ MPP 32

VME Chassis & Generic Circuit - CISX

Receiver – CISR

Generator LHC – CISGL

Generator SPS – CISGS

Arbiter – CISA

or

Page 32: SMP Team

CERN

[email protected] SMP @ MPP 33

VME Chassis & Generic Circuit - CISX

Receiver – CISR

Generator LHC – CISGL

Generator SPS – CISGS

Arbiter – CISA

Monitor FPGA

Control FPGA

VHDL implementationSafety approach?

Page 33: SMP Team

CERN

[email protected] SMP @ MPP

Hardware Dependable Design

Page 34: SMP Team

CERN

[email protected] SMP @ MPP

Design flow

Page 35: SMP Team

CERN

[email protected] SMP @ MPP

Requirements

36

Requirements requested by operators and/or approved by MPP.E.G. Set-up Beam Flag equation

11

7.1

102.5 450

pI

GeV

GeVE

12

7.1

101 450

pI

GeV

GeVE

12

7.1

105 450

pI

GeV

GeVE

13

7.1

101.3 450

pI

GeV

GeVE

normal

relaxed

very relaxed

ion

Page 36: SMP Team

CERN

[email protected] SMP @ MPP

Specification and formalisation

English + diagrams predicate logic

vsEnglish language formal language

Unlike the English, there is only one way to understand formal language.

Page 37: SMP Team

CERN

[email protected] SMP @ MPP

Specification and formalisation

English + diagrams predicate logic

vsEnglish language formal language

Unlike the English, there is only one way to understand formal language.

Page 38: SMP Team

CERN

[email protected] SMP @ MPP

Functional blocks

39

Page 39: SMP Team

CERN

[email protected] SMP @ MPP

Design flow

Page 40: SMP Team

CERN

[email protected] SMP @ MPP

Implementation

VHDL is not a programming language. It is a Hardware Description Language

Must understand expected synthesis result

comments and naming convention important for the code review

Critical code = strictNon-Critical code = engineer has freedom

High % code reuse

Page 41: SMP Team

CERN

[email protected] SMP @ MPP

Design flow

Page 42: SMP Team

CERN

[email protected] SMP @ MPP

Simulation

Unit Under TestBus Functional ModelRegister Transfer Level

Page 43: SMP Team

CERN

[email protected] SMP @ MPP

Simulation

Test-bench = software wrapped around model

Simulation tool can examine code coverage

response should be correct for all stimulus

Page 44: SMP Team

CERN

[email protected] SMP @ MPP

Design flow

Page 45: SMP Team

CERN

[email protected] SMP @ MPP

Hardware tester

DeviceUnder Test

Page 46: SMP Team

CERN

[email protected] SMP @ MPP

Hardware tester

similar to simulation but real hardware

embedded logic analyzers provided by FPGA vendors Chip Scope, SignalTap, …

Hardware response should be correct for each stimulus

Page 47: SMP Team

CERN

[email protected] SMP @ MPP

Hardware tester vs. simulation

Complementary

Software simulation: Hardware tester:

source code tracking

code coverage

real time

real distortions

Page 48: SMP Team

CERN

[email protected] SMP @ MPP

Hardware Dependable Design Summary

Our approach – dependable PLD design goes on top of dependable electronics design

exhaustive source code simulation

full code coverage

hardware testers

formalisation of the specification

split critical – non-critical

reduction to minimum function

code reviews

external reviews

Page 49: SMP Team

CERN

[email protected] SMP @ MPP

System Testing & TestersThe “V” Approach

Page 50: SMP Team

CERN

[email protected] SMP @ MPP

SMP Development: the “V” approach

51

English Specification used for the Tester

Determine Tests needed to verify each function

Developed Independently of Controller

Validation of Controller versus Tester versus English Specification

V

Page 51: SMP Team

CERN

[email protected] SMP @ MPP

What is the SMP Tester?

52

Definition : Ensure the SMP controller works as specified

Roles : Simulates the inputs Analyzes the outputs

Page 52: SMP Team

CERN

[email protected] SMP @ MPP

Functionalities of the SMP tester

53

Page 53: SMP Team

CERN

[email protected] SMP @ MPP

SPS Probe-Beam Flag: Test Protocol

55

Page 54: SMP Team

CERN

[email protected] SMP @ MPP

SPS Probe-Beam Flag: Display Results

56

LabVIEW SubPanel

Excel file

Text File

Page 55: SMP Team

CERN

[email protected] SMP @ MPP

Tester Summary

57

What it does:

- Replaces all elements connected to the SMP

- Tests automatically many input combinations

- Validates the boards for the operation

Page 56: SMP Team

CERN

[email protected] SMP @ MPP

SoftwareFESA – RBAC – MCS – Checks - GUI

Page 57: SMP Team

CERN

[email protected] SMP @ MPP

Introduction

59

FESA class

RBAC protection and MCS

Operational checks

SMP-GUI

Page 58: SMP Team

CERN

[email protected] SMP @ MPP

FESA class

60

FESA class provides access to hardware registers

no complex logic behind, just valid range checks

Different type of access

read-only access for everyone

write access for experts trough dedicated expert properties

write access for critical registers for operation

Page 59: SMP Team

CERN

[email protected] SMP @ MPP

FESA class

61

Page 60: SMP Team

CERN

[email protected] SMP @ MPP

RBAC and MCS configuration

62

SPSProperty Roles Applications Location MCS

ProbeBeamLimit LHC-OP, LHC-EIC, MCS-SMP SEQUENCER X

Property Roles Applications Location MCS

SqueezingFactor LHC-OP, LHC-EIC, MCS-SMP SIS SIS-HOSTS

SqueezingFactorLimits LHC-OP, LHC-EIC, MCS-SMP SEQUENCER X

PhysicsEnergyLimits LHC-OP, LHC-EIC, MCS-SMP SEQUENCER X

BeamMode LHC-OP, LHC-EIC, MCS-SMP SEQUENCER

ForceSetupBeamFlag LHC-OP, LHC-EIC, MCS-SMP SMP-GUI

SetupBeamFlagNormal LHC-OP, LHC-EIC, MCS-SMP SMP-GUI

SetupBeamFlagSpecial SMP-THRESHOLD-EXPERT SMP-GUI

ExpertRegisterSetting SMP-EXPERT SMP-GUI

LHC

Page 61: SMP Team

CERN

[email protected] SMP @ MPP

Operational checks

63

Pre-operational checks to ensure system ready for operationHW consistency vs DB, Test mode to ensure critical paths working to spec…

Page 62: SMP Team

CERN

[email protected] SMP @ MPP

Operational checks

64

DIAMON checks to detect infrastructure issues PS, Timing, Communication problems…

Page 63: SMP Team

CERN

[email protected] SMP @ MPP

Operational checks

65

Post-Mortem for post-operational check sequenceRole played in last dump, Redundancy, Safety for next mission…

Page 64: SMP Team

CERN

[email protected] SMP @ MPP

GUIDemonstration

Page 65: SMP Team

CERN

[email protected] SMP @ MPP

SMP-GUI

67

GUI to monitor status of the systems (SPS and LHC)

Send commands to the controllers

Logged data viewer

Useful tool for diagnostics

Same tool used for Operators and Experts

Page 66: SMP Team

CERN

[email protected] SMP @ MPP

Status &Future Plans

Page 67: SMP Team

CERN

[email protected] SMP @ MPP 69

Q1/2 2011

+ study intensity logic

+ ongoing documentation

+ 10 trivial issues in monitoring and diagnostics

+ beta Pre-Op

+ beta DIAMON

+ beta Post-Mortem

Page 68: SMP Team

CERN

[email protected] SMP @ MPP 70

Q3/4 2011+

+ Cross-checker tester

+ Cross-checking hardware

Page 69: SMP Team

CERN

[email protected] SMP @ MPP 71

Q3/4 2011+

LHC Safe Machine

ParameterController

LHC GeneralMachineTiming

User Systems

Source Systems

LHC Safe Machine

ParameterController

LHC GeneralMachineTiming

User Systems

Source Systems

SoftwareCross Check

SISBoth-Beam SOFTWARE_PERMIT

LHC Safe Machine

ParameterController

LHC GeneralMachineTiming

User Systems

Source Systems

LHC Beam Interlock System

SoftwareCross Check

SISBoth-Beam SOFTWARE_PERMIT

LHC Safe Machine

ParameterController

LHC GeneralMachineTiming

User Systems

Source Systems

LHC Beam Interlock System

SoftwareCross Check

SIS

Beam-1 USER_PERMIT

Beam-2 USER_PERMIT

HardwareCross Check

CISC

Page 70: SMP Team

CERN

[email protected] SMP @ MPP 72

Q3/4 2011+

+ Cross-checker tester

+ Cross-checking hardware

+ VME Transmitter

+ VME Receiver

Page 71: SMP Team

CERN

[email protected] SMP @ MPP 73

Q3/4 2011+

broadcast parameters

SMPCbroadcast

parametersSMPC

Timing Generator

CTG

broadcast parameters

SMPCLaser

TransmitterCTDLT

Timing Generator

CTG

VME SMP Receiver

CISV

Critical UsersSingle Ended Flags / Serial Databroadcast

parametersSMPC

Laser Transmitter

CTDLT

Timing Generator

CTG

VME SMP Receiver

CISV Cable DriverCTDAD

Critical UsersDifferential Flags

Critical UsersSingle Ended Flags / Serial Databroadcast

parametersSMPC

Laser Transmitter

CTDLT

Timing Generator

CTG

Page 72: SMP Team

CERN

[email protected] SMP @ MPP 74

VME SMP Receiver

CISV Cable DriverCTDAD

Critical UsersDifferential Flags

Critical UsersSingle Ended Flags / Serial Databroadcast

parametersSMPC

Laser Transmitter

CTDLT

Timing Generator

CTG

Q3/4 2011+

VME SMP Receiver

CISV Cable DriverCTDAD

Critical UsersDifferential Flags

Critical UsersSingle Ended Flags / Serial Databroadcast

parametersSMPC

Laser Transmitter

CTDLT

Timing Generator

CTG

VME SMP Receiver

CISV Cable DriverCTDAD

Critical UsersDifferential Flags

Critical UsersSingle Ended Flags / Serial Databroadcast

parametersSMPC

Safe Machine Parameter

TransmitterCIST

VME SMP Receiver

CISV Cable DriverCTDAD

Critical UsersDifferential Flags

Critical UsersSingle Ended Flags / Serial Databroadcast

parametersSMPC

Safe Machine Parameter

TransmitterCIST

VME SMP Receiver

CISV Cable DriverCTDAD

Critical UsersDifferential Flags

Critical UsersSingle Ended Flags / Serial Databroadcast

parametersSMPC

Safe Machine Parameter

TransmitterCIST

VME SMP ReceiverCISV

Critical UsersDifferential Flags

Critical UsersSingle Ended Flags / Serial Databroadcast

parametersSMPC

Safe Machine Parameter

TransmitterCIST

VME SMP ReceiverCISV

Critical UsersDifferential Flags

Critical UsersSingle Ended Flags / Serial Databroadcast

parametersSMPC

Safe Machine Parameter

TransmitterCIST

Page 73: SMP Team

CERN

[email protected] SMP @ MPP 75

Q3/4 2011+

+ Cross-checker tester

+ Cross-checking hardware

+ VME Transmitter

+ VME Receiver

+ Pre-Op

+ DIAMON

+ Post-Mortem

Page 74: SMP Team

CERN

[email protected] SMP @ MPP

In Closingfin – thank you!