История изменений
Исправление shkolnick-kun, (текущая версия) :
Что сейчас используют для промышленных очень-важных-и-надёжных конструкций?
Используют микроконтроллеры, микропроцессоры и прочие комплектующие класса automotive.
В некритичных местах ставят линуксы и прочие операционки, в т.ч. реального времени. В критичных - специальные RTOS и генераторы кода под них, гарантирующие целостность работы программ и делающие прочую формальную верификацию
Исходная версия shkolnick-kun, :
Что сейчас используют для промышленных очень-важных-и-надёжных конструкций?
Используют микроконтроллеры, микропроцессоры и прочие комплектующие класса automotive.
В некритичных местах ставят линуксы и прочие операционки, в т.ч. реального времени. В критичных - специальные RTOS и генераторы кода под них, гарантирующие целостность работы программ и прочую формальную верификацию