OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 23 Октябрь, 2018 09:11

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 25 ]  На страницу 1, 2  След.
Автор Сообщение
 Заголовок сообщения: Ошибки в софте для космоса
СообщениеДобавлено: Среда, 26 Октябрь, 2016 17:48 

Зарегистрирован: Четверг, 17 Ноябрь, 2005 11:51
Сообщения: 2930
Откуда: г. Ярославль
Марсианская программа сама по себе беда, а тут ещё выясняется, что Скиапарелли упал из-за программных ошибок: http://izvestia.ru/news/640748

Цитата:
Директор центра управления полетами Европейского космического агентства (ЕКА) Рольф Денсинг сообщил, что посадочный модуль «Скиапарелли» разбился при приземлении на Марс из-за зависания программы, которая работала с радаром и системой замера высоты.

По его словам, операционная система модуля посчитала, что он уже сел, поэтому сбросила парашюты и отключила двигатели на высоте 2–4 км.

«Он завис или не отвечал на вызовы операционной системы лендера достаточно долгое время, в результате чего был сброшен парашют. Затем OS модуля посчитала, что он уже находится на земле, и отключила двигатели», — цитирует слова Денсинга агентство «РИА Новости».


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Среда, 26 Октябрь, 2016 23:03 

Зарегистрирован: Вторник, 29 Август, 2006 12:32
Сообщения: 2524
Откуда: Россия, Ярославль
Вангую, что разгромных статей плакальщиков, мол, еврокосмос всё, зонд разбился о небесную твердь и т.д. и т.п. мы не дождёмся. Пустяки какие, это же европейский эксперимент был, и вообще, так и было задумано, посмотреть с американского зонда на взрыв европейской консервной банки. Успех программы ЕКЗОМАРС.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Среда, 26 Октябрь, 2016 23:04 

Зарегистрирован: Вторник, 29 Август, 2006 12:32
Сообщения: 2524
Откуда: Россия, Ярославль
А программный код тоже никому не покажут, а то вдруг там много глобальных переменных, как в прошивке высокотехнологичной автомашины Тойота.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Четверг, 27 Октябрь, 2016 00:24 

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 708
Откуда: Киев
Это совместная миссия Европейского космического агентства и Роскосмоса, так что не волнуйтесь, повод для шуток найдётся.
https://geektimes.ru/post/281738/#comment_9645172
Цитата:
Пора уже понять, что Роскосмос и Марс — несовместимые понятия


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Четверг, 27 Октябрь, 2016 03:53 

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 372
Comdiv писал(а):
Это совместная миссия Европейского космического агентства и Роскосмоса, так что не волнуйтесь, повод для шуток найдётся.
https://geektimes.ru/post/281738/#comment_9645172
Цитата:
Пора уже понять, что Роскосмос и Марс — несовместимые понятия

Уроды...


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Четверг, 27 Октябрь, 2016 08:42 

Зарегистрирован: Вторник, 29 Август, 2006 12:32
Сообщения: 2524
Откуда: Россия, Ярославль
Софт писали европейцы.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Четверг, 27 Октябрь, 2016 11:48 

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 708
Откуда: Киев
Такие подробности интересуют далеко не всех. Справедливости ради, надо сказать, что конкретно тот комментарий здорово заминусовали.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Вторник, 01 Ноябрь, 2016 14:04 
Аватара пользователя

Зарегистрирован: Воскресенье, 12 Апрель, 2015 18:12
Сообщения: 1067
Откуда: СССР v2.0 rc 1
"Между тем, как выяснила «Газета.Ru», российское участие в проекте «ЭкзоМарс» не ограничивалось созданием двух научных приборов и запуском миссии ракетами «Протон». Исполняющий обязанности генерального директора НПО имени Лавочкина Сергей Лемешевский подтвердил «Газете.Ru», что в расчете баллистического спуска Schiaparelli ранее принимали участие специалисты Центрального аэрогидродинамического института (ЦАГИ)."
https://www.gazeta.ru/science/2016/10/21_a_10263761.shtml#page3


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Вторник, 29 Ноябрь, 2016 08:21 

Зарегистрирован: Четверг, 17 Ноябрь, 2005 11:51
Сообщения: 2930
Откуда: г. Ярославль
Европейцы выдали больше деталей: http://www.esa.int/Our_Activities/Space ... s_progress

Затупил инерциальный модуль, измеряющий вращение аппарата и начал подавать неверные данные в навигационную систему. Оная решила, что высота стала отрицательной и отстрелила парашют на высоте 3.7 км, после чего аппарат благополучно рухнул.

