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, December 9, 2021 - 9:00 AM

Monday, December 6, 2021
Tuesday, December 7, 2021
Wednesday, December 8, 2021
Thursday, December 9, 2021

9:00 AM

9:00 AM - 10:00 AM
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)
9:00 AM - 9:30 AM
• 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
9:30 AM 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)
9:30 AM - 10:00 AM
• Digital Electronics design domain (HSE-RP) - Formal Verification (model checking) of HDL designs - Semi-formal specification of requirements for HDL designs • Conclusions

Share this page

Direct link

Social networks

Calendaring