Как стать автором
Обновить

Комментарии 8

Какое-то сильно уж скупое описание стека разработки для борта… Не секрет под какой операционкой все вертится? Какой процессор?
Передаю слова Антона, т.к. у него нет аккаунта на Хабре: «В компании разработана своя ОС реального времени, но с последними аппаратами мы перешли на Linux с патчем реального времени (для небольших спутников ДЗЗ вполне хватает)».
Бортовой компьютер космического корабля — очень ответственная система. Используются ли какие-либо методы формальной верификации, что бы доказать что все будет работать правильно?
Передаю слова Антона, т.к. у него нет аккаунта на Хабре: «Помимо интенсивных испытаний штатного и нештатного функционирования всех возможных модулей и код-ревью, мы используем статический анализ кода и внедряем динамический».
А какие инструменты для этого используются? Верификация — интересная, но мало освещенная тема.
Интересно было бы более подробное рассмотрение подходов и методов работы со стеком разработки для борта, даже coding guidelines было бы не плохо посмотреть.
Антон ответил, что это предмет отдельной статьи пока написание таких материалов не в приоритете :)
С радостью бы пришел на конференцию в Екатеринбурге, но цена билета — 5500 ^^
Только полноправные пользователи могут оставлять комментарии. Войдите, пожалуйста.