Tutorial: Car automatic high beams - executable case study

Scope of this video is to explain Dezyne basics and show how verification actively helps to develop bug-free code. This tutorial presents how we can use Dezyne to model an automatic high beams system. The video goes through the concept, system sketch, requirements and actual implementation. Code generation and deployment will be part of the next tutorial. The inspiration comes from a Toyota video showcasing their automatic light system:

Contact us: https://www.verum.com/Contact/

Download free trial: https://download.verum.com

Dezyne developers site: https://dezyne.org/

Source code: https://forum.verum.com/