Логика управления - Control logic

Логика управления является ключевой частью программного обеспечения программа который контролирует работу программы. Логика управления реагирует на команды пользователя, а также действует сама по себе для выполнения автоматизированных задач, которые были структурированы в программе.[1]

Модель простого секундомера[2]

Логику управления можно смоделировать с помощью диаграмма состояний,[3] что является формой иерархической Государственный аппарат. Эти диаграммы состояний также можно комбинировать с блок-схемы предоставить набор вычислительная семантика для описания сложной логики управления.[4] Это сочетание диаграмм состояний и блок-схемы показан на рисунке справа, который показывает логику управления для простого секундомера. Логика управления принимает команды от пользователя, представленные событием с именем «START», но также имеет автоматические повторяющиеся события времени выборки, представленные событием с именем «TIC».

использованная литература

  1. ^ Смит, С. "Что такое логика управления?".
  2. ^ Hamon, G .; Рашби, Дж. (2004). «Операционная семантика для Stateflow». Фундаментальные подходы к разработке программного обеспечения (FASE). Барселона, Испания: Springer-Verlag: 229–243.
  3. ^ Тивари, А. (2002). "Формальная семантика и методы анализа для моделей Simulink Stateflow" (PDF). Цитировать журнал требует | журнал = (Помогите)
  4. ^ Хамон, Г. (2005). Денотационная семантика для Stateflow. Международная конференция по встроенному ПО. Джерси-Сити, Нью-Джерси: ACM. С. 164–172. CiteSeerX  10.1.1.89.8817.