As a helper to sustain these guidelines we will load an example project n Dezyne. Examples can be loaded via File → New → Dezyne Example project. Let’s select from the list of examples the one called DezyneSystem.

image

This will load the project that includes separate interface and component model files.

image

The tool is based on Eclipse and how it looks and is used should be familiar for people using Eclipse. The Dezyne modelling tool offers two views (or perspectives) that you can select using dedicated buttons for each view on the top right.

The Design view is for developing models and the Simulation view is for performing simulations and viewing error traces produced by verification. In the Design view models can be developed and viewed in the form of a state chart, state table, event table and system view to inspect how your system is composed of subsystems and components.

When developing models the syntax is checked automatically and the code completion feature can be used (by pressing CTRL + space). Keywords are highlighted in a different colour.

When there are no syntax errors it can be checked if the model is a correct Dezyne model by pressing the model correctness check button on the toolbar.

image

or by clicking with the right (or secondary or third) mouse button on the file in the project explorer:

image

When a model is found to be correct, it can be verified by pressing the verification button in the tool bar. The tool will start a model verification and either a popup indicating that no errors are found will be displayed as a result or the simulation perspective will be opened and a sequence trace indicating a path to an error situation will be shown.

It is also possible to create execution paths (simulation) by pressing the simulation button in the toolbar. The tool will open the simulation perspective and show a sequence diagram with on the bottom the possible events that can be initiated. It is also possible to step back using the step back button on the bottom or on the top of the sequence diagram.

Finally, code can be generated using the code generation button that also has a drop down to select the target language. The few header files that you will need to compile to executable code can be found in the runtime view (Note that for C++03 you will also need the Boost library). From there you can drag and drop them into the project where the generated code is stored or download them to this project.

Help on how to construct models, the Dezyne modelling language syntax, integrating generated code, how to use the tool can be found via clicking on the help contents menu item in the help menu on the top menu.

image