CERN - ESTEREL

Thursday Jan 21, 2016, 9:00 AM → 3:00 PM Europe/Zurich

864/1-A19 (CERN)

Workshop to exchange technical approaches in both CERN and ESTEREL-ANSYS:

(1) CERN will focus on the methodology to design industrial process control applications (UNICOS) and the way those applications are verified applying formal methods.

(2) ESTEREL-ANSYS: presentation of their technologies and solutions and focus on the CONNEXION project.

9:00 AM → 10:00 AM CERN: Industrial Process Automation

Convener: Dr Enrique Blanco Vinuela (CERN)

9:00 AM Process Control: Methodologies and Tools (UNICOS)

Speaker: Dr Enrique Blanco Vinuela (CERN)

CERN_Automation.pdf

CERN_Automation.pptx

9:20 AM Formal verification applied to process control

Speaker: Borja Fernandez Adiego (CERN)

ICS_ESTEREL_bfernand.pdf

ICS_ESTEREL_bfernand.pptx

9:40 AM Formal specification for UNICOS

Speaker: Daniel Darvas (Budapest University of Technology and Economics (HU))

ddarvas_formalspec_esterel2016_fr.pdf

ddarvas_formalspec_esterel2016_fr.pptx

10:00 AM → 10:30 AM ESTEREL: Industrial Automation Solutions (1)

Convener: Mr Jerome Poujardieu (ESTEREL - ANSYS)

CERN 20.01.2016.pdf

CERN 20.01.2016.pptx

10:30 AM → 10:45 AM Coffee

10:45 AM → 11:45 AM ESTEREL: Industrial Automation Solutions (2)

Convener: Mr Jerome Poujardieu (ESTEREL-ANSYS)

11:45 AM → 12:30 PM CONNEXION: Project presentation

Convener: Mr Jerome Poujardieu (ESTEREL-ANSYS)

12:30 PM → 2:00 PM Lunch

2:00 PM → 3:00 PM Wrap up and possible visit to EDF

Convener: Dr Enrique Blanco Vinuela (CERN)