Help us make Indico better by taking this survey! Aidez-nous à améliorer Indico en répondant à ce sondage !

 
Focus on:  Hide Contributions
Login

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

→ 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 30m

      • 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 30m

      • 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
Powered by Indico v3.3.5-pre