Verum Software Tools
Delen
It leads to generated code that is robust, reliable and trustworthy.
Verum creates and sells software engineering tools for designing verifiably correct embedded software for cyber-physical systems. “Dezyne”, enables software engineers to create, explore and formally verify designs for embedded software. Dezyne is a new generation of model-driven software engineering tools that enables software engineers to create, explore and formally verify designs for state base
😀
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
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/
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.
PLC versus embedded controller - Dezyne | Verum 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’.
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.
Klik hier om uitgelicht te worden.
Type
Telefoon
Website
Adres
Luchthavenweg 81. 041
Eindhoven
5657EA
Openingstijden
| Maandag | 09:00 - 17:00 |
| Dinsdag | 09:00 - 17:00 |
| Woensdag | 09:00 - 17:00 |
| Donderdag | 09:00 - 17:00 |
| Vrijdag | 09:00 - 17:00 |