January 27, 2021
Hot Topics:

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

  • By Developer.com Staff

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."

This article was originally published on February 8, 2019

Enterprise Development Update

Don't miss an article. Subscribe to our newsletter below.

Thanks for your registration, follow us on our social networks to keep up-to-date