Читайте на тему https://en.wikipedia.org/wiki/Lockstep_(computing)
Такие решения есть у всех серьезных производителей:
Freescale - Qorivva
TI - TMS570
Infineon - AURIX

Но по логике сначала надо доказать необходимость "постоянного тестирования как аппаратной, так и программной части в фоновом режиме"
для этого анализируют риски. Можно проводить анализ по аналогии с другими отраслями - https://en.wikipedia.org/wiki/Automotive_Sa...Integrity_Level

А то в том виде как вы задали вопрос создается впечатление, что вас там интересует снижение издержек на обслуживание.
Но надежность и тестирование тут слабо коррелируют. Вернее они прямо противоречат такой цели.

Спасибо за ссылки. Как раз именно это хотелось увидеть.
Да, придется переосмыслить подход.

Это, мягко говоря, неправда.
А говоря прямо, это откровенное враньё.
На самом деле НИКТО из "серьёзных производителей" процессоров НИКОГДА не заморачивается поддержкой фонового софтваре run-time тестирования потока исполнения. НИКТО не задумывался НИКОГДА о том, что какая-нибудь случайно залетевшая альфа-частица может изменить значение регистра IP и программа можете улететь неизвестно куда.

Более того.
Не один из производителей компиляторов об этом тоже НИКОГДА не задумывался

Сообщение отредактировал Флюктуация ваккума - Dec 13 2015, 14:53

Вот ведь козлы! Чтоже делать-то теперь, дядь Мить ?



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

Таки именно "пионеры".
У меня есть знакомые, участвовавшие в проекте.
И говорят, что проект "отдали на откуп" "молодым да ранним/перспективным".
Ну и они сказали: "Вы старичьё! Не фейхуа не понимаете в современной разработке. Вы все сделаем по своему"

Но и обосрались по полной.

Дублирование/троирование тоже нужно ведь делать с умом.
А то ведь можно не улучшить, а напротив, ухудшить надежность системы

Сообщение отредактировал Флюктуация ваккума - Dec 13 2015, 18:26

Даже проблема толком не поставлена и не обоснована топикстартером - от чего именно защищаться? какие именно отказы выявлять? какова их вероятность? и пр. Поэтому полемика бесмысленна.
И вообще - альфа-частица в Ваш вентиль в процессоре может залететь разве только из соседнего вентиля в этом-же ЦПУ, ну если только конечно он не припаян к внешней обшивке спутника например или к ТВЭЛу в реакторе. :-)

jcxz
Вы зря иронизируете. Я сам лично наблюдал как программа улетала в никуда из-за "трыканья" пьезожигалкой для газовых плит рядом с процем.
Я спецциально забил флеш процессора специальными тестовыми кусками на которые программа не может попасть НИКОГДА в нормальном режиме работы.
И может попасть только в случае если "пролетающая альфа-частица" изменит IP (счетчик команд).
И IP менялся. Случайным образом из-за "трыканья" пьезозажигалки

К чему это я?
А к тому, что существует ненулевая вероятность что проц "слетит со своей орбиты".
Поэтому в микропроцессорных системах с ЭКСТРЕМАЛЬНО высокими требованиями к надежности нужно предпринимать меры, чтобы этого вовремя обнаружить и предпринять соответствующие меры

Т.е. нужно контролировать, что проц не сошел со штатной вычислительной траектории

Сообщение отредактировал Флюктуация ваккума - Dec 15 2015, 18:23

счетчик команд вроде PC называется (program counter)

ага, по недопущению возможности "трыканья" пьезожигалками всякими юзверями где не надо.

вот и надо уменьшать эту вероятность как только возможно

Дублирование, троирование, пятирирование....А может вообще штук 100 МК поставить на плату и пусть следят друг за другом? ВОТ


На заре моей туманной юности он назывался IP.
От слова "Instruction Pointer"

Да хоть миллионирование!
Это абсолютно не уменьшит вероятность "схода с орбиты" первого МК.

Зато это позволит вовремя это обнаружить и избежать нехороших последствий.
Вы вообще в теме?
Слышали как работает троирование?
В своих проектах юсали?

Сообщение отредактировал Флюктуация ваккума - Dec 15 2015, 21:02

Нет. Не юсал. Не было такой необходимости.
Расскажите про троирование.

Троирование - это вид резервирования. Т.е. внесение избыточности в систему с целью увеличения её надежности.
В троированных системах отказ любого из 3-х каналов резервирования не приводит к отказу системы в целом.

Сообщение отредактировал Флюктуация ваккума - Dec 15 2015, 21:19

О, теперь понятно.


"вовремя" - понятие растяжимое.
Конкретно за какой промежуток времени троирование позволит избежать нехороших последствий?