Фобос-Грунт, Yinghuo 1 – Зенит-2SLБ – Байконур 45/1 – 09.11.2011 00:16 ЛМВ

[LRV_75]

Мы пока ищем, что необходимо сделать для того, чтобы исправить ситуацию, которая сложилась", - сказал глава Роскосмоса.

ИМХО, пора привлечь к работе над аппаратом хаккеров.
Выложить в сеть исходники и попросить найти уязвимость - последовательность команд, которая приведёт к пеерзагрузке БЦВМ или включит МДУ в обход стандартных протоколов.

ИМХО там флажок должен быть, который взводится после выхода на переходную, после чего разблокируется канал связи с землей. Вот бы этот флажок в TRUE вздернуть бы?  :roll:

[alad]

А вообще, интересно, там народ сейчас рассматривает нестандартные варианты воздействия на аппарат?
Что-то вроде выбить клин-клином: если текущая ситуация возникла из-за нештатки, то может быть искуственно создать другую нештатку? Засветить лазером звёздный датчик... или сконцентрировать на аппарате радиосигнал повышенной мощности, чтобы как-то перегрузить входной тракт приёмников...?
У аппарата есть вообще уязвимые места куда можно "стукнуть кулаком"?

[TAU]

Формальная проверка заключается в построении адекватных мат. моделей и нахождении формального доказательства того, что в схеме-прошивке-алгоритме нет ошибок

Все это красиво но проблема в том что все эти мат модели опять же человек составляет..

Конечно. Но силу формального доказательства это не отменяет... То же самое делает Хольцман в NASA. Он начал с того, что нашел ошибки в ПО Deep Space Probe, прошедшего все стадии тестирования. Нашел он их формально, анализирую им же сделанную мат. модель

Имея прямое отношение к проблематике, вставлю свои пять копеек для неспециалистов.
1. Тестирование ПО в ПРИНЦИПЕ неспособно гарантировать его корректность просто из-за астрономического количества возможных вариантов его исполнения. Конечно же, это не означает, что от тестирования надо отказываться.
2. Формальные методы - весьма перспективное направление в области верификации программ, особенно - критических, именно потому, что они могут гарантировать (теоретически) наличие или отсутствие каких-то свойств.
3. Метод, который использовал Хольцманн - так называемая проверка моделей программ или model checking - страдает серьезнейшим указанным недостатком - сначала строится МОДЕЛЬ программы, а затем она проверяется. Кстати, фактически методом "прогона" скорее, а не логическим, но это уже детали. Самая же главная проблема - в гарантии АДЕКВАТНОСТИ этой построенной модели самой программе.
Кроме того - сформулировать проверяемые свойства не столь просто, и проверяются только НЕКОТОРЫЕ свойства системы. А хотелось бы проверить гораздо больше - желательно ВСЕ важные свойства.  
Вот если бы удалось строго доказывать корректность САМОЙ управляющей программы, а не модели - это стало бы прорывом. А еще лучше - удалось бы построить методы, позволяющие АВТОМАТИЧЕСКИ строить гарантированно правильную программу, на 100% соответствующую спецификации.

[Steel2]

у нас есть время (восстановить контроль) до первых чисел декабря", - сказал Поповкин.

http://ria.ru/science/20111114/488192899.html

Ему наверно не сказали что окно в 20 числах ноября закрывается  

Я вот думаю, что чем его топить - лучше бы (если, конечно, произойдет чудо и в алгоритме переполнится какой-то счетчик и его расклинит) - в случае восстановления управления и возможности продолжить миссию, пускать его по маршруту и после закрытия окна. Хотя бы алгоритмы по дороге "туда" проверить и управляемость на предельной дальности... Мечты, мечты...

[Kotov]

ИМХО, пора привлечь к работе над аппаратом хаккеров.
Выложить в сеть исходники и попросить найти уязвимость - последовательность команд, которая приведёт к пеерзагрузке БЦВМ или включит МДУ в обход стандартных протоколов.

А в случае успеха, особо отличившегося зачислить в штат Лавки года на 3?

[Танк]

