NVidia embraces Ada/Spark more…

“Also, NVIDIA plans to upgrade security-critical firmware software, rewriting it from C to Ada and SPARK.”

https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/

https://www.militaryaerospace.com/articles/2019/02/safety-critical-software-programming-languages.html

https://www.electronicdesign.com/automotive/leveraging-spark-and-ada-cutting-edge-auto-systems