June 16, 2019
Hot Topics:

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

  • February 8, 2019
  • 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."

Comment and Contribute


(Maximum characters: 1200). You have characters left.



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