Joint Electronics Forum, Industrial Controls Forum & RASWG meeting (#4)

Thursday 9 Dec 2021, 09:00 → 10:00 Europe/Zurich

211209_RASWG_minutes.pdf

Formal-Methods-Interest-Group-Contact.pdf

09:00 → 10:00 Formal Methods and Verification (FMV)

09:00 → 09:30 Introduction to formal methods and an Industrial Controls use case

• 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

Speaker: Borja Fernandez Adiego (CERN)

FMV.pdf

FMV.pptx

09:30 → 10:00 A digital electronics design use case and general conclusions

• Digital Electronics design domain (HSE-RP)
- Formal Verification (model checking) of HDL designs
- Semi-formal specification of requirements for HDL designs
• Conclusions

Speakers: Hamza Boukabache (CERN), Katharina Ceesay-Seitz (CERN)

20211209_1629_IntroFormal_DigitalDesigns_HB_KCS_v6.pdf