Описываются проблемы качества и надежности управляющего программного обепечения в авиакосмической отрасли и пути их решения...