4 ms·
Airbus do seem to use Ada for some things: • Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System https://news.ycombinator.com/item?id=2448898
by MaxBarraclough 2y ago
Airbus do seem to use Ada for some things:
• Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System https://news.ycombinator.com/item?id=24488986 https://news.ycombinator.com/item?id=24488986
• https://www.adacore.com/press/a350 https://www.adacore.com/press/a350
• https://www.adacore.com/press/airbus-selects-gnatpro-for-vsr700-prototype https://www.adacore.com/press/airbus-selects-gnatpro-for-vsr...
- rwmj 2y agoTotally makes sense to choose Ada (definitely not a new language!) for green field development. But as I understand it, the Airbus flight control systems are millions and millions of lines of "C", and they ain't getting rewritten any time soon or probably ever. However they do invest a lot in toolchains and formal software verification (in Newport, Wales).