3 ms·
Airbus and Boeing both use Ada for their avionics.
by DonaldFisk 9y ago
Airbus and Boeing both use Ada for their avionics.
- platinumrad 9y agoI don't know about Boeing but Airbus uses C in addition to Ada. IIRC they made significant use of Caveat and are now supporting Frama-C.
- a-priori 9y agoSpecifically, unless my knowledge is out of date, they use a subset of C known as MISRA-C that is easier to analyze using static analysis.