shulyndina Mar 27 2018 at 14:03

Интервью с популяризатором космонавтики, программистом-баллистиком Антоном Громовым

7 min

8.4K

IT-People corporate blog Programming *Industrial Programming *

+25

Comments 8

Forget Mar 27 2018 at 18:29

Какое-то сильно уж скупое описание стека разработки для борта… Не секрет под какой операционкой все вертится? Какой процессор?

shulyndina Mar 28 2018 at 15:55

Передаю слова Антона, т.к. у него нет аккаунта на Хабре: «В компании разработана своя ОС реального времени, но с последними аппаратами мы перешли на Linux с патчем реального времени (для небольших спутников ДЗЗ вполне хватает)».

potan Mar 27 2018 at 19:36

Бортовой компьютер космического корабля — очень ответственная система. Используются ли какие-либо методы формальной верификации, что бы доказать что все будет работать правильно?

shulyndina Mar 28 2018 at 15:56

Передаю слова Антона, т.к. у него нет аккаунта на Хабре: «Помимо интенсивных испытаний штатного и нештатного функционирования всех возможных модулей и код-ревью, мы используем статический анализ кода и внедряем динамический».

potan Mar 28 2018 at 16:33

А какие инструменты для этого используются? Верификация — интересная, но мало освещенная тема.

malishich Mar 28 2018 at 09:19

Интересно было бы более подробное рассмотрение подходов и методов работы со стеком разработки для борта, даже coding guidelines было бы не плохо посмотреть.

shulyndina Mar 28 2018 at 15:57

Антон ответил, что это предмет отдельной статьи пока написание таких материалов не в приоритете :)

kaplson Mar 28 2018 at 11:13

С радостью бы пришел на конференцию в Екатеринбурге, но цена билета — 5500 ^^