4 ms·
Airbus writes all their flight control software in C, but it's not C as you would find in say your Linux distro, more like a tightly controlled subset of C with
by rwmj 2y ago
Airbus writes all their flight control software in C, but it's not C as you would find in say your Linux distro, more like a tightly controlled subset of C with its own compilers, toolchains and formal verification. So they're already writing it in a different language, just one that superficially looks like C.
- MaxBarraclough 2y agoAirbus 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).
- DrNosferatu 2y agoIs Airbus using CompCert? https://en.m.wikipedia.org/wiki/CompCert https://en.m.wikipedia.org/wiki/CompCert
- rwmj 2y agoI believe so, but not the upstream version, via their commercial partner: https://www.absint.com/ https://www.absint.com/