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.

Wednesday, October 16 | 10:00-11:00am EST | 16:00-17:00 CEST

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.

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.

© GrammaTech. All rights reserved.

WEBINAR ENDED - RECORDING BELOW

Webinar Recording

Why Realizing Safe, Secure Software Requires Building on Strong Foundations

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.