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

National Post

3 days ago

Article content
NEW YORK — 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.
Article content
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.
Article content
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.
Article content
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.
Article content
'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,
Article content
' says Quentin Ochem, Chief Product and Revenue Officer at AdaCore.
Article content
'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.'
Article content
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.
Article content
About AdaCore
Article content
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.
Article content
Article content
Article content
Article content
Article content
Contacts
Article content
Media contact:
Article content
Article content
Article content