English German
There's always a Logic Solution!
  • Verum


The Dezyne Developer Challenge

We invite you to take part on Verum's Dezyne Challenge 2016. Everyone who completes the Challenge will receive a Raspberry PI 3B as thanks for participating. Two lucky winners will each receive a 3D Printer for their efforts. The Dezyne Challenge runs from the 1st of December 2016 – 31st January 2017. It requires participants to develop a small, illustrative example of the use of Dezyne and to provide Verum with ideas on how Dezyne could be made easier and more fun to use. The submitter of the best example will win a 3D Printer. The participant who provides us with the most ideas on how to make Dezyne better will also be rewarded with a 3D Printer.

What is Dezyne

Dezyne is a new breed of model-driven software engineering tools that enable software engineers to create, explore and formally verify component based designs for embedded and technical software systems. It leads to generated code that is robust, reliable and trustworthy.

What does Dezyne do?

Based on a powerful, open modelling language, Dezyne gives software engineers the ability to construct software components that implement any kind of behaviour within an application. Graphical views of models enable engineers to easily navigate, communicate and document their architectures and designs. Advanced simulation features provide engineers with the means to fully explore and validate their designs, no execution necessary. Automated formal verification discovers hidden defects that are otherwise practically impossible to find. Efficient code generation instantly turns verified models into executable code.

The Challenge

To complete the Dezyne Challenge you must:

1. Use Dezyne
 For a minimum of 20 hours during the competition period, for competition purposes (Use a personal account for this work so we can measure it).

2. Develop and explain a small illustrative example of the use of Dezyne
The goal is that Verum will publish the best examples as explanatory models on our website. How far you go with your example is up to you. You might restrict yourself to just modelling a problem or you might go as far as generating a complete executable. You might include in your explanation examples of errors that you found during the development of your example.
A sample of the kind of thing that we have in mind is our dezyne-garage-door-example example. Other ideas include: traffic light controller, railway crossing control, multi-zone central heating controller, elevator controller, etc.

3. Provide us with feedback
On your experience of using Dezyne, including your suggestions for how we might improve Dezyne and make it easier and more fun to use.To do this you will use the “Report Issue” menu at www.dezyne.verum.com to log each of your ideas, change requests or problem reports individually.

How to take part in the Dezyne Challenge

To take part in the Dezyne Challenge you have to register with your Dezyne user email address. If you are not already a registered user, you can register with your contact details and we will send you a user account and the latest version of Dezyne for the challenge.

How to Win the Dezyne Challenge

Everyone who completes the Dezyne Challenge will receive a Raspberry PI 3B in recognition for their efforts. Completing the challenge means that you will have spent at least 20 hours actively using Dezyne, that you will have submitted your completed and explained example to us by email at challenge@verum.com and that you will have submitted one or more improvement ideas via our community website.

There will be two 3D Printer prizes awarded, one for the best example and one for the participant who provides the most ideas for improvements, etc.

Verum will select the winner of the best example by judging:
  • how well each example illustrates the features and benefits of Dezyne
  • how complete it is in terms of explanation and ease of understanding
  • how useful it is to other Dezyne users

Verum will select the winner of the ideas category by judging:
  • The quality of the ideas and improvement suggestions submitted by each participant. In particular we are looking for specific ideas or improvement suggestions. Thus, a suggestion in the style of “Improve documentation” will be judged as being less useful than, “Explain in the documentation how multiple reply events should be modelled in components and interfaces”.
  • Counting the number of useful, specific ideas provided by each participant. The winner will be the participant who has provided numerically the most (useful) ideas & suggestions.
The Verum team will judge all entries and will have the final say in determining the winners. The results of the Dezyne Challenge will be published on Logic2day and the Verum Website by the end of February 2017.



3D Printer

Raspberry PI 3B

Register for the Challenge