Разработаны: модели и методы синтеза безопасных логических автоматов параллельного действия (БЛП-автоматов) для ПЛИС-контроллеров, которые защищены от опасных искажений входных, внутренних и выходных состояний за счет применения резервирования, динамического кодирования информации и использования методов многократного контроля правильности реализации алгоритмов; табличный язык THDL и технология программирования безопасных ПЛИС-контроллеров; методы и средства безопасного формирования управляющих воздействий для объектов критического применения, в которых используется принцип последовательного преобразования параметров сигналов, динамически изменяющихся во времени. Ключевые слова: ПЛИС-контроллер, БЛП-автомат, табличный язык THDL, объекты критического применения, функциональная безопасность, безопасный генератор гармонических сигналов
