|
12:00
|
--- Lunch Break ---
|
|
13:30
|
ESS controls infrastructure (Daniel Piso)
|
|
14:00
|
PLC vacuum controls architecture at ESS
-
Francois Paul Bellorini
(CERN)
|
|
14:30
|
Formal verification of industrial control systems
-
Daniel Darvas
(Budapest University of Technology and Economics (HU))
|
|
15:00
|
Alternative technologies for interlocking: HIMA hardwired
-
Tomasz Ladzinski
(CERN)
|
|
15:30
|
--- Coffee Break ---
|
|
16:00
|
Development of redundant and reliable Fast Interlock Controllers using COTS based on IEC 61508 (Luis Fernandes)
|
|
16:30
|
Fast beam interlock system for machine protection at ESS
-
Martinez Angel Monera
Annika Nordt
(European Spallation Source, Lund, Sweden)
|
|
17:00
|
High Performance Computing platform for predictive interlocks using PLCs at ESS
-
Manuel Zaera Sanz
(Universidad de Valencia (ES))
|
|
17:30
|
Close Out and Discussions
-
Markus Zerlauth
(CERN)
|
