au> Ну да, есть такое. Но пример со счётчиком железно вылавливается тестированием, впрочем как и все подобные штуки. Насчёт внешнего сигнала — это вот уже забабоны, ибо никто не знает в какой системе (если не референс дизайн, а этого в военном считай нет) будет работать чип, и просчитать чтобы всё правильно отказало невозможно.
Про Ирак ещё писали, что сперва внерили программные закладки, впрочем, так и обычным вирусом можно систему уронить.
А вот тестированием вовсе не всё выявляется, поскольку набор состояний очень велик. К сожалению, покрытие тестовое не может быть 100%, иногда такое вылазит, что не пришло в б голову никогда просто... Некий выход -случаный тесты, но шаблон для них тоже задаётся пользователем, чтоб набор тестовых воздействий был как-то осмыслен.
au>А вот ядра для логики нужно самим писать, завод для этого не требуется. Вот о чём я.
Да, верно, так и делается, так и сделали эти товарищи, да и мы так же делаем. Но это отвечает на вопрос - почему мы не пользуем импортные компоненты. Впрочем, пользуем, ту же память, мелкую логику. Потому как именно в этой россыпухе закладок точно не будет - они именно в сложную логику засунуты.
au> Кстати, в Алдане этом нет намёка на радхард. Просто военные температуры.
Ага, причём на высоких заявленные температурах частоты надо урезать в два раза. Радхарда 100% нет, если сделано (будет сделано) за рубежом. Да и не будут радхард на 0,18 делать, там более "грубые" технологии, 0,35 и выше.
au>Где они, эти внешние сигналы? Это просто пример.
На ГСН вряд ли что-то будет, а на бортовой ЭВМ самолёта - вполне возможно! Линия питания как антенна, специальный радиосигнал - и всё срабатывает. Опять же как пример. )
Если интересно, как примерно "это" выглядит, файл довольно большой, правда:
Больше не раскалятся ваши колосники. Мамонты пятилеток сбили свои клыки. ©