Ada and SPARK enter the automotive ISO-26262 market with NVIDIA
NEW YORK, June 04, 2025--(BUSINESS WIRE)--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® 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/ and can be used or customized freely by anyone interested in adopting these languages.
About AdaCore
AdaCore equips developers to create reliable, safe, and secure software. For over 30 years, we have supported and provided open-source toolchains for languages relevant to the safety-critical space, including Ada/SPARK, C/C++, and Rust. We build our toolchains to meet the most rigorous standards so you can focus on your code and reach your certification goals. AdaCore supports high-integrity industries by offering compiler-toolchain and analysis-tool qualification, along with certification evidence for compliance with industry standards. With a commitment to long-term support, AdaCore ensures the continuity and reliability of its toolchains for decades.
https://www.adacore.com/
View source version on businesswire.com: https://www.businesswire.com/news/home/20250604771878/en/
Contacts
Media contact: Andrea Bristol: bristol@adacore.com
Hashtags
Try Our AI Features
Explore what Daily8 AI can do for you:
Comments
No comments yet...
Related Articles
Yahoo
an hour ago
- Yahoo
Trump's Secret AI Strategy Uncovered: Tech Insider Reveals Hidden Role of Elon Musk
BALTIMORE, June 07, 2025 (GLOBE NEWSWIRE) -- New briefing claims President Trump has quietly deployed the most advanced artificial intelligence system in U.S. history — and handed the keys to Elon Musk. In a recently surfaced briefing, tech entrepreneur and author James Altucher alleges that Donald Trump's first move back in the Oval Office was more than symbolic — it was tactical. According to Altucher, Trump's repeal of Biden's AI executive order set off a hidden chain reaction that gave Elon Musk the freedom to unleash a classified project known as Project Colossus — an AI facility located in Memphis, Tennessee that may now house the most powerful supercomputer on Earth. 'The Fastest Supercomputer on the Planet' 'It contains not just one or two… but 200,000 units of Nvidia's all-powerful AI chips… making it the most advanced AI facility known to man.' 'The fastest supercomputer on the planet.' — Jensen Huang, Nvidia CEO Altucher says the facility is growing fast — with rumors Musk plans to double its processing power within weeks. A Quiet Reversal. A Bold New Doctrine. 'In one of his FIRST acts as President… Donald Trump overturned Executive Order #14110.' That order — signed by Biden — had imposed regulatory constraints on advanced AI. Altucher claims the reversal was calculated, opening the door for private actors like Musk to move 'without delay or oversight.' Trump later followed with a $500 billion initiative dubbed Stargate, focused on expanding America's AI infrastructure. Beyond Chatbots — Toward Supremacy Altucher argues that what's being built isn't just faster software — it's a new class of intelligence entirely. 'AI 2.0… gives that knowledge to intelligent machines that I believe will solve our problems for us.' He says July 1 could mark a critical turning point, when Musk unveils a 10X expansion to Colossus — potentially redefining U.S. dominance in AI for decades. About James Altucher James Altucher is a computer scientist, bestselling author, and entrepreneur who has worked in AI for over 40 years. He has advised tech firms, built AI trading systems, and contributed to IBM's Deep Blue supercomputer project. His latest research focuses on the convergence of AI, national policy, and private innovation. Media Contact:Derek WarrenPublic Relations ManagerParadigm Press GroupEmail: dwarren@ in retrieving data Sign in to access your portfolio Error in retrieving data Error in retrieving data Error in retrieving data Error in retrieving data
Business Upturn
2 hours ago
- Business Upturn
Brain Song Announces Official Website Update Featuring Natural Daily Supplement for Focus and Cognitive Support
Wilmington, June 07, 2025 (GLOBE NEWSWIRE) — Brain Song, a digital wellness experience by Binaural Technologies, has updated its official website to showcase a breakthrough audio supplement designed to support clarity, focus, and memory in adults. Now available in the U.S., the newly enhanced platform introduces a 7-minute memory soundwave, offering individuals a natural, non-invasive method to optimize mental performance. According to the official product website ( The Brain Song is a daily-use audio program created to work in sync with the body's neural rhythms—helping listeners reduce mental clutter, improve presence, and feel more cognitively aligned. The new soundwave is positioned as a standalone digital ritual that can be accessed via mobile or desktop, without the need for pills, powders, or physical supplements. 'Our goal is to help people clear their minds and reconnect with focus—without ingesting anything,' said a spokesperson for Binaural Technologies. 'This audio experience reflects our vision for accessible, technology-driven wellness that's rooted in neuroscience and simplicity.' Binaural Technologies affirms that The Brain Song is engineered using advanced sound design principles, including entrainment techniques aligned with memory and concentration patterns. The platform aims to support common wellness goals like cognitive sharpness, calm attention, and improved daily rhythm. As noted on the product website, The Brain Song is backed by a satisfaction guarantee for new users. Full access instructions, FAQs, and purchasing details are now available on the updated site. About Brain Song The Brain Song is a digital wellness innovation from Binaural Technologies, a Delaware-based brand specializing in audio solutions for mental clarity and focus. Designed to support natural brainwave alignment and mindfulness, The Brain Song offers a simple, effective tool for adults seeking cognitive support through sound. Product and Contact Information Brand: Binaural Technologies – The Brain Song Website: Email: [email protected] Mailing Address: 2810 North Church Street, Wilmington, DE 19802, USA Disclaimer This release is for informational purposes only and does not constitute medical advice, diagnosis, or treatment. The statements made about this product have not been evaluated by the Food and Drug Administration. Individual results may vary. Consumers should consult a qualified healthcare provider before beginning any new health regimen. Disclaimer: The above press release comes to you under an arrangement with GlobeNewswire. Business Upturn takes no editorial responsibility for the same.
Business Wire
2 hours ago
- Business Wire
ABL Investors Have Opportunity to Join Abacus Global Management, Inc. Fraud Investigation with the Schall Law Firm
LOS ANGELES--(BUSINESS WIRE)-- The Schall Law Firm, a national shareholder rights litigation firm, announces that it is investigating claims on behalf of investors of Abacus Global Management, Inc. ('Abacus' or 'the Company') (NASDAQ: ABL) for violations of the securities laws. The investigation focuses on whether the Company issued false and/or misleading statements and/or failed to disclose information pertinent to investors. Abacus is the subject of a report issued by Morpheus Research on June 4, 2025, titled: 'Abacus Global Management: This $794 Million SPAC Is Yet Another Life Settlements Accounting Scheme Manufacturing Fake Revenue by Systematically Underestimating When People Will Die.' According to the report, the Company changed its portfolio valuation methodology to make it appear more profitable than it actually is. The report also alleges that the Company uses unusual methodologies to calculate life expectancy estimates and its co-founders have 'red flags' in their past. If you are a shareholder who suffered a loss, click here to participate. We also encourage you to contact Brian Schall of the Schall Law Firm, 2049 Century Park East, Suite 2460, Los Angeles, CA 90067, at 310-301-3335, to discuss your rights free of charge. You can also reach us through the firm's website at or by email at bschall@ The Schall Law Firm represents investors around the world and specializes in securities class action lawsuits and shareholder rights litigation. This press release may be considered Attorney Advertising in some jurisdictions under the applicable law and rules of ethics.
