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

Abstract

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.