Verum has announced the release of its Dezyne programming language as free and open-source software (FOSS). The language can be used to specify, validate, verify, simulate, document and implement concurrent control software for embedded and cyber-physical systems. Available under the Affero GNU Public License v3, the FOSS edition is the core implementation of the language that’s part of the commercial products offered by the Eindhoven-based company.
Dezyne incorporates both the model-based and the component-based paradigm. It enables an incremental and collaborative approach to complex system development by using a novel way of design by contract. The language makes it possible to define not just the structure but equally well the behavior of a software system using a familiar C-like syntax. Its rigorous notation allows for the automatic creation of abstract and detailed diagrams consistent with both the structure and the behavior. The formal semantics are expressed in mCRL2, developed at Eindhoven University of Technology.
“We’re sharing Dezyne, convinced that it will benefit many users,” comments Verum CTO Rutger van Beusekom. “Not just in creating trustworthy systems affordably but also to enable the future inception of currently unimaginable applications. We believe that by releasing the Dezyne language implementation as free software isn’t just a commitment to its longevity, it will allow the underlying ideas to thrive and continue to mature.”