Experiential Learning of Runtime Monitoring Using Pachinko

En el mundo de alto riesgo de la aviación y el vuelo autónomo, los ingenieros se enfrentan a un desafío desalentador: cómo asegurar que las máquinas complejas se comporten correctamente cuando funcionan en tiempo real. Estos sistemas, a menudo construidos por grandes equipos de personas, son demasiado intrincados para ser verificados perfectamente antes de que se enciendan por primera vez. Para resolver esto, los especialistas utilizan una técnica llamada monitoreo en tiempo de ejecución (runtime monitoring). Imagine a un guardia de seguridad dedicado vigilando el flujo de datos de una máquina, comprobando constantemente si los números y los eventos coinciden con un conjunto de reglas estrictas. Si la máquina comienza a desviarse de su trayectoria segura, este guardia hace sonar una alarma o toma una acción correctiva antes de que ocurra un desastre. Aunque este concepto es vital para mantener la seguridad de las aeronaves y los drones, enseñar esto a los estudiantes es difícil. Los escenarios suelen involucrar sistemas masivos y abstractos que son difíciles de visualizar en un aula, lo que dificulta que los alumnos comprendan por qué tales reglas estrictas son necesarias.

Un equipo de educadores de Barnard College y la Universidad de Columbia ha encontrado una forma de hacer tangible este concepto abstracto convirtiendo un aula en un taller de un juego japonés llamado Pachinko. En su trabajo reciente, diseñaron una tarea de curso donde los estudiantes construyen tableros de Pachinko interactivos que son monitoreados por un sistema informático en tiempo real. El objetivo no era solo construir un juego, sino enseñar a los estudiantes cómo escribir especificaciones formales: reglas lógicas precisas que le dicen a una computadora exactamente qué debe vigilar y cómo reaccionar. Al utilizar un juego físico donde las bolas de acero rebotan de forma impredecible contra miles de clavos, los investigadores crearon un escenario donde la necesidad de un monitor de seguridad se sintió inmediata y real. Los estudiantes aprendieron a programar un pequeño chip informático para vigilar las bolas, detectar patrones y activar sonidos o movimientos de motores basados en esos patrones, convirtiendo efectivamente un juego en una lección sobre software crítico para la seguridad.

El proyecto se centra en un tablero de madera lleno de cientos de clavos de latón y un camino para que las bolas de acero rueden hacia abajo. En la parte inferior de este tablero se encuentra un pequeño dispositivo electrónico que actúa como el cerebro y el guardia de seguridad del juego. Este dispositivo está equipado con sensores que pueden detectar cuándo una bola pasa a través de un canal específico, cerrando un diminuto espacio en una cinta de cobre. Los investigadores configuraron el sistema para que este dispositivo central ejecute dos tareas separadas simultáneamente en sus procesadores internos. Un procesador se encarga del trabajo físico de leer los sensores y comunicarse con otros dispositivos, mientras que el segundo procesador ejecuta el "monitor". Este monitor es una pieza de software que comprueba constantemente el flujo de movimientos de las bolas frente a un conjunto de reglas escritas por los estudiantes.

Los estudiantes, trabajando en grupos pequeños, tenían la tarea de escribir estas reglas utilizando un lenguaje especializado diseñado para describir eventos basados en el tiempo. Tenían que decidir qué patrones de movimiento de las bolas activarían una respuesta. Por ejemplo, un estudiante podría escribir una regla que diga: "Si una bola pasa por este canal específico dos veces seguidas, envía una señal a un motor". Cuando el monitor detecta que la regla se ha cumplido, envía instantáneamente un mensaje inalámbrico a otros dispositivos en el tablero. Estos dispositivos controlan motores paso a paso que pueden mover físicamente partes del juego o activar luces y sonidos. Todo el proceso ocurre en tiempo real, creando un bucle dinámico donde el comportamiento del juego cambia basándose en las reglas lógicas que los estudiantes definieron.

Los investigadores encontraron que los estudiantes fueron sorprendentemente exitosos al escribir estas reglas formales para controlar el comportamiento del juego. Las principales dificultades que encontraron los estudiantes no fueron con la lógica o el código, sino con la construcción física del juego. Conectar los sensores, cablear los motores y asegurar que la comunicación inalámbrica entre las diferentes placas electrónicas funcionara sin problemas resultó ser la parte más desafiante. Este resultado fue, de hecho, una lección valiosa en sí misma. En el mundo real, el monitoreo en tiempo de ejecución se utiliza a menudo en sistemas complejos donde el hardware y el software deben trabajar juntos perfectamente. Al luchar con el cableado y la configuración física, los estudiantes experimentaron el mismo tipo de desafíos de integración que enfrentan los ingenieros profesionales al construir sistemas de seguridad para drones o aeronaves.

Hubo algunos límites técnicos para lo que los estudiantes podían lograr con las herramientas proporcionadas. El software que utilizaban para escribir las reglas no admitía ciertas operaciones temporales complejas, como contar el número total de bolas durante un período prolongado. Para solucionar esto, los estudiantes tuvieron que ser creativos, utilizando el procesador principal para contar las bolas y luego enviando esos totales al monitor. Aunque esta no era la forma ideal de enseñar esos conceptos específicos, demostró que los estudiantes aún podían pensar en términos de lógica formal para resolver el problema. Los investigadores señalaron que están trabajando para mejorar el software de modo que pueda manejar estas operaciones más complejas en el futuro.

El éxito de este proyecto sugiere que la enseñanza de conceptos avanzados de seguridad no requiere simulaciones abstractas o montajes industriales masivos. Al fundamentar la lección en un juego físico e interactivo, los educadores hicieron que la necesidad del monitoreo en tiempo de ejecución fuera clara y atractiva. Los materiales para el proyecto fueron relativamente económicos, costando unos setenta y cinco dólares por tablero, y la configuración fue diseñada para ser fácilmente replicable en otras aulas. El sistema es lo suficientemente flexible como para que el número de sensores y motores pueda cambiarse, lo que permite adaptar la tarea para diferentes tamaños de clase o metas creativas. En última instancia, el proyecto demostró que los estudiantes pueden comprender los principios de la verificación formal y el monitoreo de seguridad en tiempo real cuando se les proporciona una forma concreta y práctica de ver esas reglas en acción.