Name: Joint Electronics Forum, Industrial Controls Forum & RASWG meeting (#4)
Start: 2021-12-09T09:00:00+01:00
End: 2021-12-09T10:00:00+01:00
Location: No location set

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

Choose timezone