Secure and Safety-Critical Software Development for Autonomous Systems
AdaCore helps organizations meet stringent safety and security needs, like those in autonomous vehicles, using tools for mathematically provable software reliability. In the NVIDIA DRIVE® ecosystem, AdaCore provides the compiler toolchains and software analysis tools that are crucial for developers targeting automotive system software to achieve functional safety compliance (ISO 26262) in core embedded systems.
Partnership with NVIDIA DRIVE® Platforms
The partnership between NVIDIA and AdaCore drives the use of formal methods in the development of software that needs to meet strict safety and security needs, like for autonomous vehicle and system security software. AdaCore's solutions, including the GNAT Pro for Ada/C/C++ and SPARK Pro compiler suites, are available on the NVIDIA DRIVE® platforms. This collaboration enables developers to use high-integrity languages and formal methods on NVIDIA's embedded AI architectures.
AdaCore's Solution for NVIDIA DRIVE®
AdaCore's GNAT Pro for C and SPARK compilers support Arm CPUs in NVIDIA SoCs, including NVIDIA DRIVE® platforms running DriveOS software. The SPARK language enables developers to guarantee the absence of run-time errors as well as prove functional correctness for specific requirements, delivering on the most stringent security requirements and the highest functional safety levels, such as ASIL D under ISO 26262 for DriveOS. To learn more about how AdaCore is accelerating autonomous vehicle development with NVIDIA DRIVE®, please explore the press release.
Ready to Speak to an Expert?
Ready to build safer, more secure, and compliant software without delays or compromises? Our engineers are here to help you tackle your toughest challenges.