Наверное, имелась в виду ракета "Ариан", а не Ариадна. А в чём пересмотр?

..пересмотреть свое отношение к функциям LONG, SHORT и применению ASSERT…

Значение BH было намного выше ожидаемого, т.к. начальный участок траектории Ariane 5 отличается от подобного участка для Ariane 4 и приводит к значительно большим значениям горизонтальной скорости.

Не имеется никаких доказательств, что какие-либо данные о траекториях использовались для анализа поведения незащищенных переменных. Более того, важно отметить, что существовало совместное соглашение о невключении данных траектории Ariane 5 в требования и спецификации SRI.

Исключительная ситуация была обнаружена, но была обработана неподобающим образом, потому что было принято считать, что ПО должно рассматриваться, как правильное, пока не доказано обратное. Комиссия имеет основания предполагать, что этот же принцип лежит в основе и других разработок ПО для Ariane 5. Комиссия придерживается противоположной точки зрения - что ПО должно изначально считаться содержащим ошибки, пока использование принятых в настоящее время самых лучших практических методов не докажет, что оно правильное

И чего эта авария всё время мусолится с точки зрения технологий программирования и т.п.

И чего эта авария всё время мусолится с точки зрения технологий программирования и т.п.