3 ms·
>For Ada it's the US government Ada is used widely in safety critical software outside the US
by NextHendrix 7y ago
>For Ada it's the US government
Ada is used widely in safety critical software outside the US
- int_19h 7y agoOut of curiosity - what are some recent examples (both government and private)?
- 7thaccount 7y agoLook on Adacore's website. They have a decent amount listed iirc.
- pjmlp 7y agoNVidia, it has decided to go with Ada/SPARK instead of Frama-C or Rust (the othe candidates) as official language for security critical firmware. GenodeOS project, started to rewrite security critical modules from C++ into Ada/SPARK.
- DoingIsLearning 7y agoAdd is used in a lot of areas outside Defense and Aerospace (which I assume is what people associate Ada with). Air Traffic Management and Rail Signalling systems are probably the two biggest fields outside of Defense/Aerospace where Ada has commercial success. A big barrier to entry was previously the high cost of the toolchain for commercial applications (that's somewhat changed). Which meant it was only economically feasible for large companies in very safety-critical contexts.