ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
28 марта
721195 Топик полностью
Evgeny_CD, Архитектор (17.12.2016 18:01, просмотров: 241) ответил Скрипач на Никогда так не делал и, надеюсь, делать не стану. Ближайший пример - насосные скважины, работающие на огромный резервуар. От скважин до резервуара - до километра.
Именно для верифицируемости опесорцный C++ PLC и нужен -> ЧТобы был готовый публично доступный фремворк, в котором ты поднимаешь модель связи, модели всех "PLC" с реальной программой, модели объектов управления и доказываешь, что все это отвечает http://caxapa.ru/720291.html
заданным критериям. SystemC называется. Там все это для целей разработки и верицикации сложной логики давно и успешно решено.