Universidad de Chile

1
Computación II CC20A II Semestre 2007
2
Modelamiento de Sistemas

• Ejemplo 7 Montacargas Simplificado

• (Modelo con entradas, no autónomo)

3
Modelamiento 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.
4
Modelamiento 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

5
Modelamiento 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.

6
Modelamiento 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).
7
Modelamiento 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.
8
Modelamiento 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
9
Modelamiento 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
10
Modelamiento de Sistemas
Con este diagrama es fácil construir una tabla
para d d ESTADOS x ENTRADAS ESTADOS

• . . .

• . . .

• . . .

11
Modelamiento 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)
12
Modelamiento de Sistemas

• FIN