Методи автоматизованого комп'ютерного проектування цифрового пристрою локального управління

Abstract

UA: Подано метод автоматизованого комп'ютерного проектування цифрового пристрою локального управління (регулювання). На основі спрощеного алгоритму функціонування системи, поданого граф-схемою алгоритму (ГСА), складається автоматна модель у вигляді графа переходів кінцевого автомата Мілі. Граф переходів подано мовою опису апаратури VHDL в формі двопроцесорного автоматного шаблону. За графом переходів будується алгоритм діагностування пристрою управління за стратегією обходу всіх дуг графа, що гарантує його повноту. На підставі алгоритму діагностування будується VHDL-модель апаратного пристрою діагностування. Верифікація моделі розробленого пристрою діагностування виконується з використанням системи моделювання Active-HDL. Синтез пристрою управління і пристрою діагностування виконується за допомогою САПР XILINX ISE. RU: Представлен метод автоматизированного компьютерного проектирования цифрового устройства локального управления (регулирования). На основе упрощенного алгоритма функционирования системы, представленного ГСА, складывается автоматная модель в виде графа переходов конечного автомата Мили. Граф переходов представлен на языке описания аппаратуры VHDL в форме двупроцессного автоматного шаблона. По графу переходов строится алгоритм диагностики устройства управления по стратегии обхода всех дуг графа, что гарантирует его полноту. На основании алгоритма диагностирования строится VHDL-модель аппаратного устройства диагностирования. Верификация модели разработанного устройства диагностирования выполняется с использованием системы моделирования Active-HDL. Синтез устройства управления и устройства диагностирования выполняется с помощью САПР XILINX ISE. EN: The work is devoted to the issues of improving the reliability of logical control systems in supply systems. The presented method of computer-aided computer design of a digital device for local control (regulation). Based on a simplified algorithm for the functioning of the system, represented by GSA, an automaton model in the form of the transition graph of the Mile finite automaton consists. The transition graph is presented in the VHDL hardware description language in the form of a dual-process automaton pattern. According to the transition graph, an algorithm for diagnosing the control device is constructed according to the strategy of bypassing all the arcs of the graph, which guarantees its completeness. Based on the diagnostic algorithm, the VHDL model of the hardware diagnostic device is built. To diagnose the control finite state machine, it was proposed to conduct a “nondestructive” diagnostic experiment on traversing all vertices (arcs) of state diagram using synchronization sequences. The verification of the model of the diagnostics device developed is performed using the Active-HDL simulation system. Synthesis of control device and device diagnostics is performed using.