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

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s