Антон Громов: особенности разработки ПО для космических аппаратов

Программист компании Мегафон 1440 рассказывает о сложностях разработки ПО для космических аппаратов. 00:00 Введение 00:35 О программировании удаленных аппаратов 02:30 Watchdog 04:00 О защите перезагрузкой систем 05:20 О важности наличия возможности дистанционного обновления ПО 11:15 О важности резервирования аппаратуры 14:10 Пример марсохода Curiosity 16:37 Пример спутника Спектр-Р 18:50 Вред радиации для памяти и борьба с ней 25:20 Применение троирования 27:20 Пример технологии работы компании SpaceX 36:40 Опыт проекта New Horizons 39:00 Операционные системы реального времени 40:20 Аспекты сложности систем космических аппаратов 43:38 Опыт разработки Ariane 5 48:50 Опыт программы Apollo 55:26 Об испытаниях программных средств 59:01 Опыт ГК Роскосмос 01:01:45 Опыт компании Boeing 01:04:22 О подходах к создании алгоритмов во времени 01:06:30 Диалог о подходе к разработке алгоритмов 01:14:27 Об опыте разработки телескопа Хитоми 01:16:10 Опыт разработки Mars Climate Orbiter