Dezyne is a software development tool developed by Verum, based on a Model Driven Engineering approach. Dezyne is primarily used for designing complex software systems. Due to its built-in formal verification capability, Dezyne is especially suited for safety critical systems used in aerospace, automotive, chip manufacturing and the medical industry.
Companies using Dezyne have reduced their time to market by 20%, while reducing software bugs by 25% and costs by 50%. Dezyne is one of the Model Driven Engineering toolsets ICT Group works with, reshaping traditional approaches of software design. Using today’s technology we educate tomorrow’s software engineers.
Below we describe the functionality of Dezyne using a development project: the develop-ment of a service tool for a startup/shutdown controller. This project was carried out by our software engineer Saurav Paul.
First experiences with Dezyne
Saurav Paul was introduced to the methodology of Model Driven Engineering during his Master study Embedded Systems at the Technical University of Delft. When attending a Dezyne Community meeting shortly after his graduation, he recognized a strong parallel between Dezyne and what he had learned at university. Enthusiastic about Dezyne’s pos-sibilities, he started using the toolset for a small software design project. “According to me Model Driven Engineering is the future of software development,” Saurav says. “So I was eager to start using Dezyne.”
Using Dezyne in a project commissioned by Philips
After his graduation Saurav Paul started working for ICT Group. He was chosen as the software engineer in a project commissioned by Philips. In this project Dezyne was used as the primary toolset.
Philips develops x-ray systems for image guided medical procedures. The x-ray machines are powered by complex startup/shutdown controllers that ensure reliability and safety. As the behavior of these controllers is complex, a dedicated service tool is used to check and service them. Saurav designed the software for this new service tool, using Dezyne.
Dezyne’s approach is to start by creating a model that captures the behavior of the soft-ware system. The model serves as a means of communication between software design-er(s) and stakeholders. It ensures that the requirements formulated by the stakeholders are thorough, complete and effectively implemented. Dezyne also allows the software en-gineer to simulate software behavior at every step of the development process, which helps to verify whether the system meets the requirements. Once tested and verified, computer code is automatically generated from the model with the press of a button.