Пишут, что ошибку воспроизвели на симуляторе.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Вторник, 29 Ноябрь, 2016 10:03 
Аватара пользователя

Зарегистрирован: Воскресенье, 12 Апрель, 2015 18:12
Сообщения: 1067
Откуда: СССР v2.0 rc 1
Мне вот непонятно.... А краш-тесты на земле вот не судьба была выполнить?)))


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Вторник, 29 Ноябрь, 2016 11:21 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9011
Откуда: Россия, Орёл
Так они комплексные натурные испытания не производили, вроде, вообще.
Они, чтоб сэкономить, испытательную часть поручили какой-то румынской конторе,
а те не выполняли реальное приземление копии аппарата.

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Вторник, 29 Ноябрь, 2016 13:18 
Аватара пользователя

Зарегистрирован: Воскресенье, 12 Апрель, 2015 18:12
Сообщения: 1067
Откуда: СССР v2.0 rc 1
Жесть... Ухудшающий отбор в действии.
Нет, я всё понимаю, грохнуть копию аппарата ради испытаний дорого, но не так дорого, как не выполнить научную задачу. Да и престиж страны -- тоже не пустой звук.

Но хотя бы порадовало то, что наши к этому безобразию отношения не имеют. Будем надеяться, что для разработки бортового ПО наши введут хранилище, не гит, так хоть базар. И методики разработки, взаимодействия и испытаний обновят. Против Модулы-2 совсем ничего не имею, заведомо штука годная. Но от кривых рук это, как известно, не спасает.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Вторник, 29 Ноябрь, 2016 15:45 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9011
Откуда: Россия, Орёл
В Роскосмосе большой зоопарк.
Где что.

НПЦ АП (а это только системы выведения, в основном, - РН и разгонные блоки) - ГРАФИТ-ФЛОКС (предок ДРАКОНа).
Можно считать это технологией уровня пром. автоматизаций (теги, глобальная память, визуальные правила... как языки МЭК и более продвинутые Сименса, условно). Со всеми вытекающими плюсами (а они есть - без программистов, определённое единообразие и всё-таки ближе к конфигурированию, чем к программисткой вольницей) и минусами (низкий уровень абстракции. Сравни с Бураном, когда участовал ИМП Келдыша: там была сильная мат. формализация, языки формализации ПРОЛ, ДИПОЛЬ, но это требовало разработчиков абсолютно другой компетенции - профессиональных программистов-математиков, не инженеров. Путь же такого CASE и визуальной верификации позволил предприятию пережить 90-е с минимумом программистов и успешно свои задачи решать все эти годы.
Очень хорошо отлажен процесс организационно (центральная база переменных-тегов для всех, с поддержанием информации, утверждение любых изменений документами, а не "в голове у разработчика", превосходный комплексный стенд испытаний, где вся система управления в сборе гоняется во всех режимах со съёмом телеметрии).
Опять же, бортовой комп у них производится на предприятии. На микросхемах степени интеграции 80-х гг. БИСЕР-6. Три платы с голосованием. Надежён, как топор.

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

Уровень, конечно, - это НПО Решетнёва: http://www.inr.ac.ru/~info21/pdf/AAKpaper2006.pdf
У них не просто Модула, а полное инструментирование процесса и управление жизненным циклом.

По другим предприятиям, по-моему, всё гораздо дремучее.
На "Тополях" всяких (закрытое подразделение НПЦАП), возможно, даже С++.
Лавочкина - как придётся, кто придётся (пусть поправят, если я не прав).

По Самарскому ЦСКБ Прогресс уважаемый Андрей TAU Тюгашёв лучше расскажет - там что-то крутится из его высокоуровневых визуальных инструментов, и что-то ещё...

РКК "Энергия" рассказывали о выстроенном орг. процессе на базе POSIX (QNX, Linux) и C - стека (кстати, винда на МКС тоже есть на вторичных машинах типа лабораторных. А так - QNX). По крайней мере, процесс как-то упорядочен.
По Интырнету бегал какой-то товарищ, поработавший у них, с криками "ужас-ужас-ужас" (нашумевшая статья "Как разрабатывается наш космический софт...", что-то в этом духе). Подозреваю, что может быть и "ужас" (доклады красивые сделать легко). Но всё же не "ужас-ужас-ужас" )))


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Вторник, 29 Ноябрь, 2016 17:57 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9011
Откуда: Россия, Орёл
Да, забыл. У "Энергии" подход (как они докладывались) в том, что система проектируется как набор изолированных компонентиков, обменивающихся сообщениями. И работающих как изолированные процессы. И вот на стыке, по сообщениям, они там что-то такое применяют, типа описания грамматики протокола (возможно, автоматное) и контроль обмена.
А уже каждый такой компонентик "гуанокодится" на Цы.

