Title: Universidad de Chile
1Computación II CC20A II Semestre 2007
2Modelamiento de Sistemas
- Ejemplo 7 Montacargas Simplificado
- (Modelo con entradas, no autónomo)
3Modelamiento de Sistemas
Se trata de un montacargas que puede viajar entre
dos pisos. Tiene una puerta. En los pisos hay un
botón para llamar al montacargas, y un timbre que
suena cuando llega y abre su puerta. No hay botón
interior, por lo que oralmente se debe pedir a
alguien en el otro piso que presione el botón
para hacer mover el montacargas.
4Modelamiento de Sistemas
- COMPONENTES
- MONTACARGAS, PISO-1, PISO-2
- VARIABLES DESCRIPTIVAS
- MONTACARGAS
- PUERTA - con rango ABIERTA, CERRADA
- LUGAR - con rango UNO,DOS,SUBIENDO,BAJANDO
LUGAR x indica si el montacargas está en ese
instante en un piso, subiendo o bajando. - RETARDO - con rango 0,1,2,3 RETARDO y
significa que hace y unidades de tiempo se le
pidió algo específico al montacargas. - Para PISO-i (i 1,2)
- BOTON-i con rango APRETADO, NO-APRETADO
BOTON-i z indica si el botón en el piso i ha
sido apretado o no en ese instante. - TIMBRE-i, con rango SONIDO,SILENCIO
5Modelamiento de Sistemas
- INTERACCION ENTRE COMPONENTES
- El MONTACARGAS permanece indefinidamente en el
piso al que llegó con su puerta ABIERTA, a menos
que alguien presione un BOTON. - Si se presiona un BOTON y éste es del mismo PISO
en el que está el MONTACARGAS, éste permanece en
ese piso con la puerta ABIERTA durante las
próximas 3 unidades de tiempo. - Si se presiona un BOTON y el MONTACARGAS no está
con la puerta ABIERTA (está SUBIENDO o BAJANDO)
no pasa nada. - Si se presionan ambos botones al mismo tiempo,
tiene prioridad el botón del mismo piso en el que
está el MONTACARGAS. - Si se presiona un BOTON y el MONTACARGAS está en
el otro piso y con la puerta ABIERTA, en la
próxima unidad de tiempo ésta se cierra, y en la
siguiente unidad de tiempo viaja (sube o baja con
la puerta CERRADA), demorando 2 unidades de
tiempo adicional. Después abre la puerta. - Al llegar a un piso, se hace sonar el TIMBRE del
piso correspondiente durante una unidad de
tiempo.
6Modelamiento de Sistemas
ESPECIFICACION DE LA MAQUINA SECUENCIAL
(AUTOMATA) (ENTRADAS, ESTADOS, SALIDAS, d, l)
(a) ENTRADAS Las variables de entrada son
BOTON1 y BOTON2. Una entrada es entonces (b1,
b2), con b1, b2 Î APRETADO, NOAPRETADO.
Resumiremos APRETADO como A y NOAPRETADO como
N.Por ejemplo, si en el instante t el BOTON1
está apretado y el BOTON2 no lo está, el valor
de las variables de entrada es (A,N). De este
modo ENTRADAS (A,A), (A,N), (N,A),
(N,N) Para especificar la función d, algunas
veces queremos decir que da lo mismo el valor de
un cierto botón. En este caso usamos i
(indiferente).
7Modelamiento de Sistemas
(b) ESTADOS Las variables de estado son PUERTA,
LUGAR, RETARDO. Entonces, un estado será un trío
(p,l,r), donde p Î ABIERTA, CERRADAl Î UNO,
DOS, SUBIENDO, BAJANDOr Î 0, 1, 2, 3 Por
tanto, ESTADOS Í ABIERTA, CERRADA x UNO,
DOS, SUBIENDO, BAJANDO x 0, 1, 2, 3En
realidad es un subconjunto propio porque hay
estados imposibles, tales como (ABIERTA,
SUBIENDO, i), ya que el montacargas sólo sube con
la puerta cerrada.
8Modelamiento de Sistemas
(c) SALIDAS Arbitrariamente elegimos algunas
variables de salida. Digamos que son PUERTA,
LUGAR, TIMBRE1, TIMBRE2. Por tanto, SALIDAS
Í ABIERTA, CERRADA x UNO, DOS, SUBIENDO,
BAJANDO x SONIDO, SILENCIO x SONIDO,
SILENCIO
9Modelamiento de Sistemas
(d) d (función de transición) Consideremos
primero un estado inicial factible y construyamos
las transiciones a partir de este. Un estado
inicial factible es, por ejemplo, (ABIERTA, UNO,
0). Hagamos un diagrama en que los nodos son los
estados, y los arcos son las entradas
10Modelamiento de Sistemas
Con este diagrama es fácil construir una tabla
para d d ESTADOS x ENTRADAS ESTADOS
11Modelamiento de Sistemas
(e) l (función de salida)
(p, l, r, SILENCIO, SONIDO) si p CERRADA, l
SUBIENDO y r 3(p, l, r, SONIDO, SILENCIO) si
p CERRADA, l BAJANDO y r 3(p, l, r,
SILENCIO, SILENCIO) en otros casos
l (p, l, r, b1, b2)
12Modelamiento de Sistemas