На мой взгляд сильно сложное устройство, чтобы сделать полную верификацию. Можно вообще впаять какой-то кастомный микроконтроллер под видом микросхемы памяти или какой-то шимки.
Я к тому - ну допустим дадут они ПО, там относительно легко, есть полуавтоматические программы для анализа. А всю электронику как верифицировать? Это не реально. Вот есть микросхема памяти, по виду обычная, да и работает она как надо. А в особом случае - перестаёт работать, система виснет, ракета не запускается.
На мой взгляд - это игра на публику. Причём пока не понятно в какую сторону. Или опустить американцев, начав требовать всё больше и больше внутренней тех. документации и тянуть время под предлогом "изучения" или наоборот восстановить их доброе имя, сказав "всё чисто и прозрачно".
В авионике одно из самых надежных ПО, куча очень строгих стандартов и куча тестирования, двойное, а то четверное дублирование. можно почитать ARINC 653 и прочие стандарты
no subject
Date: 2025-11-06 11:33 pm (UTC)Можно вообще впаять какой-то кастомный микроконтроллер под видом микросхемы памяти или какой-то шимки.
no subject
Date: 2025-11-07 12:03 am (UTC)no subject
Date: 2025-11-07 01:06 am (UTC)А всю электронику как верифицировать? Это не реально.
Вот есть микросхема памяти, по виду обычная, да и работает она как надо. А в особом случае - перестаёт работать, система виснет, ракета не запускается.
На мой взгляд - это игра на публику. Причём пока не понятно в какую сторону. Или опустить американцев, начав требовать всё больше и больше внутренней тех. документации и тянуть время под предлогом "изучения" или наоборот восстановить их доброе имя, сказав "всё чисто и прозрачно".
no subject
Date: 2025-11-07 04:15 pm (UTC)тогда вообще никто не будет покупать американское
no subject
Date: 2025-11-08 12:08 pm (UTC)можно почитать ARINC 653 и прочие стандарты