caxapa.ru :: Хабарка: "Как я разрабатывал отказоустойчивый промышленный контроллер."

Toчкa oпopы (Вчера, 22:39, просмотров: 284)

Хабарка: "Как я разрабатывал отказоустойчивый промышленный контроллер."

Глядя наискосок - "компиляция" со смещениями секций кода и данных как способ превысить результаты Lockstep и Triple Modular Redundancy. Выглядит интересно. Доказуемо ли?

По поводу TMR - есть описание интересного граничного случая на сайте Дм. Иоффе, когда двое сбрендивших могут забить вменяемого.

https://habr.com/ru/articles/1027424/

1. Изо всех сил стараюсь не кормить троллей. 2. Продаю импортные ЭК - https://shop.fulcrum.ru/buy

Ответить

- Только я вижу тут лютый фейспалм? SciFi(1321 знак., Вчера, 22:52)
  - Если программа работает, то количество ошибок в ней чётное. - Бapбoc(Вчера, 23:04)
    - Не факт ☺ Eddy_Em(665 знак., Вчера, 23:22)
      - Если арифметика троичная, то количество багов кратно трем. - Kpoк(Вчера, 23:53)
        
        Арифметика не привязана к системе счисления. Да, зануда. И речь не про арифметику, а про другое. - Бapбoc(Вчера, 23:59)
      - За сколько отладок баг с периодом возникновения в 300 дней отловил? - Nikolay_Po(Вчера, 23:30)
        
        Я и внимание-то на него обратил лишь при втором возникновении... Eddy_Em(661 знак., Вчера, 23:37)
        
        Вот так счастливый обладатель машины времени и спалился... - SciFi(Вчера, 23:33)
      - Статистика, обобщение. - Бapбoc(Вчера, 23:28)
- "Отказоустойчивый" - это же еще и утроение всяких "мозгов". Ну или хотя бы удвоение: пока один МК работает, второй спит; как первый помер, второй "проснулся"… - Eddy_Em(Вчера, 22:44)

Кибернетика, автоматика, протоколы