AdaCore collaborates with NVIDIA to enhance firmware security for self-driving cars

News
New Product Development

AdaCore will implement its Ada and SPARK programming languages for select firmware on NVIDIA to reduce the potential for human error

AdaCore, a US-based software development and verification tool provider, is working with NVIDA to improve firmware security for self-driving cars, the company said in a press release last week. As part of the collaboration, AdaCore will implement its Ada and SPARK programming languages for select firmware to reduce the potential for human error.

Thank you for visiting S&P Global AutoTechInsight.

*A subscription to News & Analysis includes four S&P Global-selected sector-specific analytical pieces per month. Access to all analytic pieces across all domains comes with a subscription to All Domains. Please click here to subscribe.

To get access to the AutoTechInsight full suite of services, please contact a sales representative by clicking here.

Already a subscriber? Please log in here

preload preload preload preload preload preload