Logika řízení - Control logic

Logika řízení je klíčovou součástí softwaru program který řídí operace programu. Řídicí logika reaguje na příkazy od uživatele a sama také provádí automatické úlohy, které byly strukturovány do programu.[1]

Model jednoduchých stopek[2]

Logiku řízení lze modelovat pomocí a stavový diagram,[3] což je forma hierarchické státní stroj. Tyto stavové diagramy lze také kombinovat s vývojové diagramy poskytnout soubor výpočetní sémantika pro popis komplexní logiky řízení.[4] Tato kombinace stavových diagramů a vývojové diagramy je znázorněn na obrázku vpravo, který ukazuje logiku ovládání jednoduchých stopek. Řídicí logika přijímá příkazy od uživatele, což představuje událost s názvem „START“, ale má také automatické opakující se ukázkové časové události, které představují událost s názvem „TIC“.

Reference

  1. ^ Smith, S.E. „Co je to Control Logic?“.
  2. ^ Hamon, G .; Rushby, J. (2004). „Provozní sémantika pro tok státu“. Základní přístupy k softwarovému inženýrství (FASE). Barcelona, ​​Španělsko: Springer-Verlag: 229–243.
  3. ^ Tiwari, A. (2002). „Formální sémantika a metody analýzy pro modely Simulink Stateflow“ (PDF). Citovat deník vyžaduje | deník = (Pomoc)
  4. ^ Hamon, G. (2005). Denotační sémantika pro Stateflow. Mezinárodní konference o integrovaném softwaru. Jersey City, NJ: ACM. 164–172. CiteSeerX  10.1.1.89.8817.