Комментарии 8
Какое-то сильно уж скупое описание стека разработки для борта… Не секрет под какой операционкой все вертится? Какой процессор?
+1
Бортовой компьютер космического корабля — очень ответственная система. Используются ли какие-либо методы формальной верификации, что бы доказать что все будет работать правильно?
0
Передаю слова Антона, т.к. у него нет аккаунта на Хабре: «Помимо интенсивных испытаний штатного и нештатного функционирования всех возможных модулей и код-ревью, мы используем статический анализ кода и внедряем динамический».
+1
Интересно было бы более подробное рассмотрение подходов и методов работы со стеком разработки для борта, даже coding guidelines было бы не плохо посмотреть.
0
С радостью бы пришел на конференцию в Екатеринбурге, но цена билета — 5500 ^^
0
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Интервью с популяризатором космонавтики, программистом-баллистиком Антоном Громовым