Мартышкин, А. И. А. И. Мартышкин2020-10-232020-10-232019Мартышкин А. И. Аппаратная поддержка и проверка правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы / А. И. Мартышкин // Современные инновационные технологии подготовки инженерных кадров для горной промышленности и транспорта 2019 : сб. науч. тр.. международной. конф., г. Днепропетровск, 26‐27 апреля 2019 г.. – Днепр : НТУ «ДП», 2019. – С. 218-224.http://ir.nmu.org.ua/handle/123456789/156500В статье представлена возможность аппаратной реализации и проверки правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы Приводится методика верификации в программе SMV. В ходе исследования получена кодировка недетерминированного автомата НДА на входном языке SMV в соответствии с описанной методикой.The article presents the possibility of hardware implementation and verification of the correctness of the work of the task manager of a multiprocessor reconfigurable computing system. The verification method in the SMV program is given. In the course of the study, a non‐deterministic NDA automaton encoding was obtained in the input language SMV in accordance with the described method.ruреконфигурируемая вычислительная системадиспетчер задачверификация алгоритмовсинхронизация процессовоперационная системапрограмма SMVreconfigurable computing systemtask manageralgorithm verificationprocess synchronizationoperating systemSMV programArticle004.451