OberonCore https://forum.oberoncore.ru/ |
|
Ошибки в софте для космоса https://forum.oberoncore.ru/viewtopic.php?f=152&t=5933 |
Страница 1 из 2 |
Автор: | Иван Кузьмицкий [ Среда, 26 Октябрь, 2016 17:48 ] |
Заголовок сообщения: | Ошибки в софте для космоса |
Марсианская программа сама по себе беда, а тут ещё выясняется, что Скиапарелли упал из-за программных ошибок: http://izvestia.ru/news/640748 Цитата: Директор центра управления полетами Европейского космического агентства (ЕКА) Рольф Денсинг сообщил, что посадочный модуль «Скиапарелли» разбился при приземлении на Марс из-за зависания программы, которая работала с радаром и системой замера высоты.
По его словам, операционная система модуля посчитала, что он уже сел, поэтому сбросила парашюты и отключила двигатели на высоте 2–4 км. «Он завис или не отвечал на вызовы операционной системы лендера достаточно долгое время, в результате чего был сброшен парашют. Затем OS модуля посчитала, что он уже находится на земле, и отключила двигатели», — цитирует слова Денсинга агентство «РИА Новости». |
Автор: | Пётр Кушнир [ Среда, 26 Октябрь, 2016 23:03 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Вангую, что разгромных статей плакальщиков, мол, еврокосмос всё, зонд разбился о небесную твердь и т.д. и т.п. мы не дождёмся. Пустяки какие, это же европейский эксперимент был, и вообще, так и было задумано, посмотреть с американского зонда на взрыв европейской консервной банки. Успех программы ЕКЗОМАРС. |
Автор: | Пётр Кушнир [ Среда, 26 Октябрь, 2016 23:04 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
А программный код тоже никому не покажут, а то вдруг там много глобальных переменных, как в прошивке высокотехнологичной автомашины Тойота. |
Автор: | Comdiv [ Четверг, 27 Октябрь, 2016 00:24 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Это совместная миссия Европейского космического агентства и Роскосмоса, так что не волнуйтесь, повод для шуток найдётся. https://geektimes.ru/post/281738/#comment_9645172 Цитата: Пора уже понять, что Роскосмос и Марс — несовместимые понятия
|
Автор: | TAU [ Четверг, 27 Октябрь, 2016 03:53 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Comdiv писал(а): Это совместная миссия Европейского космического агентства и Роскосмоса, так что не волнуйтесь, повод для шуток найдётся. https://geektimes.ru/post/281738/#comment_9645172 Цитата: Пора уже понять, что Роскосмос и Марс — несовместимые понятия Уроды... |
Автор: | Пётр Кушнир [ Четверг, 27 Октябрь, 2016 08:42 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Софт писали европейцы. |
Автор: | Comdiv [ Четверг, 27 Октябрь, 2016 11:48 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Такие подробности интересуют далеко не всех. Справедливости ради, надо сказать, что конкретно тот комментарий здорово заминусовали. |
Автор: | prospero78 [ Вторник, 01 Ноябрь, 2016 14:04 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
"Между тем, как выяснила «Газета.Ru», российское участие в проекте «ЭкзоМарс» не ограничивалось созданием двух научных приборов и запуском миссии ракетами «Протон». Исполняющий обязанности генерального директора НПО имени Лавочкина Сергей Лемешевский подтвердил «Газете.Ru», что в расчете баллистического спуска Schiaparelli ранее принимали участие специалисты Центрального аэрогидродинамического института (ЦАГИ)." https://www.gazeta.ru/science/2016/10/21_a_10263761.shtml#page3 |
Автор: | Иван Кузьмицкий [ Вторник, 29 Ноябрь, 2016 08:21 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Европейцы выдали больше деталей: http://www.esa.int/Our_Activities/Space ... s_progress Затупил инерциальный модуль, измеряющий вращение аппарата и начал подавать неверные данные в навигационную систему. Оная решила, что высота стала отрицательной и отстрелила парашют на высоте 3.7 км, после чего аппарат благополучно рухнул. Пишут, что ошибку воспроизвели на симуляторе. |
Автор: | prospero78 [ Вторник, 29 Ноябрь, 2016 10:03 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Мне вот непонятно.... А краш-тесты на земле вот не судьба была выполнить?))) |
Автор: | Илья Ермаков [ Вторник, 29 Ноябрь, 2016 11:21 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Так они комплексные натурные испытания не производили, вроде, вообще. Они, чтоб сэкономить, испытательную часть поручили какой-то румынской конторе, а те не выполняли реальное приземление копии аппарата. Они (румыны) недавно заявили, что виновата Россия, потому что для тестов им нужно было грохнуть аппарат именно на территорию рядом с Севастополем, а "она аннексирована, сделать ничего нельзя" - поищите в новостях) Аутентичные европейцы, правда, румынских папуасов не поддержали потом (заявив, что Россия отношения к провалу не имеет никакого). |
Автор: | prospero78 [ Вторник, 29 Ноябрь, 2016 13:18 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Жесть... Ухудшающий отбор в действии. Нет, я всё понимаю, грохнуть копию аппарата ради испытаний дорого, но не так дорого, как не выполнить научную задачу. Да и престиж страны -- тоже не пустой звук. Но хотя бы порадовало то, что наши к этому безобразию отношения не имеют. Будем надеяться, что для разработки бортового ПО наши введут хранилище, не гит, так хоть базар. И методики разработки, взаимодействия и испытаний обновят. Против Модулы-2 совсем ничего не имею, заведомо штука годная. Но от кривых рук это, как известно, не спасает. |
Автор: | Илья Ермаков [ Вторник, 29 Ноябрь, 2016 15:45 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
В Роскосмосе большой зоопарк. Где что. НПЦ АП (а это только системы выведения, в основном, - РН и разгонные блоки) - ГРАФИТ-ФЛОКС (предок ДРАКОНа). Можно считать это технологией уровня пром. автоматизаций (теги, глобальная память, визуальные правила... как языки МЭК и более продвинутые Сименса, условно). Со всеми вытекающими плюсами (а они есть - без программистов, определённое единообразие и всё-таки ближе к конфигурированию, чем к программисткой вольницей) и минусами (низкий уровень абстракции. Сравни с Бураном, когда участовал ИМП Келдыша: там была сильная мат. формализация, языки формализации ПРОЛ, ДИПОЛЬ, но это требовало разработчиков абсолютно другой компетенции - профессиональных программистов-математиков, не инженеров. Путь же такого CASE и визуальной верификации позволил предприятию пережить 90-е с минимумом программистов и успешно свои задачи решать все эти годы. Очень хорошо отлажен процесс организационно (центральная база переменных-тегов для всех, с поддержанием информации, утверждение любых изменений документами, а не "в голове у разработчика", превосходный комплексный стенд испытаний, где вся система управления в сборе гоняется во всех режимах со съёмом телеметрии). Опять же, бортовой комп у них производится на предприятии. На микросхемах степени интеграции 80-х гг. БИСЕР-6. Три платы с голосованием. Надежён, как топор. НПОА Семихатова - там у них разное, опять же. Есть свой язык автоматного программирования. Там больше программистский подход, добротный, по тому, что я видел. Уровень, конечно, - это НПО Решетнёва: http://www.inr.ac.ru/~info21/pdf/AAKpaper2006.pdf У них не просто Модула, а полное инструментирование процесса и управление жизненным циклом. По другим предприятиям, по-моему, всё гораздо дремучее. На "Тополях" всяких (закрытое подразделение НПЦАП), возможно, даже С++. Лавочкина - как придётся, кто придётся (пусть поправят, если я не прав). По Самарскому ЦСКБ Прогресс уважаемый Андрей TAU Тюгашёв лучше расскажет - там что-то крутится из его высокоуровневых визуальных инструментов, и что-то ещё... РКК "Энергия" рассказывали о выстроенном орг. процессе на базе POSIX (QNX, Linux) и C - стека (кстати, винда на МКС тоже есть на вторичных машинах типа лабораторных. А так - QNX). По крайней мере, процесс как-то упорядочен. По Интырнету бегал какой-то товарищ, поработавший у них, с криками "ужас-ужас-ужас" (нашумевшая статья "Как разрабатывается наш космический софт...", что-то в этом духе). Подозреваю, что может быть и "ужас" (доклады красивые сделать легко). Но всё же не "ужас-ужас-ужас" ))) |
Автор: | Илья Ермаков [ Вторник, 29 Ноябрь, 2016 17:57 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Да, забыл. У "Энергии" подход (как они докладывались) в том, что система проектируется как набор изолированных компонентиков, обменивающихся сообщениями. И работающих как изолированные процессы. И вот на стыке, по сообщениям, они там что-то такое применяют, типа описания грамматики протокола (возможно, автоматное) и контроль обмена. А уже каждый такой компонентик "гуанокодится" на Цы. Т.е. дырявость языка, как обычно, пытаются закрыть уровнем выше. Вообще, QNX к такому стилю и располагает, но у них это не привязано, насколько я понял, только к QNX. А, ещё они большие любители boost. |
Автор: | Игорь Мазница [ Пятница, 02 Декабрь, 2016 18:54 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
модерновый подход получается у "энергии", микросервисы сегодня тренд |
Автор: | prospero78 [ Пятница, 02 Декабрь, 2016 19:13 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Илья Ермаков писал(а): Да, забыл. У "Энергии" подход (как они докладывались) в том, что система проектируется как набор изолированных компонентиков, обменивающихся сообщениями..... Илья, так QNX именно на сообщениях и работает)) И построение интерфейсов (непонятно зачем в hard real time), и параллельность, и ввод-вывод. Есть у меня такой профильный журнал: "Современные технологии автоматизации", у них там на сайте публичная ссылка дана на серию статей про QNX. Автор сомневается даже как интерпретировать widget. В целом, статья для практики полезная, но странно, что инженер освоивший систему на таком уровне начинает статью в такой журнал отправлять))) Мне QNX не нравится. Гораздо ближе по духу мне встроенные решения, а ПК так... Ретроспектива, картинка оператору, сюда нажми, тут посмотри)) Но вот с утра новость: грузовой корабль "Прогресс" начал исследовать центральную Сибирь!) Смех сквозь слёзы... Накажут как всегда рабочего поставившего датчики кверх ногами. |
Автор: | Илья Ермаков [ Пятница, 02 Декабрь, 2016 19:53 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Цитата: Илья, так QNX именно на сообщениях и работает)) Да я знаю, только у них, насколько я помню, библиотека обмена не привязана только к QNX. Как бы не на основе boost. Цитата: И построение интерфейсов (непонятно зачем в hard real time) Ну если система подразумевает ручное реал-тайм управление, а не просто наблюдение за автоматическими режимами, то и АРМ (SCADA) должна удовлетворять hard-real time. Дмитрий Дагаев в прошлом году рассказывал про адапатацию Active Oberon для их задач (именно при этом АРМ) - выделение памяти только в начале работы, потом GUI должен работать с отключенным выделением памяти. |
Автор: | prospero78 [ Пятница, 02 Декабрь, 2016 21:08 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
На сколько помню, скорость реакции ГИП под QNX начинает бесить уже через 3 мин. работы)) Это такой тормоз.. Можно командирским языком роман написать)) Дельта по времени на всех SCADAх колеблется от секунды до пяти. А критические функции проводами прибиты от датчика к разрыву электро-магнитного пускателя. Поэтому графика в промышленно-полевой ОС у меня вызывает дурные вопросы)) Я бы не доверил QNX атомную станцию, или уж тем более -- ракету, где время реакции чем меньше, тем спокойней жить. Когда всё в кучу уж слишком сильно собрано -- это опасно. |
Автор: | Kemet [ Суббота, 03 Декабрь, 2016 07:57 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Реалтайм на сообщениях это забристая штука, тут даже не пропатченая А2 будет предпочтительнее ( ну если выкинуть оттуда студенческие поделки, и другой исследовательский хлам) |
Автор: | Илья Ермаков [ Суббота, 03 Декабрь, 2016 13:11 ] |
Заголовок сообщения: | Re: Ошибки в софте для космоса |
Я бы в ответственные части вообще и вытесняющую приоритетную многозадачность не пускал. Сложность порождается неконтролируемая. При всех их теориях реал-тайм приоритетов и т.п. Циклограммная, автоматная логика и т.п. Все кусочки всех задач укладываются в гарантированную длину цикла. Ну, в конце концов, именно так МЭКовские языки в ПЛК работают (хотя там у них уровень абстракций никакой). У НПЦ АП именно так организовано тоже в ГРАФИТ-ФЛОКСЕ. |
Страница 1 из 2 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |