ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Понедельник
22 июля
1267612
Evgeny_CD, Архитектор (13.12.2022 02:53, просмотров: 1542)
Коллеги, а есть ли теория синтеза алгоритмов гарантированно безопасного управления? По мотивам котлов с интернетами 

https://caxapa.ru/1267607.html

https://caxapa.ru/1266754.html


Т.е. есть объект. Мы что-то там накодили для управления. Как сделать так, чтобы любой говнокод не вывел из строя объект управления?


Как нашаманить я понимаю. Вопрос в математических основах.


К надежности кода в обычном смысле отношения имеет мало. Чтобы мы не создали очень правильный код, который очень правильно убивает наш объект управления.


Ну и антизадача - чтобы гарантированно убил, но строго в заданные сроки.