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

Autor: МІРОШНИК, М. A.
Jazyk: ukrajinština
Rok vydání: 2019
Předmět:
Zdroj: Інформаційно-керуючі системи на залізничному транспорті; № 1 (2019): Інформаційно-керуючі системи на залізничному транспорті; 11-18
Information and control systems at railway transport; № 1 (2019): ; 11-18
Информационно-управляющие системы на железнодорожном транспорте; № 1 (2019): ; 11-18
ISSN: 1681-4886
2413-3833
Popis: 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 “non-destructive” 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.To reduce the additional hardware costs for a device diagnosing in computer-aided design of digital control systems, methods of test-based design and built-in diagnostics should be used. The scientific novelty of the work consists in the further development of computer-aided computer-aided design of a digital local control device. The practical value of the results is in analyzing the circuit implementation (synthesis) of HDL models of the control device (control machine) and diagnostic hardware (diagnostic machine - the diagnostic device allows you to estimate the amount of additional equipment costs using Quine's criterion and analyzing the additional equipment costs and showed that they can be compared to the hardware costs of the control device itself, on the one hand, this increases the hardware costs of the digital system Thread management in general, but on the other hand, the implementation of management systems on an FPGA, SoC, as a rule, there is an untapped programmable logic, which can be used by diagnostic equipment.
Представлен метод автоматизированного компьютерного проектирования цифрового устройства локального управления (регулирования). На основе упрощенного алгоритма функционирования системы, представленного ГСА, складывается автоматная модель в виде графа переходов конечного автомата Мили. Граф переходов представлен на языке описания аппаратуры VHDL в форме двупроцессного автоматного шаблона. По графу переходов строится алгоритм диагностики устройства управления по стратегии обхода всех дуг графа, что гарантирует его полноту. На основании алгоритма диагностирования строится VHDL-модель аппаратного устройства диагностирования. Верификация модели разработанного устройства диагностирования выполняется с использованием системы моделирования Active-HDL. Синтез устройства управления и устройства диагностирования выполняется с помощью САПР XILINX ISE.
Подано метод автоматизованого комп'ютерного проектування цифрового пристрою локального управління (регулювання). На основі спрощеного алгоритму функціонування системи, поданого граф-схемою алгоритму (ГСА), складається автоматна модель у вигляді графа переходів кінцевого автомата Мілі. Граф переходів подано мовою опису апаратури VHDL в формі двопроцесорного автоматного шаблону. За графом переходів будується алгоритм діагностування пристрою управління за стратегією обходу всіх дуг графа, що гарантує його повноту. На підставі алгоритму діагностування будується VHDL-модель апаратного пристрою діагностування. Верифікація моделі розробленого пристрою діагностування виконується з використанням системи моделювання Active-HDL. Синтез пристрою управління і пристрою діагностування виконується за допомогою САПР XILINX ISE.
Databáze: OpenAIRE
Externí odkaz: