@ApuntesCiencia if you mean in aerospace engineering, I may believe you - I've seen seminars from ESA on how they use Ada for fault-proof code and it's beyond impressive.
If you mean commercial code outside of aerospace... Well, it's another thing.
Top-level
@ApuntesCiencia if you mean in aerospace engineering, I may believe you - I've seen seminars from ESA on how they use Ada for fault-proof code and it's beyond impressive. If you mean commercial code outside of aerospace... Well, it's another thing. 1 comment
|
@blacklight I meant aerospace only, yes. But both institutional (such as ESA) and commercial (such as my company) at the end of the day, shall fly stuff. I make satellite control centers for a living, and in my company there is a division fully devoted to onboard software, so I’m exposed to that as well. I learnt Ada as part of my internal training, big fun.