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

В статье рассматривается методология формализованного подхода по проектированию микропроцессорных систем, обеспечивающих человеко-машинное взаимодействие. Рассмотрены классические процедуры проектирования последовательностных систем (схемной логики), применимые для разработки МП-систем, в частности...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Современные инновации, системы и технологии Jg. 3; H. 2; S. 243 - 253
Hauptverfasser: Ковалев, И. В., Лосев, В. В., Калинин, А. О.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Siberian Scientific Centre DNIT 26.06.2023
Schlagworte:
граф автомата
микроконтроллер
МП-система
человеко-машинное взаимодействие
ISSN:2782-2826, 2782-2818
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:В статье рассматривается методология формализованного подхода по проектированию микропроцессорных систем, обеспечивающих человеко-машинное взаимодействие. Рассмотрены классические процедуры проектирования последовательностных систем (схемной логики), применимые для разработки МП-систем, в частности формальные методики получения таб­лиц переходов/выходов и графа проектируемого автомата. Основной акцент проектирования строится на логике графа автомата Мили, характеризуемый тем, что в течение всего периода «устойчивого» состояния Qi входной Хi и вы­ходной Zi векторы остаются неизменными. Однако, при этом условные операторы алгоритма селектируют изменения входного вектора Xi, если оно произошло в состоянии Qi под воздействием внешних по отношению к МП-системе со­бытий. В результате такой селекции МП-система перехо­дит к иному «устойчивому» состоянию Qi+k, которое опре­делено схемой алгоритма. В качестве примера проектируемой МП-системы выступает контроллер вызова управляющих подпрограмм, соответствующих конкретным режимам работы объекта управления. Предложено программное решение участка алгоритма, обеспечивающего условный переход по результатам реализации процедуры сравнения констант. В качестве обоснования функциональной реализации прототипа проектируемого контроллера приведена принципиальная электрическая схема на базе микроконтроллера, обеспечивающая элементы человеко-машинного взаимодействия.
ISSN:2782-2826
2782-2818
DOI:10.47813/2782-2818-2023-3-2-0243-0253