[viraptor]

Ada is known for those kind of applications. Very restrictive types / contracts make it a good choice.

Of course a lot of safety critical stuff is still written in C or C++. They may not be perfect, but they're not terrible choices.

[inetsee]

Ada has been used a great deal in the past for military applications, including flight control software for military planes. One of the real advantages of Ada is that there are a number of tools designed to make sure that Ada programs are about as safe as it is possible to make software.

I can't help wondering if some of the problems the F-35 is having is because its software development is being done mostly in C++ and C.

Unfortunately, I would be really surprised if there is an Ada toolchain that can produce code for a microcontroller like the ESP8266.

[viraptor]

GNAT seems to have no problem with that: https://github.com/RREE/esp8266-ada/wiki/Steps-for-building-...