Build Robust Applications for Software-Defined Vehicle using Formal-methods & Test-Driven Development

Overview

The rise of Software-Defined Vehicles (SDVs) presents exciting possibilities but also demands unparalleled safety and reliability. This webinar delves into two powerful techniques – formal methods and test-driven development (TDD) – to build robust C/C++ applications for SDVs.

This webinar is for you if:    

• Leading or managing topics around Functional Safety and Security, Quality etc
• You are developing applications around Software Defined Vehicles
• You're looking for advanced techniques to ensure the quality and safety of your C/C++ code.

Key Highlights:

• Demystify the concept of Software Defines vehicles and understand their critical role in the future of automotive.
• Dive into Service-Oriented Architecture (SOA) and its application in Software Defines vehicle development.
• C++ Verification: Explore the inherent difficulties of C++ verification and the need for specialized approaches.
• Formal Methods to the Rescue: Discover how formal methods in static analysis can uncover hidden flaws and guarantee correctness.
• Test Driven Development: Learn how TDD practices can drive development, improve maintainability, and boost confidence in your code.
• DevOps for Software Factory: Explore how integrating DevOps practices with formal methods and TDD can streamline the development and deployment process for Software Defines vehicles.