Mars Colonial Transporter

[nonconvex]

Как вы легко рассуждаете . 

Да троллят они, проекции Старого. 

[nonconvex]

А я про вертолет, которому одного резервирования бытовой электроники категорически недостаточно, поскольку отсутствие магнитного поля и практическое отсутствие атмосферы.

Все реальность пытаетесь опровергнуть, вертолет то летал долго и успешно, вообще без резервирования и закончил летать из-за повреждения лопасти.

Все неправильно. Летал с резервированием радстойким управляющим компьютером. Потому и летал долго и успешно.

[Дем]

CRC  будете считать каждую секунду , причём неисправным кодом ? Афигеть! 

Подпрограмма для суммирования - всего несколько команд, вероятность что именно она поломается - минимальна. И что поломается код от подсчёта до исполнения тоже. И только тогда Watchdog сработает для приведения в чувство. В остальных вариантах - исправление проблемы без перезагрузки.
И кстати, перезагрузка тоже должна начинаться с исправления кода

[nonconvex]

CRC  будете считать каждую секунду , причём неисправным кодом ? Афигеть!

Подпрограмма для суммирования - всего несколько команд, вероятность что именно она поломается - минимальна. И что поломается код от подсчёта до исполнения тоже. И только тогда Watchdog сработает для приведения в чувство. В остальных вариантах - исправление проблемы без перезагрузки.
И кстати, перезагрузка тоже должна начинаться с исправления кода

Достаточно изменить один бит в адресном регистре, дальше вылет за границы памяти и срабатывание сторожевого прерывания. 

[Дем]

Достаточно изменить один бит в адресном регистре, дальше вылет за границы памяти и срабатывание сторожевого прерывания. 

Да. Но адресный регистр - скорей 32 бита, код - миллионы бит, данные - миллиарды бит. Какова вероятность попасть именно в него?

[nonconvex]

Достаточно изменить один бит в адресном регистре, дальше вылет за границы памяти и срабатывание сторожевого прерывания. 

Да. Но адресный регистр - скорей 32 бита, код - миллионы бит, данные - миллиарды бит. Какова вероятность попасть именно в него?

Не путайте ЦП, ОЗУ и ППЗУ.

[Inti]

но чаще происходит обычный сбой, когда от ТЗЧ перебрасывается триггер и нолик превращается в единичку, или наоборот. Это приводит к перезагрузке, после которой опять можно летать.

С 99% вероятности бит перещёлкнется не в коде а в обрабатываемых данных, тот самый "снег" на фото. И он в общем обработке этих данных не мешает.
Да и в коде - просто сосчитали CRC, не совпало - загрузили код заново. Перезагрузка всего только в том маловероятном случае, что перещёлкнется в исполняемом в данный момент куске кода.

Как вы легко рассуждаете . Вы хоть представляете - когда происходит перезагрузка ? CRC  будете считать каждую секунду , причём неисправным кодом ? Афигеть!  Перезагрузка проводится в основном  Watchdog-ми . Если этих аппаратных собак не покормить , то они аппаратно и сбросят всё , в перезагрузку  (причём избирательно , по векторам ) .

Никто не будет возражать против кормёжки аппаратных собак если выяснится что это реально необходимо. Если будет нужно то добавят следящей за здоровьем системы радстойкой электроники. Но навряд-ли будут вкладывать огромные деньги для создания полностью радстойких процессоров, которые к тому же будут обладать заметно более низкой производительностью по сравнению с обычными. Хотя... в будущем возможно всякое... однако в настоящем я уверен что нет смысла разрабатывать для лунных и марсианских Оптимусов с нуля специальную радстойкую электронику, особенно главный процессор. Имеет смысл адаптировать Оптимусов к температурным перепадам и пыли, и посмотреть как они будут работать. Если один из десяти выйдет из строя из-за радиации - то и бог с ним, пригодится как источник запчастей.

[nonconvex]

Если один из десяти выйдет из строя из-за радиации - то и бог с ним, пригодится как источник запчастей.

А если девять из десяти, то их хрен с ним, за гос. счет. 

[OlegN]

Никто не будет возражать против кормёжки аппаратных собак если выяснится что это реально необходимо.

В любом ...Повторяю - в Любом современном МК есть  Watchdog  . И он совершенно не зависим от основного процессора . Со своей аппаратной частью , со своим тактовым генератором . Он просто "сбоку" висит , а весит- копейки . Ему только нужно изредка подкидывать косточку из основной программы (если она нормально функционирует, и даёт туда запросы) , чтобы он знал , что про него не забыли и не поднял панику . 

[Inti]

Никто не будет возражать против кормёжки аппаратных собак если выяснится что это реально необходимо.

В любом ...Повторяю - в Любом современном МК есть  Watchdog  . И он совершенно не зависим от основного процессора . Со своей аппаратной частью , со своим тактовым генератором . Он просто "сбоку" висит , а весит- копейки . Ему только нужно изредка подкидывать косточку из основной программы , чтобы он знал , что про него не забыли и не поднял панику . 

