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

Friday Feb 8th 2019 by Developer.com Staff

NVIDIA will rewrite some of its security-critical firmware software from C to Ada and Spark.

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

Mobile Site | Full Site