Designing and creating software that controls embedded and cyber-physical systems is challenging. The complexity of these systems keeps growing and consequently the demand on the software increases. The software must control and monitor many processes in parallel, and deal with a large number of exceptional conditions that disrupt the regular control flow, which must be handled appropriately.
With Dezyne – create, simulate, mathematically verify and automatically generate code for cyber-physical systems – these challenges become manageable.
Testing event driven control software is difficult. Testing time on hardware is expensive, so often software simulators on various levels of (hardware) details are created to mitigate these cost. However, the ultimate test is still the execution on the real hardware, and errors found during the final testing are very costly and time consuming to fix. Writing test cases for the software is tedious or even undoable, since a very large amount of execution scenarios (potentially several hundred thousand or even much more) have to be considered. As a result, due to economic reasons, only a small percentage of the possible execution scenarios are effectively tested in practice.
Even worse, a lot of scenarios cannot be checked with conventional testing because it is not possible to identify or reach them. Only while performing the verification with Dezyne, one can be sure that the whole space is being covered.
In addition, Dezyne helps you to identify the area where the issue occurs. Issues identified by Dezyne are, for example, livelocks, deadlocks and interface violations.
Dezyne provides code generators for C++, C# and more. The generated code is verified, validated, and directly deployable.
Verum warrants that the generated code is equivalent to the verified models and therefore 100% defect-free.
Dezyne will save you time and effort building your software. It is achieved by providing engineers with the ability to continuously "test" software specifications and designs, preventing entire classNamees of defects from occurring and ensuring that many of those that do, are quickly found and repaired.
Source code for the components specified, is generated directly from Dezyne. The result is a remarkable decrease in development effort and time, and a corresponding increase in process predictability and product quality.