The goal of this Dezyne modelling example is to create a control component and related interface models for an electric “up and over” automatic garage door. The exercise focuses primarily on modelling the control logic of the door. I have provided two versions of the example models. The first is a fully verified, working set of design models. The second is a set of models which include some of the original errors that I made when building the models. One quick way to learn about Dezyne would be to play with the buggy version of the models and see if you can figure out the various problems. Otherwise see if you can create your own design to fulfil the requirements below.