4 ms·
Here’s a related talk: “NVIDIA - Securing the Future of Safety and Security of Embedded Software” https://youtu.be/2YoPoNx3L5E https://youtu.be/2YoPoNx3L5E >
by cpeterso 1y ago
Here’s a related talk: “NVIDIA - Securing the Future of Safety and Security of Embedded Software”
https://youtu.be/2YoPoNx3L5E https://youtu.be/2YoPoNx3L5E
> NVIDIA is working with AdaCore to implement Ada and SPARK programming languages into certain firmware elements to reduce this potential error. In this webinar you will learn how the combination of NVIDIA hardware with Ada and SPARK delivers robustness and security, improving efficiency and safety in the development pipeline.