AdaCore and NVIDIA Bring Ada, SPARK Languages to Autonomous Vehicle Development
June 04, 2025
News
AdaCore introduced the Ada and SPARK programming languages into the automotive industry. While partnering with NVIDIA, and employing NVIDIA’s Drive OS, AdaCore will publish an off-the-shelf reference process enabling the utilization for designers thinking of next-generation automotive applications
NVIDIA’s Drive OS is ideal for designing and deploying autonomous vehicle applications on DRIVE AGX-based hardware. The platform includes software in compliance with automotive certification standard ISO-26262.
According to the press release, AdaCore and NVIDIA will publish this reference process freely as an open-source and evolving document.
“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.”
For more information, visit https://nvidia.github.io/spark-process/.
Chad Cox is the Production Editor at Embedded Computing Design. His responsibilities are centered around content creation, writing and editing, and article research and development. Chad covers industry news and events and is known to interact with various industrial leaders via on-premise visits and online interviews. He is responsible for the digital footprint and dissemination of news via social media posts, advertising creation and the production of newsletters including the Embedded Computing Design’s Daily.
He is well versed in many facets of industrial computing including Edge AI, IoT, Processing, Security, Open Source, and more.
Chad graduated from the University of Cincinnati with a B.A. in Cultural and Analytical Literature and holds a master’s in education.
