Joint Electronics Forum, Industrial Controls Forum & RASWG meeting (#4)
Thursday 9 December 2021 -
09:00
Monday 6 December 2021
Tuesday 7 December 2021
Wednesday 8 December 2021
Thursday 9 December 2021
09:00
09:00 - 10:00
Introduction to formal methods and an Industrial Controls use case
-
Borja Fernandez Adiego
(
CERN
)
Introduction to formal methods and an Industrial Controls use case
Borja Fernandez Adiego
(
CERN
)
09:00 - 09:30
• What are/ Where can we apply/ When should we apply formal methods? • Why they are not very popular in certain industries (yet)? • Industrial Controls domain (BE-ICS): - Formal Verification (model checking) of PLC programs - Formal Specification of PLC programs
09:30
A digital electronics design use case and general conclusions
-
Katharina Ceesay-Seitz
(
CERN
)
Hamza Boukabache
(
CERN
)
A digital electronics design use case and general conclusions
Katharina Ceesay-Seitz
(
CERN
)
Hamza Boukabache
(
CERN
)
09:30 - 10:00
• Digital Electronics design domain (HSE-RP) - Formal Verification (model checking) of HDL designs - Semi-formal specification of requirements for HDL designs • Conclusions