Instituto Tecnolgico de Piedras Negras

Ingeniera Mecatrnica

Diseo Digital Con VHDL

20:00 21:00

INVESTIGACION

Emmanuel Marn Vicente

Docente: Ing. Miguel Espinoza Martnez

15 de marzo del 2017, Piedras Negras, Coahuila, Mxico

Qu es una Mquina de Estado Finito?

Una Mquina de Estado Finito (Finite State Machine), llamada tambin Autmata
Finito es una abstraccin computacional que describe el comportamiento de un
sistema reactivo mediante un nmero determinado de Estados y un nmero
determinado de Transiciones entre dicho Estados.

Las Transiciones de un estado a otro se generan en respuesta a eventos de

entrada externos e internos; a su vez estas transiciones y/o subsecuentes estados
pueden generar otros eventos de salida. Esta dependencia de las acciones
(respuesta) del sistema a los eventos de entrada hace que las Mquinas de
Estado Finito (MEF) sean una herramienta adecuada para el diseo de Sistemas
Reactivos y la Programacin Conducida por Eventos (Event Driven Programming),
cual es el caso de la mayora de los sistemas embebidos basados en
microcontroladores o microprocesadores.

Las MEF se describen grficamente mediante los llamados Diagramas de Estado

Finito (DEF), llamados tambin Diagramas de Transicin de Estados.

Sistemas Reactivos

Un Sistema Reactivo es aquel que interacta constantemente con su medio

ambiente, tiene la caracterstica de ser conducido por eventos (event driven), la
respuesta de tiempo es crtica y una vez que el sistema se activa permanece en
ese estado de manera indefinida. En estos sistemas los eventos llegan en tiempos
impredecibles y el sistema debe tener la capacidad de responder de manera
inmediata, en el orden de los milisegundos o microsegundos, sobre todo en
sistemas donde la seguridad es crtica (ejemplo: un piloto automtico en un avin
o una mquina para soporte de vida en un hospital).

La gran mayora de los sistemas embebidos (en base a microcontroladores o

microprocesadores) corresponden a esta categora, debido a que estos sistemas
estn tpicamente conectados a varios tipos de sensores y transductores de
entrada encargados de captar los estmulos del medio ambiente (temperatura,
presin, luz, magnetismo, fuerza / peso, etc.), procesar dicha informacin y
generar una respuesta del sistema hacia el medio ambiente a travs de
transductores de salida y actuadores.

Sistemas Transformacionales

A diferencia de los Sistemas Reactivos un Sistema Transformacional es aquel que

recibe cierta informacin de entrada, realiza una cierta cantidad de cmputo,
produce cierta informacin de salida y luego termina. No muchos sistemas
 embebidos caen en esta categora; ejemplos ms tpicos son las aplicaciones
para PC, como por ejemplo: Un procesador de texto.

Diagrama de Estado Finito o Diagrama de Transicin de Estados

Un Diagrama de Estado Finito es un grfico que representa los diferentes estados

de una MEF y todas las transiciones posibles entre los estados.

Como ejemplo, consideremos un muy simplificado sistema de control de un

ascensor:

Estados: El sistema est formado por tres estados: DETENIDO, YENDO_ARRIBA

y YENDO_ABAJO. Los diferentes estados se los representa mediante bloques
cuadrados (como en este caso) o crculos.

Transiciones: Las transiciones se las representa mediante flechas que indican la

direccin de transicin de un estado a otro.

Eventos: Los eventos para el sistema en este ejemplo son los siguientes:

seleccion_piso: Es un evento externo que se genera toda vez que un

usuario selecciona un piso o llama al ascensor desde otro piso.

arribo_nuevo_piso: Es un evento interno que se genera cada vez que los

sensores detectan que se ha arribado al nuevo piso seleccionado por el usuario.

Los eventos se anotan en el grfico por encima de las flechas de transicin.

Condiciones de Transicin: Dos transiciones en este sistema de ejemplo tienen

asociadas sus respectivas Condiciones de Transicin. No todas las transiciones
poseen Condiciones de Transicin.
 piso_nuevo > piso_actual: Es la condicin necesaria para que se produzca
una transicin del estado DETENIDO al estado YENDO_ARRIBA.

piso_nuevo < piso_actual: Es la condicin necesaria para que se produzca

una transicin del estado DETENIDO al estado YENDO_ABAJO.

Las Condiciones de Transicin se anotan por debajo de las flechas de transicin.

Una pseudo transicin inicial del punto rojo al estado DETENIDO identifica a este
ltimo como el estado inicial de la MEF.

Las Mquinas de Estado Finito no son Diagramas de Flujo

Las MEF no son diagramas de flujo y no deben confundirse con los mismos. En
una MEF las acciones se asocian con las flechas (transiciones), mientras que un
Diagrama de Flujo las acciones se asocian a los vrtices de la flecha o a los
bloques de proceso. Cuando una MEF se encuentra en uno de sus estados,
bsicamente se encuentra "en reposo" esperando a que suceda un evento,
mientras que en un Diagrama de Flujo el sistema se encuentra activo realizando
una tarea.

Tipos de Mquinas de Estado Finito

Existen principalmente dos tipos de Mquinas de Estado Finito: Las

Reconocedoras o Detectoras y las Transductores.
Reconocedoras o Detectoras: Llamadas tambin Detectoras de Secuencia,
realizan bsicamente la deteccin de patrones o secuencias determinadas en
respuesta a las entradas recibidas. Por su definicin terica este tipo de sistema
no proveen seales de salida (acciones), simplemente transicionan desde un
estado inicial a un estado final de "Exito", en cuyo caso se entiende que un patrn
o secuencia ha sido reconocida exitosamente. Las MEF Detectoras de Secuencia
son tiles en aplicaciones en las que se necesita verificar contraseas, cdigos o
la validacin de paquetes de datos en transmisin digital, este ltimo un ejemplo
muy tpico de su uso. A continuacin se muestra el ejemplo de una verificacin de
un cdigo / contrasea con una MEF Detectora de Secuencia:

Transductoras: Las MEFs transductoras se caracterizan por generar acciones o

salidas dependiendo de las entradas y/o estados; se implementan en sistemas
embebidos tpicamente para aplicaciones de control. Un ejemplo de este tipo de
sistema es el ejemplo del ascensor ya analizado en la primera parte de este
artculo.

Modelos/Maquinas/Autmatas

Mealy: las salidas estn en funcin de dos, el estado presente y las entradas.

Moore: Las salidas estn en funcin del estado presente solamente

Mealy: Dado el estado actual Q. Si llega un valor a la entrada el circuito de lgica /

combi nacional (L/C) calcula el estado siguiente y la salida. Cuando llega un pulso
de reloj, se captura el nuevo estado. Defecto: Con el pulso de reloj se captura el
nuevo estado y el L/C recalcula otro estado y una nueva salida.

Moore: Los estados de los circuitos son tambin

las salidas del mismo. Es muy usado para generar
secuencias de conteo ya que requiere menos circuitos combi nacional. En la
mquina de Moore, la salida se toma directamente del registro, por lo que no
necesita lgica combi nacional para sintetizar la salida