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