|
14:00
|
Introduction
-Dr
Enrique Blanco Vinuela
(CERN)
(until 14:10)
|
|
14:00
|
Workshop introduction
- Dr
Enrique Blanco Vinuela
(CERN)
|
|
14:10
|
Technology trends
(until 15:00)
|
|
14:10
|
IEC61499 standard and an industry implementation: 4DIAC
- Dr
Alois Zoitl
(JOHANNES KEPLER University (LINZ-AUSTRIA))
|
|
15:00
|
Institutes presentations
-Dr
Enrique Blanco Vinuela
(CERN)
(until 15:30)
|
|
15:00
|
ELETTRA, Trieste, Italy
-
Massimo Trevi
(Elettra - Sincrotone Trieste)
|
|
15:05
|
CAS - Beijing, China
-
Yongcheng He
(CAS)
|
|
15:10
|
NCBJ - Poland
-
Jaroslaw Szewinski
(NCBJ Swierk)
|
|
15:15
|
SNS (ORNL), Tennessee, USA
-
Karen White
(ORNL)
|
|
15:20
|
ALBA - Barcelona, Spain
-
Jorge Villanueva
(ALBA)
|
|
15:40
|
Coffe break
(until 16:00)
|
|
16:00
|
Upgrades strategies
-
Borja Fernandez Adiego
(CERN)
(until 16:20)
|
|
16:00
|
PLC hardware upgrades: basics concepts
-
Jeronimo Ortola Vidal
(CERN)
|
|
16:20
|
Testing & verification
-
Jeronimo Ortola Vidal
(CERN)
(until 17:00)
|
|
16:20
|
CI/CD techniques for quality assurance
-
Brad Schofield
(CERN)
|
|
16:40
|
Formal verification of PLC programs with PLCVerif
-
Borja Fernandez Adiego
(CERN)
|
|
17:00
|
Closing session
-Dr
Enrique Blanco Vinuela
(CERN)
(until 17:30)
|
