ICALEPCS 2017 Workshop: PLC based control systems

Saturday 7 October 2017 - 09:00
Barcelona (Spain)

        : Sessions
    /     : Talks
        : Breaks
7 Oct 2017
AM
09:20 Welcome.  
09:30
Introduction -Dr Enrique Blanco Vinuela (CERN) (until 09:40)
09:40
Presentation of Institutes -Dr Enrique Blanco Vinuela (CERN) (until 11:00)
09:40 Budker Institute of Nuclear Physics, Russian Federation - Pavel Cheblakov  
09:45 CERN, Switzerland - Enrique Blanco  
09:50 DESY, Germany - Falko Peters  
09:55 Diamond Light Source, UK - Brian Nuttler  
10:00 ELI-Alps, Hungary - Lajos Schrettner  
10:05 Facility for Rare Isotope Beams, USA - Kelly Davidson  
10:10 HZDR, Germany - Matthias Justus  
10:15 Sesame, Jordania - Ibrahim Saleh  
10:20 SLAC, USA - Kevin Mattison  
10:25 SOLEIL, France - Patrick Rommeluere  
10:30 STFC Daresbury Laboratory - Adrian Oates Adrian Oates  
10:35 XFEL, Germany - Valerii Vondar  
10:40 PROCON, Spain - Daniel Marchante  
10:45 Scientifica International S.L.U., Spain - Juan Reyes  
11:00 --- Coffee break ---
11:30
Specifications - Jeronimo Ortola Vidal (CERN) (until 12:15)
11:30 Graphical representation to describe safety logic - Patrick Rommeluere (SOLEIL, France)  
PM
12:15
Project development - Borja Fernandez Adiego (CERN) (until 13:15)
12:15 Object-based development - Patrick Rommeluere (SOLEIL, France)  
12:30 UNICOS: A framework for industrial control applications - Dr Enrique Blanco Vinuela (CERN)  
13:15 --- Lunch ---
14:30
Testing & verification -Dr Enrique Blanco Vinuela (CERN) (until 15:30)
14:30 FRIB PLC Testing and Verification process - Kelly Davidson (FRIB, USA)  
14:45 Formal Verification applied to PLC programs - Borja Fernandez Adiego (CERN)  
15:30
Application management - Borja Fernandez Adiego (CERN) (until 16:00)
15:30 Versioning: VersionDog use case - Jeronimo Ortola Vidal (CERN)  
16:00 --- Coffee break ---
16:30
Closing session (until 17:30)