OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 17:12

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




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

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 372
Илья Ермаков писал(а):
В Роскосмосе большой зоопарк.
Где что.

НПЦ АП (а это только системы выведения, в основном, - РН и разгонные блоки) - ГРАФИТ-ФЛОКС (предок ДРАКОНа)

Насколько я знаю, в НПЦ АП тоже внутри "зоопарк". Не одним ГРАФИТ-ФЛОКСом живут. Есть, например, проблемно-ориентированный язык У (собственной разработки?), вроде для баллистических расчетов. Ну и ассемблером, не исключено, пользуются.

Илья Ермаков писал(а):
Очень хорошо отлажен процесс организационно (центральная база переменных-тегов для всех, с поддержанием информации, утверждение любых изменений документами, а не "в голове у разработчика", превосходный комплексный стенд испытаний, где вся система управления в сборе гоняется во всех режимах со съёмом телеметрии)

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

Утверждение любых изменений документами - аналогично, обязательная вещь при создании критически важных приложений, в том числе - по соображениям затем поиска причин аварий ("у каждой ошибки есть имя и фамилия"). В МОКБ "Марс" существует очень продвинутая
технология, включающая технологический электронный документооборот на эту тему, интегрированный с управлением проектами/задачами
и системой контроля версий. Они, кстати, издали книги по своей технологии.

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

Очень интересно! А можно поподробнее об их подходе (можно и по личным каналам связи :wink: ).

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

Полностью согласен. Во многом они, думаю, "впереди планеты всей" идут в технологиях создания БПО
и программного управления КА.

Вообще, конечно, сейчас любой космический аппарат - включая наноспутники размерами в сантиметры и весом в единицы килограмм,
имеет БЦВМ - представляет собой программно-аппаратный комплекс. И логика автономного управления реализуется ПО данной БЦВМ. Ясна важность БПО для реализации любой миссии.

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

Дремучесть, к сожалению, не изжита пока. Кстати, много где применяется Си.
К сожалению, системный отраслевой подход не внедрен пока Роскосмосом с определением лучших стандартизированных (а то и обязательных, как в западной авионике, например, по DO-178) практик разработки ПО.

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

В "Энергии" создана под руководством уже академика и Генерального конструктора Е.А. Микрина методология КОПОРФИС.
В Интернете можно найти книги на эту тему.

Могу дать ссылку на презентацию, посвященную вопросу технологий создания БПО в нашей космической отрасли:
http://www.slideshare.net/IosifItkin/au ... e-industry


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

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 372
Цитата:
Скиапарелли упал из-за программных ошибок

Не вполне корректное заявление.

Во-первых, первичный сбой аппаратный налицо. БПО не смогло правильно его воспринять ("обработать исключительную ситуацию" в некотором смысле).

Во-вторых, ошибка, скорее, в системной логике - коя прописывается в спецификациях. Реализуется системная логика, безусловно, БПО, но если брать работу программиста как написание программы по спецификации - ошибка не программистов.


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

Зарегистрирован: Пятница, 13 Март, 2009 16:36
Сообщения: 987
Откуда: Казань
По своему опыту могу сказать, что программисты (и аналитики, которые пишут спецификации) обычно более менее нормально рассматривают случай без ошибок (https://en.wikipedia.org/wiki/Happy_path). А случаи, в которых могут возникать какие-то ошибки, практически не рассматривают.

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


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

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Интервью с разработчиком ПО марсохода:
https://habrahabr.ru/company/edison/blog/317288/

(спасибо за ссылку коллеге TAU)


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

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 372
Rifat писал(а):
По своему опыту могу сказать, что программисты (и аналитики, которые пишут спецификации) обычно более менее нормально рассматривают случай без ошибок (https://en.wikipedia.org/wiki/Happy_path). А случаи, в которых могут возникать какие-то ошибки, практически не рассматривают

Подобный подход при разработке ПО для космоса недопустим. Как раз необходимо составить и задокументировать перечень возможных нештатных ситуаций и прописать порядок выхода из них. При необходимости список пополняется и уточняется.


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

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


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

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


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

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