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

- Formal Methods and Verification (FMV)
- 1
  
  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
- 2
  
  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