Скачать или смотреть NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)

SPARK / Ada Journey to Adoption

As software becomes more complex, the chances of human error greatly increase, opening up potential for security and safety risks. 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.

0:00 - Intro by Patrick Mannion
2:10 - Business context for Ada and SPARK at NVIDIA by Daniel Rohrer
18:41 - Technical aspects of NVIDIA's adoption of SPARK by Dhawal Kumar
19:33 - Firmwares and their environment
21:01 - What is this SPARK that we've all been raving about?
29:35 - SPARK alternatives considered (and dismissed)
36:35 - Proof of Concept — It's conclusions and concerns
45:38 - Benefits and Summary
48:37 - Q and A