Цель работы заключается в создании системы, состоящей из программируемого логического контроллера и микрокомпьютера, позволяющей автоматизировать процесс проверки студенческих программ. В рамках работы проведён обзор систем автоматической проверки электронных элементов систем управления. После чего спроектирована принципиальная электрическая схема и разработана трёхмерная модель системы, позволяющей автоматически проверять программы программируемого логического контроллера посредством имитации внешней среды сигналами от одноплатный компьютер Raspberry Pi. Разработано программное обеспечение для автоматической проверки программ и приведены результаты тестирования готовой системы. Практическая значимость. Полученные результаты послужат для создания опытного образца системы проверки программ.

The purpose of the work is to create a system consisting of a programmable logic controller and a microcomputer that allows automating the process of checking student programs. As part of the work, an overview of the systems of automatic verification of electronic elements of control systems was carried out. After that, a schematic electrical diagram was designed and a three-dimensional model of the system was developed, which allows automatically checking the programs of a programmable logic controller by simulating the external environment with signals from a Raspberry Pi single-board computer. Software for automatic program verification has been developed and the results of testing of the finished system are presented. Practical significance. The results obtained will serve to create a prototype of a program verification system.