https://www.adacore.com/press/ada-and-spark-enter-the-automotive-iso-26262-market-with-nvidia

skip to main content
 AdaCore
[ ]

  * Products
      + Overview
      + GNAT Pro
          o Overview
          o Assurance
          o Enterprise
          o Toolsuite
      + GNAT Pro for Rust
      + GNAT Pro for C/C++
      + GNAT Dynamic Analysis Suite
          o GNATcoverage
          o GNATtest
          o GNATfuzz
      + GNAT Static Analysis Suite
          o Defects and Vulnerability Analysis
          o Coding Standard Verification
          o Metric Computations
      + SPARK Pro
          o Overview
          o Demos
          o Use Cases
      + RecordFlux
      + Pricing
      + Terms and Conditions
      + Languages
  * Services
      + Overview
      + Certification & Qualification
      + Mentorship
      + Training
      + Consulting
  * Industries
      + Overview
      + Domains
          o Avionics
          o ATM
          o Space
          o Rail
          o Automotive
          o Defense
          o Security
          o Medical
      + Case Studies
      + Standards
          o DO-178
          o ESARR
          o CAP670-SWO1
          o CWE
          o EN 50128
          o FACE
          o ISO 26262
          o IEC 61508
  * Company
      + Overview
      + About AdaCore
      + Press Releases
      + Events
      + Executive Team
      + Careers
      + Our Customers
      + Partners
      + Contact Us
      + Website Information
      + Legal
      + Privacy Policy
      + Cookie Policy
  * Resources
      + Overview
      + Case Studies
      + Books
      + Papers
      + Articles
      + Videos
      + AdaCore Blog
      + Learn.adacore.com
  * Community
      + Overview
      + Academia
          o Overview
          o Projects
          o Universities
          o Register
          o Login
      + About Ada
      + About SPARK
      + Contact
  * Support
      + Overview
      + GNAT Tracker
      + Documentation
      + Dev Log
      + Cybersecurity Center
      + AdaCore Digest

Login to GNAT Tracker

[                    ]
[                    ]
Forgot your password?[Login]
 
[                    ]
GT Login Request Pricing
Overview Press Releases Articles Events Newsletter

Ada and SPARK enter the automotive ISO-26262 market with NVIDIA.

High-integrity software tooling experts, AdaCore, are delighted to
announce the introduction of the Ada and SPARK programming languages
into the automotive market. Together with their partner NVIDIA, they
are set to publish an off-the-shelf reference process, allowing
others to follow their lead.

NVIDIA developed Drive(r) OS, the reference operating system and
associated software stack designed specifically for developing and
deploying autonomous vehicle applications on DRIVE AGX-based
hardware.

This system includes software components that comply with the highest
levels of integrity of the automotive certification standard
ISO-26262. To achieve that effort, NVIDIA selected these languages to
develop some of the most critical components of its software stack.
This required establishing a development process that takes advantage
of formal methods and other safety characteristics of Ada and SPARK,
thus fully leveraging their capabilities.

AdaCore and NVIDIA have decided to publish this reference process
freely as an open-source and evolving document, allowing the industry
at large to adopt Ada and SPARK.

"As the added value of the automotive industry turns more and more
from mechanical to software features, achieving software safety at
the highest levels becomes one of the most critical challenges of
modern car development," says Quentin Ochem, Chief Product and
Revenue Officer at AdaCore. "NVIDIA demonstrates truly remarkable
technical leadership in the domain by introducing Ada and SPARK into
its development process and allowing the rest of the community to
follow its path."

The ISO-26262 reference process is available on https://
nvidia.github.io/spark-process/ or https://github.com/NVIDIA/
spark-process and can be used or customized freely by anyone
interested in adopting these languages.

Learn Ada Today

Visit our interactive platform designed to teach the Ada and SPARK
languages. >>

Request Pricing

Help us understand your development needs and request pricing or an
evaluation >>

  * Products
  * GNAT Pro
  * GNAT Pro for Rust
  * GNAT Pro for C/C++
  * GNAT Dynamic Analysis Suite
  * GNAT Static Analysis Suite
  * SPARK Pro
  * RecordFlux
  * Pricing
  * Terms and Conditions
  * Languages

  * Services
  * Certification & Qualification
  * Mentorship
  * Training
  * Consulting

  * Industries
  * Avionics
  * ATM
  * Space
  * Rail
  * Automotive
  * Defense
  * Security
  * Medical

  * Company
  * About AdaCore
  * Press Releases
  * Events
  * Executive Team
  * Careers
  * Our Customers
  * Partners
  * Contact
  * Website Information

  * Resources
  * Overview
  * Case Studies
  * Books
  * Papers
  * Articles
  * Videos
  * AdaCore Blog
  * Learn.adacore.com

  * Community
  * Getting Started
  * About Ada
  * About SPARK
  * Contact

  * Academia
  * Overview
  * Projects
  * Universities
  * GAP Registration
  * GAP Login

  * Support
  * GNAT Tracker
  * Documentation
  * Dev Log
  * Cybersecurity Center

  * Other AdaCore Sites
  * The AdaCore Blog
  * Learn.adacore.com
  * Make with Ada

Twitter LinkedIn YouTube GitHub RSS
Copyright (c) 2025 AdaCore. All rights reserved.   Legal   |  Privacy
Policy   |  Cookie Policy   |  Code of Conduct
*