Verum Software Tools

27/01/2020

😀

14/01/2020

In general, deadlocks can be hard to find, because the entire system needs to be reviewed to discover them and freedom from deadlocks is a property of the system as a whole. For example, component A might be waiting for B which is waiting for C while C is waiting for A.

Dezyne ensures that this never happens in the following way:
Each component by itself can be verified as being deadlock free; Components can only be composed in ways that have been proven not to cause deadlock. Note: Dezyne can only verify what it knows; therefore, e.g. handwritten code can still cause deadlocks.

More info: https://lnkd.in/gM8emGQ and https://lnkd.in/gtrUKZH

A deadlock is a situation where none of the components in a system can make progress; nothing can happen and the system simply does not respond. This commonly occurs when two components each require an action from the other before they can perform any further action themselves. Another common cause is when a component is waiting for some external event which fails to occur.

10/01/2020

How an Agile development process can benefit from Component Based and Model Driven technologies.

Discover how you can:
>Automatically find gaps in specification
>Provide quick evaluation of impact
>Verify automatically

Read the full paper: https://documentcloud.adobe.com/link/track?uri=urn%3Aaaid%3Ascds%3AUS%3A7e6735c7-7dfb-4933-94b0-cdefc3e98703

11/12/2019

We are very happy to announce a new partnership with TASKING, Powered by Altium®.

Together we make it possible to integrate TASKING Compiler toolsets into the Verum Dezyne workflow.

Read more about our partnership: https://www.verum.com/partner/tasking/

28/10/2019

Can Dezyne be used on embedded platforms like the Raspberry PI?

Yeah! We have various examples of Dezyne built applications running on Raspberry PI’s and even an Arduino, including distributed control of a system using 4x concurrent Rasyberry PI’s.

https://lnkd.in/gaXrup9

10/10/2019

Have you registered for this live webinar?

Join us next Wednesday, October 16, with Bert de Jonge (Verum) and Mark Hermeling (GrammaTech).

https://lnkd.in/gNUuaiD

09/10/2019

Is it possible to combine PLCs and embedded controllers?

Industrial automation is traditionally a PLC domain since they are simple and robust. However, in modern factories there is an increasing demand for flexibility and a higher need for connectivity & networking leading to more complex integrated systems.

In this article we will explore the possibilities.

Is it possible to combine PLCs and embedded controllers? What are the benefits and limitations of the PLC and embedded controllers?

08/10/2019

Today at the Design Automation & Embedded Systems Event 2019! Where Bert de Jonge, presented ‘How to develop software that can be trusted’.

01/10/2019

Check our live demonstrator (a Lego Mindstorms model) achieved with Dezyne.

This is a model of a wafer stepper composed of a feeder robot, a 2d stage and a material handling robot. The control software is mainly written with Dezyne. It interfaces with the motors and sensors through USB connection with four Mindstorm controller bricks.

See for the explaination in detail: https://lnkd.in/gVAZq96

PS. at the Design Automation & Embedded Systems Event 2019 (October 8) you can see the demonstrator live.