The easiest way to build complete, correct and consistent embedded software for cyberphysical systems

Projektinformationen

Dezyne Enterprise

ID Finanzhilfevereinbarung: 890035

DOI

10.3030/890035

Projekt abgeschlossen

EK-Unterschriftsdatum 20 November 2019

Startdatum 1 November 2019

Enddatum 29 Februar 2020

Finanziert unter

• INDUSTRIAL LEADERSHIP - Innovation In SMEs

Gesamtkosten

€ 71 429,00

EU-Beitrag

€ 50 000,00

Koordiniert durch

VERUM SOFTWARE TOOLS B.V.
Netherlands

Periodic Reporting for period 1 - Dezyne Enterprise (The easiest way to build complete, correct and consistent embedded software for cyberphysical systems)

Berichtszeitraum: 2019-11-01 bis 2020-02-29

Zusammenfassung vom Kontext und den Gesamtzielen des Projekts

For years, embedded systems have been the building block of the human progress but also responsible for some of the most prominent technological disasters in history due to SW bugs created by humans. Cyber-physical systems are accelerating the transformation of our society by creating applications like Autonomous cars. The costs associated to human mistakes in SW development of CPS are €3T annually.
Dezyne is a new breed of model-driven software engineering tools that enable software engineers to create, explore and formally verify component-based designs for CPS. Based on rigorous mathematical principles, its benefits include: 50% reduction in development costs, 20% decrease in time to market and over 90% reduction in the cost of field defects.
The project objectives include the creation of domain specific libraries, cross-platform integration, UI/UX optimisation and pilots with companies in the Healthcare and Automotive segments to achieve TRL9; the establishment of partnerships with key players in target segments and distributors; the development of commercial materials, website, advertising in publications and presence in trade fairs.

Arbeit, die ab Beginn des Projekts bis zum Ende des durch den Bericht erfassten Berichtszeitraums geleistet wurde, und die wichtigsten bis dahin erzielten Ergebnisse

Technically, we established our roadmap to improve the existing version and implement the new features. Through a market research we analysed the Embedded Software Market and the CPS Market. We studied: key market drivers that will fuel the adoption of our product; market barriers; risks and their mitigation actions; and our competition landscape. Our FTO analysis validated that our technology does not infringe any existing patent. We shaped our projected sales revenues from 2022 to 2025.

Fortschritte, die über den aktuellen Stand der Technik hinausgehen und voraussichtliche potenzielle Auswirkungen (einschließlich der bis dato erzielten sozioökonomischen Auswirkungen und weiter gefassten gesellschaftlichen Auswirkungen des Projekts)

Dezyne’s unique approach with automated mathematical verification ensures that software designs can be trusted from the start. It leverages the potential of mCRL2, a complex environment that needs highly specialised mathematical skills and knowledge to be mastered, to any SW engineer without the need for understanding the underlying functioning. By embedding its core functionality in an easy-to-use and end-to-end platform, companies will be able to test and verify the designs of their CPS with the guarantee of covering the 100% of all the possible logic cases.

image-1.png

image-2.png