Automatic high beams case study

This topic is a supplement to Dezyne YouTube tutorial:

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 automatic high beams system. Video goes through concept, system sketch, requirements and actual implementation. Code generation and deployment will be part of next tutorial.

Source code:
AutomaticLightz.dzn (5.5 KB)
AutoCarLights.pdf (82.7 KB)