Формализованный подход к проектированию микропроцессорных систем с элементами человеко-машинного взаимодействия

Автор: И. В. Ковалев, В. В. Лосев, А. О. Калинин

Журнал: Современные инновации, системы и технологии.

Рубрика: Управление, вычислительная техника и информатика

Статья в выпуске: 3(2), 2023 года.

Бесплатный доступ

В статье рассматривается методология формализованного подхода по проектированию микропроцессорных систем, обеспечивающих человеко-машинное взаимодействие. Рассмотрены классические процедуры проектирования последовательностных систем (схемной логики), применимые для разработки МП-систем, в частности формальные методики получения таб­лиц переходов/выходов и графа проектируемого автомата. Основной акцент проектирования строится на логике графа автомата Мили, характеризуемый тем, что в течение всего периода «устойчивого» состояния Qi входной Хi и вы­ходной Zi векторы остаются неизменными. Однако, при этом условные операторы алгоритма селектируют изменения входного вектора Xi, если оно произошло в состоянии Qi под воздействием внешних по отношению к МП-системе со­бытий. В результате такой селекции МП-система перехо­дит к иному «устойчивому» состоянию Qi+k, которое опре­делено схемой алгоритма. В качестве примера проектируемой МП-системы выступает контроллер вызова управляющих подпрограмм, соответствующих конкретным режимам работы объекта управления. Предложено программное решение участка алгоритма, обеспечивающего условный переход по результатам реализации процедуры сравнения констант. В качестве обоснования функциональной реализации прототипа проектируемого контроллера приведена принципиальная электрическая схема на базе микроконтроллера, обеспечивающая элементы человеко-машинного взаимодействия.

Еще

МП-система, микроконтроллер, человеко-машинное взаимодействие, граф автомата

Короткий адрес: https://sciup.org/14127258

IDR: 14127258   |   DOI: 10.47813/2782-2818-2023-3-2-0243-0253

Статья