dcsimg
 

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

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

This article was originally published on Friday Feb 8th 2019
Home
Mobile Site | Full Site