Как мне видится с гражданской позиции, электроника и софт самолета являют собой системы сложные и со специфическими требованиями в плане багов, недоработок, заточки под конкретные изделия и.т.п.
Сам процесс отладки при таком уровне надежности должен быть очень кропотливым, до каждой команды, чтобы исключить нештатки при использовании.
Ну так вот я почему-то это представляю