Verifying and validating embedded software with Dezyne, a review by Jordi Cabot

Jordi Cabot, a Research Professor at the Open University of Catalonia and experienced user of several modelling tools, dives into the use of Dezyne for verifying and validating embedded software. He wrote an article which makes a compelling case on why engineer should try Dezyne. As a model driven software engineering tool, Cabot argues, it strikes the perfect balance between the expressiveness of its domain specific language and the features it offers.

In his article, published on, Cabot first tells us about installing and using Dezyne. He then explains the basics and even gives a quick overview for those who don’t have the time to read the tutorials. He then continues to tell about:

Verifying and validating embedded software models with Dezyne

Needless to say: writing software is a challenging task. We want to make sure our software is right (verification) and that we are building the right software (validation). Dezyne helps with both. On the verification side, Dezyne checks syntactic errors and well-formedness rules directly in the editor. Dezyne highlights problematic definitions on the spot, but it also offers a verification functionality able to detect more complex errors. To validate the model, Dezyne offers a step-by-step simulation of your model. You can choose what event you would like to trigger and see how the components react to it. The tool is smart enough to show only the possible events at any time, depending on the current state of the system.

Related: Using the power of Dezyne’s verification and validation features to build cyber resilient applications 

Code generation of embedded software from component based models

The more useful a model, the more likely that designers will completely specify and verify that model. Modeling without code generation feels like a missing opportunity! That’s why Dezyne comes with code-generators for a variety of languages. Translations try to be as straightforward as possible to facilitate the readability of the code, especially at the individual component level.

Cabot: “After trying it out, I can say that, for sure, Dezyne is a quick and practical way to generate correct software following a component based approach.”

Related: Making coding easy with Dezyne: 3 tips

In the full article Cabot fully shows how he works with Dezyne and gives several examples. Through his clear explanations you will even learn how you can easily start using Dezyne yourself!

Related Articles

Enjoy this article? Don't forget to share.