Dear all,
NVIDIA and AdaCore have jointly worked on publishing the process to get an Ada/SPARK autonomous driving system to be ISO-26262 compliant.
Best part is, NVIDIA open sourced their documents for everybody to see (see link above)! The page with the rendered documentation can be found here.
Also, I would like to bring your attention to the fact that this is not the only area NVIDIA is working with Ada/SPARK. Cybersecurity is also one of their main focus points
I believe it is very important to communicate and showcase these results/choices. People think that Ada is not used anymore; if it is used, it is in legacy system; if it is used in legacy systems it is being replaced, etc. Well, here is a fresh, fresh, fresh, out of the oven, ripe and ready to be digested bit of news coming from the currently most valuable company (depending on market conditions) and it is not related to AI.
It would be nice if some of you reposted this info in HackerNews/Reddit/Phoronix/etc and proactively and kindly answered people’s questions about Ada, its usage, etc. Also, it is very important to note that SPARK, GNAT, GNAT-LLVM and SPARKlib are all open source programs/libs under rather liberal licenses and that people can just get a hold of them and use them right now!
Best regards,
Fer 