Рассматриваются методы динамического контроля управляющих автоматов (УА). Для сложных технических систем реального времени управляющие автоматы могут составлять большую часть оборудования средств автоматизации. Управляющие автоматы со структурной организацией Мура даже после минимизации не обеспечивают достаточного уровня безотказ-ности и безопасности. Динамический контроль УА со специальными кодами наиболее эффек-тивен для УА с выделением одного логического условия из всего множества условий по коду предыдущего состояния. Предложен метод контроля с нетрадиционным применением кодов Грея при разделении кодов на два множества, относящихся к счетчику и множеству вершин вне счетчика. Во втором множестве коды состояний делятся приблизительно пополам на груп-пы старших и младших разрядов. Номер последующей вершины выбирается так, чтобы логи-ческая сумма по модулю кодов соседних вершин младших разрядов соответствовала условию Грея. Коды старшей группы этих вершин доопределяются специальным образом для выполне-ния того же условия. Выведены правила принятия решений. Для реализации контроля к базо-вому составу блоков УА вводится только схема логического сложения и проверки правил при-нятия решений. Метод позволяет создавать высоконадежные, самоконтролируемые управля-ющие автоматы с минимальными объемами встраиваемых средств контроля.

No abstract

No abstract

No abstract

No abstract