[yawaramin]

> Usually hundreds of million lines of C/C++ power modern vehicle.

And I find that highly problematic. If anything, Ada would be a much better choice for these safety-critical applications.