Hispanopedia WikiLa lógica de control es una parte fundamental de un programa de software que controla sus operaciones. La lógica de control responde a las órdenes del usuario y también actúa de forma autónoma para realizar tareas automatizadas que se han integrado en el programa. [ 1 ]
La lógica de control se puede modelar mediante un diagrama de estados [ 2 ] , que es una forma de máquina de estados jerárquica . Estos diagramas de estados también se pueden combinar con diagramas de flujo para proporcionar un conjunto de semántica computacional para describir lógica de control compleja [ 3 ] . Esta combinación de diagramas de estados y diagramas de flujo se ilustra en la figura de la derecha, que muestra la lógica de control de un cronómetro simple. La lógica de control recibe comandos del usuario, representados por el evento denominado "START", pero también tiene eventos de tiempo de muestreo recurrentes automáticos, representados por el evento denominado "TIC".
Referencias
- ↑ Smith, SE "¿Qué es la lógica de control?" .
- ↑ Tiwari, A. (2002). "Semántica formal y métodos de análisis para modelos Simulink Stateflow" (PDF) .
- ↑ Hamon, G. (2005). Una semántica denotacional para Stateflow . Conferencia internacional sobre software embebido. Jersey City, NJ: ACM. pp. 164–172 . CiteSeerX 10.1.1.89.8817 .
- Terminología informática