Ну если уже есть - то и ладно, кто же возражает. Или если можно добавить недорогих радстойких компонентов которые не будут понижать производительность. Примерно такой подход у марсианского вертолёта и реализовали. Самый мощный высокопроизводительный процессор от смартфона, плюс то что следит за его здоровьем, ну и простую радстойкую электронику для поддержания баланса если вдруг главный процессор откажет.

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

[Inti]

Если один из десяти выйдет из строя из-за радиации - то и бог с ним, пригодится как источник запчастей.

А если девять из десяти, то их хрен с ним, за гос. счет.

Тесла и SpaceX не гос. компании. Можно сильно не беспокоиться. Лично я не слышал ничего про Оптимусов в контрактах с НАСА. Если они на Луне\Марсе и окажутся - то по личной инициативе Маска. Даже если оно сдохнет - то не всё сразу. Но будет реальная оценка реальной надёжности а не теоретизирование.

[Prokrust]

А я про вертолет, которому одного резервирования бытовой электроники категорически недостаточно, поскольку отсутствие магнитного поля и практическое отсутствие атмосферы.

Все реальность пытаетесь опровергнуть, вертолет то летал долго и успешно, вообще без резервирования и закончил летать из-за повреждения лопасти.

Все неправильно. Летал с резервированием радстойким управляющим компьютером. Потому и летал долго и успешно.

O! Вы знаете о резервировании!
А про радстойкий компьютер вы придумали.

Вертолет Ingenuity на Марсе использует не специализированный, а в основном «бытовой» процессор Qualcomm Snapdragon 801. Для защиты от радиации инженеры NASA применили не экранирование чипов, а программные методы и дублирование систем, что позволило сэкономить вес и средства при сохранении высокой вычислительной мощности. 

• Компьютер: Основа — процессор Snapdragon 801 (из смартфонов 2014 года), работающий вместе с полетными контроллерами на базе процессоров Hercules.
• Защита: В отличие от марсоходов, использующих дорогие и тяжелые радиационно-стойкие чипы RAD750, у Ingenuity нет тяжелой защиты. Программное обеспечение настроено на обнаружение и исправление ошибок, вызванных радиационными сбоями (single-event upsets).
• Результат: Решение оправдалось, и вертолет успешно проработал на Марсе более 3 лет.

[nonconvex]

А я про вертолет, которому одного резервирования бытовой электроники категорически недостаточно, поскольку отсутствие магнитного поля и практическое отсутствие атмосферы.

Все реальность пытаетесь опровергнуть, вертолет то летал долго и успешно, вообще без резервирования и закончил летать из-за повреждения лопасти.

Все неправильно. Летал с резервированием радстойким управляющим компьютером. Потому и летал долго и успешно.

O! Вы знаете о резервировании!
А про радстойкий компьютер вы придумали.

Халтурно троллите, Старый будет недоволен. Спросите ИИ про радстойкие резервированные FPGA в которых и прошит управляющий компьютер.
То же самое рекомендую проделать двум одобрянтам.

[cross-track]

Ответ ИИ:

Для марсианского вертолета Ingenuity была выбрана коммерческая версия микросхемы — 
ProASIC3L
 (Commercial Off-the-Shelf, COTS), а не специализированная военная или «космическая» версия (RT). 
Вот уточненные детали этой закупки и выбора:

• Конкретный тип: Это была стандартная флеш-ориентированная FPGA коммерческого класса. Инженеры NASA JPL часто используют такие компоненты в «рискованных» или демонстрационных миссиях, чтобы сэкономить бюджет и время.
• Уровень защиты: Несмотря на то, что это была «обычная» микросхема, она обладает природной радиационной толерантностью благодаря своей архитектуре. В отличие от SRAM-FPGA (которые легко теряют прошивку при попадании частиц), флеш-ячейки 
  ProASIC3L
   практически иммунны к сбоям конфигурации (SEU).
• Радиационный рейтинг: Версия, установленная на Ingenuity, имела рейтинг поглощенной дозы (TID) около 25 крад. Для сравнения, специализированная радиационно-стойкая версия 
  RT ProASIC3
   стоит в десятки раз дороже и имеет рейтинг до 100 крад.
• Логика выбора: Поскольку миссия вертолета была рассчитана всего на 30 дней (хотя он проработал почти 3 года), инженеры посчитали избыточным покупать версию за сотни тысяч долларов, если коммерческий чип за ~100$ справлялся с фоновым уровнем радиации Марса. 

Интересный факт: Чтобы компенсировать отсутствие «космической» сертификации, NASA применило программное резервирование внутри самой FPGA, что позволило чипу успешно пережить все 72 полета в условиях жесткого космического излучения. 

[nonconvex]

Все верно, но я бы еще выделил следующее

72 полета в условиях жесткого космического излучения.

А тот тут некоторые заявляли, что на Марсе и радиации то нет, типа "атмосфера" защищает.

[Дем]

Не путайте ЦП, ОЗУ и ППЗУ.

Не путаю. Но регистры ЦП и ОЗУ - по сути одно и то же. ППЗУ сейчас перезаписываемая флешка, в которой биты тоже могут перещёлкнутся

[nonconvex]

Не путайте ЦП, ОЗУ и ППЗУ.

Не путаю. Но регистры ЦП и ОЗУ - по сути одно и то же. 

Неверно.