SDV USA

You need the right tools to build software for software-defined vehicles at speed. Traditional programming languages are no longer sufficient to deliver high-integrity software. Regulators, partners, customers, and drivers demand higher security guarantees for vehicle software.

Memory-safe programming languages and formal methods provide the development team with the expressiveness they need to focus their energy on building value through new features.

AdaCore is the leader in memory safety in:

• C and C++ through CodeSonar to enforce MISRA guidelines at the developer desktop and in the CI/CD pipeline
• Rust compilers, runtimes, and toolchains providing runtime memory safety
• Ada and SPARK compilers, runtimes, and toolchains, providing static memory safety
• Multi-language support, allowing you to gradually introduce memory safety into your applications

Come attend the AdaCore presentation at SDV USA on May 29 at 10:00-10:25 at the Hyatt Regency, San Francisco Downtown Soma.

Agenda

29th June 10:00 - 10:25

Deliver safety compliant software at speed using formal methods and SPARK

Mark Hermeling Head of Technical Marketing, AdaCore

Traditional approaches to functional safety under ISO26262 slow down the software-development process, which conflicts with the flexibility and agility that the Software Defined Vehicle domain requires. Memory-safe languages and formal methods guarantee correctness on the desktop and in the CI/CD pipeline, allowing the team to reduce test load and shortening delivery timelines.

- Learn from our customers who have been using formal methods at scale to deliver ISO 26262 compliant software for the past 3 years

- The NVIDIA ISO-26262 SPARK Process is a public resource

- Ada, Spark, formal methods and automation reduce testing cost and automate compliance