NewsAdacore, NVIDIA Collaborate on Improved Firmware Security for Self-Driving Cars

Adacore, NVIDIA Collaborate on Improved Firmware Security for Self-Driving Cars

Developer.com content and product recommendations are editorially independent. We may make money when you click on links to our partners. Learn More.

Adacore this week announced that it’s working with NVIDIA to implement Ada and SPARK programming language for security-critical firmware for applications requiring stringent safety and security controls, such as automated and autonomous driving.

Some NVIDIA system-on-a-chip product lines will migrate to a new architecture using the RISC-V Instruction Set Architecture (ISA); and NVIDIA plans to upgrade some security-critical firmware software, rewriting it from C to Ada and Spark, both of which are designed to minimize code defects and improve safety and security.

“Self-driving cars and extremely complex and require sophisticated software that needs the most rigorous standards out there,” NVIDIA vice president of software security Daniel Rohrer said in a statement. “Taking measures like incorporating Ada and SPARK languages into NVIDIA platforms can improve the robustness and assurances of our automotive security.”

Get the Free Newsletter!

Subscribe to Developer Insider for top news, trends & analysis

Latest Posts

Related Stories