Конечно "Поздно Маша пить боржом..."

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

[Ioda]

ИМХО, пора привлечь к работе над аппаратом хаккеров.
Выложить в сеть исходники и попросить найти уязвимость - последовательность команд, которая приведёт к пеерзагрузке БЦВМ или включит МДУ в обход стандартных протоколов.

А в случае успеха, особо отличившегося зачислить в штат Лавки года на 3?

Это скорее будет наказание, а не поощрение.  

[FCAL]

"Предприятие примет на работу:

Выпускников высших учебных заведений (москвичи и жители Подмосковья) по специальностям:
 математик, программист, конструктор, технолог, инженер-электроник, радиоэлектроник
Зарплата молодого специалиста от 20 000 руб.

В полтора-два раза ниже среднерыночной по Москве...

А где-то писали, что реально у них без опыта получают 14000+премии. Может, это и получается 20.

Из вторых рук:
20 т.р. - оклад молодому специалисту после ВУЗа
6 т.р. - надбавка молодому специалисту после ВУЗа
В конце месяца - премия, порядка 20 т.р.
В конце года - премия, порядка 100 т.р.

Все это применительно к выпускникам МАИ.

[Back-stabber]

у нас есть время (восстановить контроль) до первых чисел декабря", - сказал Поповкин.

http://ria.ru/science/20111114/488192899.html

Ему наверно не сказали что окно в 20 числах ноября закрывается  

А через Луну?
Метров 400 в секунду "халявных"-то наверное -- можно поиметь...  :roll:

[Steel2]

или сконцентрировать на аппарате радиосигнал повышенной мощности, чтобы как-то перегрузить входной тракт приёмников...?

Вообще если приемник Х-диапазона запитан (это было бы странно, учитывая то, что его использование на этом этапе не предусмотрено, и каждый ампер/час на счету) - то даже со свернутой антенной его вполне можно на этой высоте пробить мощным сигналом. Впринципе Поповкин об этом и говорит:

он был предназначен первый раз работать, когда он будет в нескольких десятках тысячах километрах от Земли и, естественно, мощность передатчиков была настроена так, чтобы сигнал доходил туда. Мы боялись, что мы сожжем этим сигналом борт, потому что сигнал будет очень сильный. Поэтому предстоит много внутренних подготовительных мероприятий, которые необходимо сделать", - сказал он.

В настоящее время, по словам Поповкина, расширено окно и снижена мощность сигнала передатчиков. "То же самое сделали наши партнеры по Европейскому космическому агентству на двух своих пунктах, поэтому я говорю, что шансы пока еще есть", - заявил Глава Роскосмоса.

[Kotov]

А вообще, интересно, там народ сейчас рассматривает нестандартные варианты воздействия на аппарат?
Что-то вроде выбить клин-клином: если текущая ситуация возникла из-за нештатки, то может быть искуственно создать другую нештатку? Засветить лазером звёздный датчик... или сконцентрировать на аппарате радиосигнал повышенной мощности, чтобы как-то перегрузить входной тракт приёмников...?
У аппарата есть вообще уязвимые места куда можно "стукнуть кулаком"?

На что предлагаете воздействовать?
На систему ориентации и стабилизации АМС?

[Kotov]

А в случае успеха, особо отличившегося зачислить в штат Лавки года на 3?

Это скорее будет наказание, а не поощрение.  

Это будет прежде всего последовательно, учитывая расчётное время миссии АМС...

[Ntone]

...А хотелось бы проверить гораздо больше - желательно ВСЕ важные свойства.  
Вот если бы удалось строго доказывать корректность САМОЙ управляющей программы, а не модели - это стало бы прорывом. А еще лучше - удалось бы построить методы, позволяющие АВТОМАТИЧЕСКИ строить гарантированно правильную программу, на 100% соответствующую спецификации.

Видимо надо упрощать средства разработки программ. Тут в обсуждении проскакивало мнение человека, видимо, разрабатывавшего ПО в НПОЛ, но ушедшего, что те кто остались не смогут написать ничего достойного на С/С++, хотя утверждения, что именно на нём идёт разработка - не было. Так вот в моём понимании, средства разработки должны быть очень простыми, не С/С++, а например скриптовый язык высокого уровня, работающий в отлаженной среде. Не знаю, возможно таким в жизни ПО для космических аппаратов и есть.

