SDV USA
Join AdaCore at the Software-Defined-Vehicles Conference USA to discuss high-integrity software development in Ada/SPARK, C/C++ and Rust
Event Details
- [In-Person]
- June 28 - June 30, 2026
- San Francisco Downtown Soma, USA
- Hyatt Regency
Agenda
29th June 10:00 - 10:25
Deliver safety compliant software at speed using formal methods and SPARK
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