Component-Based Design
Build systems from smaller components with explicit interface contracts.
A Power Language for Concurrent Control Software
Verum Dezyne
Dezyne combines a C-like component language with formal semantics, Design by Contract, graphical exploration, verification and source-code generation for embedded and cyber-physical systems.
LanguageC-like DSL
ModelInterfaces · Components · Systems
ToolingLSP · GUI · Batch
TargetsC · C++ · C#
Capabilities
Core Capabilities
Capabilities and terminology aligned to the current partner portfolio and target application.
Design by Contract
Specify required and permitted interactions at component boundaries.
Formal Semantics
Use mathematically defined semantics as the basis for model verification.
State & Sequence Views
Explore component states, event traces and composed-system behaviour graphically.
Batch Verification
Run verification in automated development and continuous-integration workflows.
Code Generation
Generate deployable source code for supported target languages.
Standards & Compliance
Standards and Regulatory Context
Relevant standards, coding guidelines and assurance frameworks for the technology and its application areas.
ISO 26262 workflow context
IEC 61508 workflow context
IEC 62304 workflow context
DO-178C workflow context
EN 50716 workflow context
Industries
Industry Applications
Industry connections are included where the technology addresses a defined engineering, verification or product-security requirement.
Integrations & Deployment
Toolchain and Deployment
Connect the technology with the existing engineering environment, lifecycle tools, CI/CD platform and target architecture.
Editor integration
LSP-enabled development environment
CI/CD
Batch verification
Runtime integration
Generated source combined with hardware abstraction and application code