[alad]

На что предлагаете воздействовать?
На систему ориентации и стабилизации АМС?

Да.
Кидайте в меня камни, но если стандартными способами достучаться будет нельзя, то стоит попробовать воздействовать на борт любыми способами, способными вызвать реакцию БЦВМ для парирования/защиты

[Steel2]

"Предприятие примет на работу:

Выпускников высших учебных заведений (москвичи и жители Подмосковья) по специальностям:
 математик, программист, конструктор, технолог, инженер-электроник, радиоэлектроник
Зарплата молодого специалиста от 20 000 руб.

В полтора-два раза ниже среднерыночной по Москве...

А где-то писали, что реально у них без опыта получают 14000+премии. Может, это и получается 20.

Из вторых рук:
20 т.р. - оклад молодому специалисту после ВУЗа
6 т.р. - надбавка молодому специалисту после ВУЗа
В конце месяца - премия, порядка 20 т.р.
В конце года - премия, порядка 100 т.р.

Все это применительно к выпускникам МАИ.

А чего ж эти паразиты не рекламируют это разу там же, где вакансии прописаны? 99% народу видят сумму "20 т.р." и это окно в браузере сразу же закрывают.
Да, и боюсь что теперь премии очень многие долго не увидят, ни ежемесячной, ни годовой. Думаю, вся банда ФГ не увидит, пока будут разбираться, кто виноват. А кормить семью надо.

[HPC]

Будет интересная ситуация, если аппарат оживят за пределами окна запуска к Марсу. Сложно ли перебирать, какие астероиды достижимы с имеющимися запасами ХС?

[Kotov]

На что предлагаете воздействовать?
На систему ориентации и стабилизации АМС?

Да.
Кидайте в меня камни, но если стандартными способами достучаться будет нельзя, то стоит попробовать воздействовать на борт любыми способами, способными вызвать реакцию БЦВМ для парирования/защиты

Так это же не военный КЛА, где изначально в алгоритме управления предусмотрены различные "противозенитные" манёвры, после которых Изделие спустя отведённое время начинает всеми силами искать наземные комплексы связи..

В случае АМС алгоритмом управления такие экзерсисы не предусмотрены, и кроме желания  БЦВМ  удержаться на нынешней орбите, других реакций у неё быть не должно.

Если только она не эволюционирует до искусственного разума-))

[Steel2]

Будет интересная ситуация, если аппарат оживят за пределами окна запуска к Марсу. Сложно ли перебирать, какие астероиды достижимы с имеющимися запасами ХС?

Да так пусть летел бы, хрен с ней с посадкой. Хоть посмотрели бы, туда долетел бы куда надо и вовремя ли долетел бы.

[alad]

В случае АМС алгоритмом управления такие экзерсисы не предусмотрены, и кроме желания  БЦВМ  удержаться на нынешней орбите, других реакций у неё быть не должно.

Зато у неё могут найтись проблемы, например, с переполнением стека зарегистированных ошибок в работе звёздного датчика.
И если его с определённой ритмичностью засвечивать, то переполнение стека вызовет сбой и перезагрузку системы.
А перезагрузившись, БЦВМ посмотрит на часы реального времени, решит, что уже далеко от земли и включит передатчики.
(всего лишь пример)

[Танк]

А вообще, интересно, там народ сейчас рассматривает нестандартные варианты воздействия на аппарат?
Что-то вроде выбить клин-клином: если текущая ситуация возникла из-за нештатки, то может быть искуственно создать другую нештатку? Засветить лазером звёздный датчик... или сконцентрировать на аппарате радиосигнал повышенной мощности, чтобы как-то перегрузить входной тракт приёмников...?
У аппарата есть вообще уязвимые места куда можно "стукнуть кулаком"?

"Засветить" можно химическим лазером с Боинга, он может быть и "заколыхается", но от этого приемник не включится