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.
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.
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.
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?
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.
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.
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.
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!
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!
At the 2017 IEEE International Conference on Software Quality, Reliability and Security, ASML reported on a study of applying metrics to their large set of models for accessing the quality of the models.