←back to thread

Introduction to Ada: a project-based exploration with rosettas

(blog.adacore.com)
193 points jaypatelani | 1 comments | 02 Sep 25 17:32 UTC | HN request time: 0s | source
Show context
giancarlostoro ◴[02 Sep 25 18:15 UTC] No.45106948[source]▶
So is there a list or statistic of how many DOD projects actually use Ada?
replies(4): >>45107636 #>>45108324 #>>45108359 #>>45111087 #
sharpy ◴[02 Sep 25 19:08 UTC] No.45107636[source]▶
Worked in the defence industry for a few years in the 2000s. I worked on exactly one Ada project. The rest were C/C++. I presume the shift away from Ada has accelerated if anythinng.
replies(5): >>45107689 #>>45107818 #>>45107890 #>>45108083 #>>45113825 #
blutack ◴[02 Sep 25 19:13 UTC] No.45107689[source]▶
This might be a US/EU difference. It's pretty popular in the EU still, although some of the market has been taken by various Simulink to C tools.

Every Rolls-Royce gas turbine FADEC runs ADA binaries on a custom processor [1].

It's also used extensively at Airbus. Lots of DO-178C (safety critical aerospace).

1: https://www.his-conference.co.uk/session/visiumcore-a-high-i...

replies(3): >>45110054 #>>45111002 #>>45115299 #
1. ajxs ◴[02 Sep 25 22:41 UTC] No.45110054[source]▶
Thank you for sharing this! I'd love to know more about what led them to develop their own CPU, and what the instruction set looks like. It looks like AdaCore actually merged their support for VISIUMCore into upstream GCC. The slides state it features SEU detection/correction, which is pretty interesting.