История изменений
Исправление shkolnick-kun, (текущая версия) :
Конкретно для случаев типо того, который был в Росатоме, есть https://ru.wikipedia.org/wiki/IEC_61131-3, и компиляторы его языков в конечные автоматы, которые будут управлять ядрёным реактором.
Но я бы не сказал, что это решит проблемы, которые описаны в статье.
P.S.: UML не нужен.
Исходная версия shkolnick-kun, :
Конкретно для случаев типо того, который был в Росатоме, есть https://ru.wikipedia.org/wiki/IEC_61131-3, и компиляторы его языков в конечные автоматы, которые будут управлять ядрёным реактором.
Но я бы не сказал, что это решит проблемы, которые описаны в статье.
P.S.: UML не нужен.