How to guarantee Dezyne model/executable code behavioural equivalence

Safety standards, such as ISO 26262, require the use of tools that ensure the completeness, correctness, and consistency of software design. In addition, it is prescribed that these tools also do not themselves introduce defects into executable code.
March 12, 2019/by

Release Notes Dezyne version 2.8.x

July 5, 2018/by Relny Podung

Increasing the power of verification

To keep pace with the demand for more powerful verification, Verum has completed the integration of a completely new, game changing verification engine into Dezyne..
June 21, 2018/by Relny Podung

IoT Home Automation made easy

Closing your curtains and switching the lights on when the sun is down. Everything monitored of gas, water and electricity usage and production: the ultimate internet of things in your house.
June 15, 2018/by Relny Podung

How to use Dezyne in implementing the Consensus Algorithm

Consensus is a fundamental problem in distributed computing and multi-agent systems. It is used to achieve agreement on a single data value among distributed processes or systems.
June 14, 2018/by Relny Podung

Experience the power of model-based software development

Join the rapidly growing group who uses model-driven software tools to develop verifiably complete and correct embedded software systems. Discover why Dezyne is 3 - 5 times more efficient than coding.
June 12, 2018/by Relny Podung

How Dezyne can be used to illuminate real estate with Philips Hue lights

What if there would be a simple way to literally highlight empty buildings? What if you could draw some extra attention to real estate with just a relative simple solution? How can Dezyne contribute to illuminate buildings?
June 11, 2018/by Relny Podung

Digital twin using Dezyne generated code

A group of students from Fontys Univerisity of Applied Science has built a demonstrator 3D virtualized model that is fully controlled using Dezyne generated code.
June 6, 2018/by Jos Hegge

The new generation of software developers is here

We believe that the future of software development lies with the new generation so when we found out that one of the participants of the Dezyne Challenge 2018 was born just in the early 2000’s, we were thrilled. This young representative of the new generation developers is named Etienne and participated in the Challenge with his dad, Hans.
June 5, 2018/by Relny Podung

Dezyne digital orchestra

Hans and Etienne Kuppens are father and son and they love making music together. For their Dezyne Challenge 2017 they came up with an idea to create a Digital Orchestra.
May 31, 2018/by Relny Podung

Smart charging electric cars

For the contribution to the Dezyne Challenge 2018, The Business Unit High Tech of ICT Group has developed a smart charger for electrical vehicles. Find out more about ICT team's winning submission for the Dezyne Challenge 2018!
May 30, 2018/by Relny Podung

How to code for the IoT more flawlessly

Dezyne IDE now offers integrated support for Arduino as the basis for small but verifiably correct IoT applications. From within the Dezyne Eclipse IDE you can download and install the Arduino plugin.
May 29, 2018/by Jos Hegge

Dezyne Challenge Winners 2018

This year we asked the participants of the Dezyne Challenge to develop a small, illustrative example of the use of Dezyne and to provide us with ideas on how Dezyne could be made easier and more compelling to use. Learn more about the Challenge!
May 23, 2018/by Relny Podung

Fresh Release Notes Dezyne version 2.7.x

On the 3rd of May 2018 service 2.7.1 has been replaced with service 2.7.2 as Default. A recap of the most important fixes and improvements
May 14, 2018/by Relny Podung

Why your future success depends on your software strategy

This Software Strategy Whitepaper gives you some clever insights in how future winners in the race to achieve dominance in “Smart” products and services stay on top of the game.
April 12, 2018/by
Load more

Subscribe to our newsletter

New Call-to-action