Does Google (or Tesla or Uber) use Ada for their self-driving car projects? I am afraid that answer is likely C++.
I noticed that this article mentions MISRA-C but not Ada. I thought I had read the Toyata used SPARK Ada. Michael Barr's slides have more technical details about Toyota's C code:
I noticed that this article mentions MISRA-C but not Ada. I thought I had read the Toyata used SPARK Ada. Michael Barr's slides have more technical details about Toyota's C code:
http://www.safetyresearch.net/Library/BarrSlides_FINAL_SCRUB...