PickVidsNVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
推荐理由
The HN community may be interested in this 1 hour presentation [1] on Nvidia's adoption of Ada
说明
这是2020年由AdaCore发布的一部演讲，主题归在Logic & formal methods。它讲的是ada spark adoption这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：An AdaCore webinar in which NVIDIA engineers explain why and how they adopted Ada and SPARK for security-critical firmware. It covers the business case and the engineering experience of the transition.这些读者给出的理由，核心是：HN cites it in Rust-versus-C++ and Ada discussions as a real industrial case of choosing SPARK for safer embedded code.讲法不绑某一条新闻，过几年仍然可以当材料看。从2022年到2026年，有1位不同的读者在1个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把ada spark adoption变成能跟着复述的例子。
视频信息
- 频道
- AdaCore
- 时长
- 58 分 37 秒
- 发布年份
- 2020