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

Wednesday, October 16, 2019 10.00am EST / 16.00pm CET

In this webinar, Bert de Jonge 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, October 16 – 10.00am EST / 16.00pm 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.

Enjoy this article? Don't forget to share.