Experiential Learning of Runtime Monitoring Using Pachinko

No mundo de alto risco da aviação e do voo autônomo, engenheiros enfrentam um desafio formidável: como garantir que máquinas complexas se comportem corretamente quando estão operando em tempo real. Esses sistemas, muitas vezes construídos por grandes equipes de pessoas, são intrincados demais para serem verificados perfeitamente antes mesmo de serem ligados. Para resolver isso, especialistas utilizam uma técnica chamada monitoramento em tempo de execução (runtime monitoring). Imagine um guarda de segurança dedicado vigiando o fluxo de dados de uma máquina, verificando constantemente se os números e eventos correspondem a um conjunto de regras estritas. Se a máquina começar a se desviar de seu caminho seguro, esse guarda soa um alarme ou toma uma ação corretiva antes que um desastre ocorra. Embora esse conceito seja vital para manter aeronaves e drones seguros, ensinar isso aos alunos é difícil. Os cenários geralmente envolveem sistemas massivos e abstratos que são difíceis de visualizar em uma sala de aula, tornando difícil para os aprendizes entenderem por que tais regras estritas são necessárias.

Uma equipe de educadores do Barnard College e da Universidade de Columbia encontrou uma maneira de tornar esse conceito abstrato tangível, transformando uma sala de aula em um workshop de um jogo japonês chamado Pachinko. Em seu trabalho recente, eles desenharam uma tarefa de curso onde os alunos constroem tabuleiros de Pachinko interativos que são monitorados por um sistema de computador em tempo real. O objetivo não era apenas construir um jogo, mas ensinar os alunos a escrever especificações formais — regras lógicas precisas que dizem ao computador exatamente o que observar e como reagir. Ao usar um jogo físico onde bolas de aço saltam imprevisivelmente de milhares de pregos, os pesquisadores criaram um cenário onde a necessidade de um monitor de segurança parecia imediata e real. Os alunos aprenderam a programar um pequeno chip de computador para observar as bolas, detectar padrões e acionar sons ou movimentos de motores, transformando efetivamente um jogo em uma lição sobre software crítico de segurança.

O projeto centra-se em um tabuleiro de madeira cheio de centenas de pregos de latão e um caminho para bolas de aço rolarem. Na parte inferior deste tabuleiro, encontra-se um pequeno dispositivo eletrônico que atua como o cérebro e o guarda de segurança do jogo. Este dispositivo é equipado com sensores que podem detectar quando uma bola passa por um canal específico, atravessando uma pequena lacuna em uma fita de cobre. Os pesquisadores configuraram o sistema para que este dispositivo central execute duas tarefas separadas simultaneamente em seus processadores internos. Um processador lida com o trabalho físico de ler os sensores e falar com outros dispositivos, enquanto o segundo processador executa o "monitor". Este monitor é um pedaço de software que verifica constantemente o fluxo de movimentos das bolas contra um conjunto de regras escritas pelos alunos.

Os alunos, trabalhando em pequenos grupos, foram encarregados de escrever essas regras usando uma linguagem especializada projetada para descrever eventos baseados no tempo. Eles tiveram que decidir quais padrões de movimento das bolas disparariam uma resposta. Por exemplo, um aluno poderia escrever uma regra que diz: "Se uma bola passar por este canal específico duas vezes seguidas, envie um sinal para um motor". Quando o monitor detecta que a regra foi atendida, ele envia instantaneamente uma mensagem sem fio para outros dispositivos no tabuleiro. Esses dispositivos controlam motores de passo que podem mover fisicamente partes do jogo ou acionar luzes e sons. Todo o processo acontece em tempo real, criando um ciclo dinâmico onde o comportamento do jogo muda com base nas regras lógicas definidas pelos alunos.

Os pesquisadores descobriram que os alunos foram surpreendentemente bem-sucedidos ao escrever essas regras formais para controlar o comportamento do jogo. As principais dificuldades encontradas pelos alunos não foram com a lógica ou o código, mas com a construção física do jogo. Conectar os sensores, a fiação dos motores e garantir que a comunicação sem fio entre as diferentes placas eletrônicas funcionasse perfeitamente provou ser a parte mais desafiadora. Este resultado foi, na verdade, uma lição valiosa por si só. No mundo real, o monitoramento em tempo de execução é frequentemente usado em sistemas complexos onde o hardware e o software devem trabalhar juntos perfeitamente. Ao lutar com a fiação e a configuração física, os alunos experimentaram os mesmos tipos de desafios de integração que engenheiros profissionais enfrentam ao construir sistemas de segurança para drones ou aeronaves.

Houve alguns limites técnicos para o que os alunos poderiam alcançar com as ferramentas fornecidas. O software que eles usavam para escrever as regras não suportava certas operações complexas baseadas no tempo, como contar o número total de bolas ao longo de um longo período. Para contornar isso, os alunos tiveram que ser criativos, usando o processador principal para contar as bolas e então enviar esses totais para o monitor. Embora esta não fosse a maneira ideal de ensinar esses conceitos específicos, mostrou que os alunos ainda podiam pensar em termos de lógica formal para resolver o problema. Os pesquisadores observaram que estão trabalhando para melhorar o software para que ele possa lidar com essas operações mais complexas no futuro.

O sucesso deste projeto sugere que o ensino de conceitos avançados de segurança não requer simulações abstratas ou montagens industriais massivas. Ao fundamentar a lição em um jogo físico e interativo, os educadores tornaram a necessidade de monitoramento em tempo de execução clara e envolvente. Os materiais para o projeto foram relativamente baratos, custando cerca de setenta e cinco dólares por tabuleiro, e a configuração foi projetada para ser facilmente replicada em outras salas de aula. O sistema é flexível o suficiente para que o número de sensores e motores possa ser alterado, permitindo que a tarefa seja adaptada para diferentes tamanhos de turma ou objetivos criativos. Em última análise, o projeto demonstrou que os alunos podem compreender os princípios de verificação formal e monitoramento de segurança em tempo real quando recebem uma maneira concreta e prática de ver essas regras em ação.