Современные инновации, системы и технологии (Jun 2023)

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

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

DOI
https://doi.org/10.47813/2782-2818-2023-3-2-0243-0253
Journal volume & issue
Vol. 3, no. 2

Abstract

Read online

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

Keywords