Design Automation & Embedded Systems Event

Design Automation & Embedded Systems Event 2019

During the annual Design Automation & Embedded Systems Event, developers and users of embedded systems learn about the latest technologies and exchange views and experiences with colleagues.

Robert Howe, CEO Verum, will present ‘How to develop software that can be trusted’.

Products are getting smarter which is largely realized in software. However, what happens if the software is buggy? How can we design for reliability in software? In a practical case we present how to prevent typical mistakes and how to support engineers in building reliable code. This delivers both a better result and diminishes development time and costs.

The D&E Event will take place on 8 October 2019 at the Van der Valk hotel in Eindhoven. See you there!

Practical info:

Tuesday, October 8, 2019 (09.30 am – 16.30 pm)

Van der Valk Eindhoven, route

Program: https://fhi.nl/dene/programma/

Webinar | 25th September

Webinar | Why Realizing Safe, Secure Software Requires Building on Strong Foundations

Wednesday, September 25, 2019 16:00 pm CET

In this webinar, Robert Howe, CEO of Verum, and Mark Hermeling, Senior Director of Product Marketing at GrammaTech, will share how combining model driven analytical software development with static analysis provides the means to handle the increase in complexity and rapidly build robust, reliable and resilient cyber-physical systems based on strong foundations.



Good to know: if you are registered for the webinar you will receive the recording afterwards. So even if you cannot attend the webinar, you can always look back at the webinar during a self-chosen moment.


Date & time:

Wednesday, September 25
10.00am EST
16.00 pm CET

Duration:

1 hour

About this webinar:

The challenge of designing safe and secure software systems has never been greater. The emergence of increasingly complex cyber-physical systems, such as autonomous vehicles, demands that software be developed to the highest standards possible. Conventional software engineering practices are based on weak foundations that cannot deliver the basic rigor necessary to realize safe, secure systems. In this webinar, learn how combining model driven analytical software development with static analysis provides the means to handle the increase in complexity and rapidly build robust, reliable and resilient cyber-physical systems based on strong foundations.


About GrammaTech

At GrammaTech, we help our customers, partners, and government research sponsors solve the most challenging software issues of today and tomorrow, safeguarding embedded mission-critical devices from failure and cyber attack. With our security-first software design philosophy, you can rely on GrammaTech to help you design, develop, and deploy trusted software applications — minimizing corporate risks and maximizing your competitive position.

About Verum Software Tools

Verum creates and sells software engineering tools for designing verifiably correct embedded software for cyber-physical systems. Our latest product, “Dezyne”, enables software engineers to create, explore and formally verify designs for embedded software systems of all types. It leads to generated code that is robust, reliable and resilient. The results, using Dezyne, include a 300% increase in development efficiency, a 99.99% decrease in customer reported defects and a 20% decrease in time to market.

Based in Waalre, The Netherlands, close to Eindhoven’s High Tech Campus, Verum has development activities in the Netherlands and Argentina. Our customers include leading high-tech multinational companies.

Discover Dezyne. Join a workshop

Experience the power of model-based software development yourself

Would you like to know how a model-driven software design tool can contribute to developing up to 50% more efficiently? Join the rapidly growing group who uses model-driven software tools to develop verifiably complete and correct embedded software systems.

Discover how Dezyne can help you develop complete and correct software by providing graphical views of models, advanced simulation techniques, automated formal verification and efficient code generation.

Join a free hands-on model-driven software design workshop. Register now!

Upcoming workshops:

12th September (13:30 – 16.00)

Location Verum Software Tools BV office:

Laan van Diepenvoorde 6

5582LA Waalre

The Netherlands