Что случилось со спутниками ГЛОНАСС? - Они утонули

МОСКВА, 6 декабря. /ИТАР-ТАСС/. Наиболее вероятной причиной неудачи с выводом на орбиту трех спутников системы ГЛОНАСС специалисты считают ошибки в математическом обеспечении ракеты. Об этом сообщил сегодня ИТАР- ТАСС источник в ракетно-космической отрасли.

По сообщению ИТАР-ТАСС причиной падения Протона и потери  спутников может быть проблема в программном обеспечении. Если так, то программисты и их манагеры должны почувствовать свою сопричастность к событию.
В книге “Наука отладки” даются примеры и “изучаются знаменитые ошибки” ПО, в том числе и в ПО космических аппаратов. Опубликованную главу, как и саму книгу, стоит прочитать.

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

Quote from: edkyle99 on 12/05/2010 07:40 PM --- Sure, Proton does fail at times.  It failed four times during the past decade during which it flew 82 times.  How does that compare to Western launch vehicles?  It does not compare - because no Western rocket flew anywhere close to that many times during that period.

Quote from: woods170 on 12/06/2010 07:07 AM --- I don't agree Ed. Four mishaps in 82 launches. That one-in-twenty on average. Delta 2 flew 55 times in the past decade without a single failure. (And yes, I'm well aware of the fact that Delta 2 is not nearly as powerfull as Proton.)

Quote from: edkyle99 on 12/05/2010 --- When it comes to space launch, one in twenty (95% success rate) is pretty good.  When it comes to big commercial geosat launch, 95% is about as good as it gets.  There are currently only two major players in this market.  One, Ariane 5 ECA has a 96% realized success rate in 28 flights (if we don't count the recent W3B satellite loss - still under investigation - as an Ariane failure).  The other, Proton M/Briz M, has a 93% realized success rate in 42 flights.  Sea Launch Zenit was the third major player until it went bankrupt.  It had a 90% realized success rate in 30 launches.  Delta 2 currently is working a string of 93 consecutive successes, best in U.S. history.  But, as you noted, Delta 2 is a smaller, less complex rocket than Proton, with half as many liquid stages (and one of them pressure-fed hypergolic - as close to failure proof as it comes in spaceflight).    

Эти вечная проблема, как писать без ошибок, как выявить и устранить их, кажется, никогда не будет решена. Но стремиться к этому необходимо - в отдельном программном компоненте и в “целостной” системе, в работе отдельного программиста и команды в целом. Банально. Иначе - Пусть занудные тестируют коды. Тут я вспомнил начало наших ответных действий на ошибки в IPL. Нашел свое письмо команде, озаглавленное iplBadImageProcessingLibrary, с указаниями, что делать. Забавно выглядит, особенно издалека. Выдержки (дословные):
…
Печально известен факт, что[бы] потерять авторитет, достаточно одного слабого голоса, для того, чтобы приобрести авторитет, нужно множество зычных и вразумительных дел.
Вижу три направления, по которым мы можем исправлять ситуацию с библиотекой
1) тщательное, продуманное и целенаправленное на ошибки тестирование и исправление ошибок
2) подробные спецификации функций в документации и строгое их соблюдение
3) …
Я не предлагаю объявлять чрезвычайное положение и вводить комендантский час, но кое-что, думаю, должно измениться на период выпуска библиотеки IPL20.
…
3) АК, если он, вдруг иногда, проявляет слабость при приеме кода ...
4) ИА, заниматься в основном тестированием и целенаправленно пытаться обнаружить ошибки, то есть сменить направленность демо и использовать построенную интерактивную систему на СТРАСТНЫЙ поиск ошибок. Результаты опубликовать
...
всего 14 пунктов