Т.е. дырявость языка, как обычно, пытаются закрыть уровнем выше.

Вообще, QNX к такому стилю и располагает, но у них это не привязано, насколько я понял, только к QNX.

А, ещё они большие любители boost.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Пятница, 02 Декабрь, 2016 18:54 
Аватара пользователя

Зарегистрирован: Вторник, 22 Ноябрь, 2016 00:53
Сообщения: 3
Откуда: Tallinn
модерновый подход получается у "энергии", микросервисы сегодня тренд


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Пятница, 02 Декабрь, 2016 19:13 
Аватара пользователя

Зарегистрирован: Воскресенье, 12 Апрель, 2015 18:12
Сообщения: 1067
Откуда: СССР v2.0 rc 1
Илья Ермаков писал(а):
Да, забыл. У "Энергии" подход (как они докладывались) в том, что система проектируется как набор изолированных компонентиков, обменивающихся сообщениями.....

Илья, так QNX именно на сообщениях и работает)) И построение интерфейсов (непонятно зачем в hard real time), и параллельность, и ввод-вывод. Есть у меня такой профильный журнал: "Современные технологии автоматизации", у них там на сайте публичная ссылка дана на серию статей про QNX. Автор сомневается даже как интерпретировать widget. В целом, статья для практики полезная, но странно, что инженер освоивший систему на таком уровне начинает статью в такой журнал отправлять)))

Мне QNX не нравится. Гораздо ближе по духу мне встроенные решения, а ПК так... Ретроспектива, картинка оператору, сюда нажми, тут посмотри))

Но вот с утра новость: грузовой корабль "Прогресс" начал исследовать центральную Сибирь!)
Смех сквозь слёзы... Накажут как всегда рабочего поставившего датчики кверх ногами.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Пятница, 02 Декабрь, 2016 19:53 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9011
Откуда: Россия, Орёл
Цитата:
Илья, так QNX именно на сообщениях и работает))

Да я знаю, только у них, насколько я помню, библиотека обмена не привязана только к QNX. Как бы не на основе boost.

Цитата:
И построение интерфейсов (непонятно зачем в hard real time)

Ну если система подразумевает ручное реал-тайм управление, а не просто наблюдение за автоматическими режимами, то и АРМ (SCADA) должна удовлетворять hard-real time.

Дмитрий Дагаев в прошлом году рассказывал про адапатацию Active Oberon для их задач (именно при этом АРМ) - выделение памяти только в начале работы, потом GUI должен работать с отключенным выделением памяти.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Пятница, 02 Декабрь, 2016 21:08 
Аватара пользователя

Зарегистрирован: Воскресенье, 12 Апрель, 2015 18:12
Сообщения: 1067
Откуда: СССР v2.0 rc 1
На сколько помню, скорость реакции ГИП под QNX начинает бесить уже через 3 мин. работы)) Это такой тормоз.. Можно командирским языком роман написать)) Дельта по времени на всех SCADAх колеблется от секунды до пяти. А критические функции проводами прибиты от датчика к разрыву электро-магнитного пускателя. Поэтому графика в промышленно-полевой ОС у меня вызывает дурные вопросы)) Я бы не доверил QNX атомную станцию, или уж тем более -- ракету, где время реакции чем меньше, тем спокойней жить. Когда всё в кучу уж слишком сильно собрано -- это опасно.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Суббота, 03 Декабрь, 2016 07:57 

Зарегистрирован: Вторник, 26 Январь, 2010 09:31
Сообщения: 512
Реалтайм на сообщениях это забристая штука, тут даже не пропатченая А2 будет предпочтительнее ( ну если выкинуть оттуда студенческие поделки, и другой исследовательский хлам)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки в софте для космоса
СообщениеДобавлено: Суббота, 03 Декабрь, 2016 13:11 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9011
Откуда: Россия, Орёл
Я бы в ответственные части вообще и вытесняющую приоритетную многозадачность не пускал.
Сложность порождается неконтролируемая. При всех их теориях реал-тайм приоритетов и т.п.

Циклограммная, автоматная логика и т.п.
Все кусочки всех задач укладываются в гарантированную длину цикла.
Ну, в конце концов, именно так МЭКовские языки в ПЛК работают (хотя там у них уровень абстракций никакой).

У НПЦ АП именно так организовано тоже в ГРАФИТ-ФЛОКСЕ.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 25 ]  На страницу 1, 2  След.

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
cron
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2018, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB