NASPICE 2026
Join AdaCore at the North American SPICE Conference
Event Details
- [In-Person]
- September 29 - September 30, 2026
- Novi, Michigan
- Vibe Credit Union Showplace, 46100 Grand River Ave, Novi, MI 48374
NASPICE (North American SPICE Conference) gathers experts and industry leaders together to discuss developments in ASPICE, and progress in automotive standards, quality, safety and security for embedded systems.
AdaCore will be exhibiting and presenting at this conference, designed to foster process improvement within the automotive industry.
Agenda
2:20PM - 2:50PM, September 30th
Approaches to Memory Safety for Functional Safety
Resources_
Interested to learn more?
[Video]
How to Prove the Correctness of AI-Generated Code Using Formal Methods
[Video]
Sneak preview of the CodeSonar MCP server analyzing C code and automatic fixing of MISRA violations
[Blog Post]
Mark Hermeling
Getting Started in Functional Safety with Rust
[Blog Post]
Mark Hermeling
Migrating C to Ada SPARK with Agentic AI: A Practical Playbook
[Press Release]
Ada and SPARK enter the automotive ISO-26262 market with NVIDIA.
Case Studies_
Read our Case Studies
[Case Study]
NVIDIA: Adoption of SPARK Ushers in a New Era in Security-Critical Software Development
[Case Study]
Zenseact Chooses SPARK for Automotive Safety
[Case Study]
How Autoliv Transformed Its Embedded Code Quality with CodeSonar®
[Case Study]
How Stoneridge, Inc. Enhances Vehicle Safety with CodeSonar®
[Case Study]