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