NOOO!!!!! Not Ada again. I remember the government trying to force that down everyone’s throat. Yes it has some good points (that you point out), but it needs user community acceptance to be a viable solution. It was just too much a red-headed step child that the big government was trying to shove down programmers throats. If it had a different backer it may have been more successful.
There are other options, but they’re not suitable for multi-thread programming as Ada now is.
The government was right to push some manner of standard for their software - after all, they were spending a huge whackin’ pile of money on software, in no less than about 15 languages in the 70’s and 80’s. There was no “push down programmers’ throats.” There was a requirement that if you were writing mission critical software for a government contract, you had to write it in Ada or show very good cause why you could not. That’s entirely reasonable.
The reasons why there is so little acceptance of better languages in the US software community has to do with what is taught in CS/EE programs across the country. C came with Unix, and Unix swept across campuses in the 80’s because it was *free* (ie, free as in ‘free beer’.)
While C is/was an OK language for putting up kernels on PDP-11’s, it is a horrible application language.