Virtual de la mquina de estados finitos

14 de mayo de 2012

UNIVERSIDAD NACIONAL JOS MARA ARGUEDAS

Identidad y Excelencia para el Trabajo Productivo y el Desarrollo

INGENIERA DE SISTEMAS

AREA

: INGENIERA DE SOFTWARE II

DOCENTE : ING. JULIO CESAR HUANCA MARIN

TEMA

: VFSM virtual finite state machine desde 1990

ESTUDIANTE: VELASQUE QUISPE RICHARTH

SEMESTRE: 2012 - I

Andahuaylas Per

Ingeniera de Sistemas

Virtual de la mquina de estados finitos

14 de mayo de 2012

Virtual de la mquina de estados finitos

Figura 1: VFSM en el entorno virtual Una mquina virtual de estados finitos es una mquina de estados finitos (FSM) se define en un entorno virtual. El concepto VFSM proporciona un mtodo de especificacin de software para describir el comportamiento de un sistema de control de uso de nombres asignados de las propiedades del control de entrada y salida de las acciones. El mtodo VFSM introduce un modelo de ejecucin y facilita la idea de una especificacin ejecutable. Esta tecnologa se utiliza principalmente en mquinas complejas aplicaciones de control, instrumentacin y telecomunicaciones.

Control de Propiedades Una variable en el entorno VFSM puede tener uno o ms valores que son relevantes para el control - en este caso es una variable de entrada. Esos valores son las propiedades de control de esta variable. Propiedades de control no son necesariamente los valores de datos especficos, pero son los estados ms ciertos de la variable. Por ejemplo, una variable digital podra proporcionar tres propiedades de control: TRUE, FALSE y UNKNOWN en funcin de sus posibles valores booleanos. Un numrica (analgico) variable de entrada tiene propiedades de control tales como: bajo, segn ALTO, OK, BAD, sin que su gama de valores deseados. Un contador de tiempo puede tener su estado Sobre (tiempo de espera se produjo) como su valor de control ms importante, los dems valores se pudo detener, correr, etc .. Acciones Una variable en el entorno VFSM puede ser activado por acciones - en este caso es una variable de salida. Por ejemplo, una salida digital tiene dos acciones: Verdadero y Falso. Un numrica (analgico) variable de salida tiene una accin: Conjunto. Un contador de tiempo, que es a la vez: una variable de entrada y salida pueden ser desencadenados por acciones como: iniciar, detener o reiniciar.
Ingeniera de Sistemas 2

Virtual de la mquina de estados finitos Entorno Virtual

14 de mayo de 2012

El entorno virtual caracteriza el entorno en el que un VFSM opera. Se define por tres conjuntos de nombres:

introducir nombres, representados por las propiedades del control de todas las variables disponibles nombres de salida, representada por todas las acciones disponibles en las variables nombres de estado, como se define para cada uno de los estados de los EFM.

Los nombres de entrada a construir las condiciones virtuales para llevar a cabo las transiciones de estado o acciones de entrada. Las condiciones virtuales se construyen utilizando el lgebra de la lgica positiva. Los nombres de las acciones del desencadenador de salida (acciones de entrada, las acciones de salida, las acciones de entrada o las acciones de transicin). lgebra lgica positiva Para construir un estado de virtual utilizando los nombres de entrada de las operaciones booleanas AND y OR se les permite. El operador NOT no es posible porque los nombres de entrada no puede ser negada, aun cuando al parecer, describir los valores booleanos. Simplemente existen o no. Modelo de Ejecucin VFSM

Figura 2: Diagrama de flujo Ejecutor VFSM Un subconjunto de todos los nombres definidos de entrada, que slo pueden existir en una situacin determinada, se conoce como la entrada virtual (VI). Por ejemplo, la temperatura puede ser "demasiado bajo", "buena" o "demasiado alto". Aunque hay
Ingeniera de Sistemas 3

Virtual de la mquina de estados finitos

14 de mayo de 2012

tres nombres de entrada definidos, slo uno de ellos puede existir en una situacin real. Este se construye el VI. Un subconjunto de todos los nombres definidos de salida, que slo pueden existir en una determinada situacin se conoce como salida virtual (VO). VO se construye por la accin de corriente (s) de la VFSM. La especificacin de la conducta se construye una tabla de estado que describe todos los detalles de un solo estado de la VFSM. El ejecutor VFSM se desencadena por VI y el estado actual de la VFSM. En consideracin de la especificacin comportamiento del estado actual, el VO se establece. La figura 2 muestra una posible implementacin de un ejecutor VFSM. Basndose en esta aplicacin unas caractersticas de comportamiento tpicas deben ser considerados. Tabla de Estado

Una tabla de estado se definen todos los detalles del comportamiento de un estado de un VFSM. Se compone de tres columnas: en los nombres de los estados primeras columnas se utilizan, en el segundo las condiciones virtuales construidas a partir de los nombres de entrada utilizando el lgebra de la lgica positiva y se coloc en la tercera columna aparecen los nombres de salida: Nombre del Estado Estado actual Estado (s) Entrada la accin Salir de la accin Acciones (s) Salida de nombre (s) Salida de nombre (s)

Condicin de virtual Salida de nombre (s) ... ...

A continuacin el nombre del estado Condicin de virtual Salida de nombre (s) A continuacin el nombre del estado Condicin de virtual Salida de nombre (s) ... ... ...

Lea la tabla de la siguiente manera: las dos primeras lneas de definir las acciones de entrada y salida de la situacin actual. Las siguientes lneas que no proporcionan el siguiente estado representan las acciones de entrada. Finalmente las lneas que proporcionan el siguiente estado representan las condiciones de transicin de estado y acciones de transicin. Todos los campos son opcionales. Un VFSM combinatoria pura es posible en caso de que slo cuando las acciones de que se utilicen, pero no se
Ingeniera de Sistemas 4

Virtual de la mquina de estados finitos

14 de mayo de 2012

definen las transiciones de estado. La accin de transicin puede ser sustituida por el uso adecuado de otras acciones.

Ingeniera de Sistemas