Control automata of complex engineering real time systems

Abstract

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

Structural organization of control automata with a variable principle of instruction formation

“…Целесообразно сравнить новый УА Мура (НУАМr) с автоматами Мухопада (УАМх) - [1]. В УАМх введены мультиплексор и схема адресации, за счет чего объем ПЗУ схемы Анализ графа и таблицы переходов позволяют сделать заключение о том, что для НУАМх [16] в этом примере целесообразно выбрать структуру памяти со счетчиком вместо регистра a(t). Признак  как условие прибавления «1» к содержимому счетчика будет вычисляться также в схеме переходов.…”