Learning Activity-3: The hippies problem

¿Cuánto tiempo disponen los hippies para cruzar el puente?

• 30'

• 60'

• pufff ... depende..

• tres cuartos de hora

¿Cuántos hippies pueden cruzar el puente simultáneamente, como máximo?

• 1

• 2

• 3

• toda la banda

¿Cuánto tarda el hippie más lento?

• 5'

• 10'

• 30'

• 25'

¿Cuánto tarda el hippie más rápido?

• 5'

• 1'

• 10'

• 25'

Experimento-1:

Ejecuta una simulación del modelo. ¿Cuánto han tardado en cruzar el puente?

Experimento-2:

Ejecuta una simulación del modelo. ¿Cuánto han tardado en cruzar el puente?

Experimento-3:

Una vez hemos eliminado el comentario de la línea #73, ¿cuántos posibles itinerarios distintos ha encontrado el validador?

Sugerencia: obtener el validador (explorador de estados) y utiliza comandos bash.

Experimento-4:

¿Cuántos itinerarios cumplen la premisa de cruzar el puente en 60'?

Sugerencia: a partir del validador anterior (explorador de estados) y utiliza comandos bash.

Experimento-5:

Elimina comentario de #12.

Vuelve a comentar #73.

Elimina comentario de #74-#83.

Vuelve a generar y ejecutar el validador.

¿En qué iteracción de la búsqueda encuentra la solución óptima?

• 1ª

• 2ª

• 3ª

• 4ª

Experimento-6:

El verificador ha guardado en el fichero hippies.pml.trail la traza con el valor óptimo encontrado una vez recorrido todo el espacio de estados. Para visualizar en modo gráfico la traza, utilizar el siguiente código:

$ spin -k hippies.pml.trail -M hippies.pml

Visualizar la traza MSC en el ordenador local. Sugerencia: descargarla mediante FTP o ejecutarla directamente en el FTP.

¿Has conseguido la visualización en formato MSC?

• SI

• NO