I think a lot of software engineers would be blown away at how strict software standards are for avionic systems. Like 100% modified condition/decision coverage for all software tests, strict. No pointer math and no dynamic memory allocation, strict.
https://en.wikipedia.org/wiki/Modified_condition/decision_co...