Software Standards

Verum and SolidSands have worked together to define a methodology that delivers the ultimate proof of behavioural equivalence between models and executable code.
March 12, 2019/by

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

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

Smart Factory Automation Hackathon 2018

Verum and ICT challenge software engineers to design a reliable Factory Automation controller in 32 hours.
March 7, 2018/by Relny Podung

The model checking capabilities of the mCRL2 tool set

In this award winning paper, we describe the Dezyne language and a model transformation to the mCRL2 language, providing users access to advanced model checking capabilities and refinement checks of the mCRL2 tool set.
February 22, 2018/by Relny Podung

How to improve software quality using model driven software engineering

Lely evaluated Dezyne in the context of agricultural robotics after a three-month period. In particular it was applied to a subsystem of a Lely milking robots.
February 20, 2018/by Relny Podung

Making sense of components and interfaces with 3 essential tips

Keeping good overview of your events, components and interfaces will save you a lot of time and frustration.
December 20, 2017/by Relny Podung
Load more

Subscribe to our newsletter

Enjoy this article? Don't forget to share.