Dezyne

Dezyne is a programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software for embedded and cyber-physical systems.

Executable

License
GNU General Public License (GPL) v3

Main Characteristic

The Dezyne language has formal semantics expressed in mCRL2 developed at the department of Mathematics and Computer Science of the Eindhoven University of Technology (TUE). Dezyne requires that every model is finite, deterministic and free of deadlocks, livelocks, and contract violations. This achieved by means of the language itself as well as builtin verification through model checking. This allows the construction of complex systems by assembling independently verified components.

Research areas
Explainable AI Verifiable AI
Technical Categories
Automated reasoning Connected and automated vehicles Multi-agent systems Optimisation Robotics and automation
Business Categories
Agriculture Healthcare Manufacturing Maritime Sector Telecommunications
Last updated
25.05.2022 - 16:38
Detailed Description

Current Technology Readiness Level of the Asset is TRL 9 – Actual system proven in operational environment.

Dezyne is available as open source (Deyzne.org) and as a commercially supported product (Verum.com).

Trustworthy AI
With Dezyne a Trustworthy Software-Implementation is created, implying generated code such as C++ or C#. Verification assures that this code is error-free. The trustworthiness applies to both the cybersecurity and the safety domains.
GDPR Requirements
N/A