Experiential Learning of Runtime Monitoring Using Pachinko

Nel mondo ad alta intensità dell'aviazione e del volo autonomo, gli ingegneri affrontano una sfida enorme: come garantire che macchine complesse si comportino correttamente mentre sono in funzione in tempo reale. Questi sistemi, spesso costruiti da grandi team di persone, sono troppo intricati per essere controllati perfettamente prima che vengano accesi. Per risolvere questo problema, gli specialisti utilizzano una tecnica chiamata monitoraggio in tempo reale (runtime monitoring). Immaginate un guardiano dedicato che sorveglia il flusso di dati di una macchina, controllando costantemente se i numeri e gli eventi corrispondono a un insieme di regole rigorose. Se la macchina inizia a deviare dal suo percorso sicuro, questo guardiano suona un allarme o intraprende un'azione correttiva prima che si verifichi un disastro. Sebbene questo concetto sia vitale per mantenere sicuri velivoli e droni, insegnarlo agli studenti è difficile. Gli scenari coinvolgono solitamente sistemi massicci e astratti, difficili da visualizzare in un'aula, rendendo complicato per gli studenti comprendere perché tali regole rigide siano necessarie.

Un team di educatori del Barnard College e della Columbia University ha trovato un modo per rendere concreto questo concetto astratto trasformando un'aula in un laboratorio per un gioco giapponese chiamato Pachinko. Nel loro recente lavoro, hanno progettato un compito didattico in cui gli studenti costruiscono tabelloni Pachinko interattivi che sono monitorati da un sistema informatico in tempo reale. L'obiettivo non era solo costruire un gioco, ma insegnare agli studenti come scrivere specifiche formali — regole logiche precise che dicono a un computer esattamente cosa osservare e come reagire. Utilizzando un gioco fisico dove palline d'acciaio rimbalzano in modo imprevedibile contro migliaia di chiodi, i ricercatori hanno creato uno scenario in cui la necessità di un monitor di sicurezza sembrava immediata e reale. Gli studenti hanno imparato a programmare un piccolo chip per osservare le palline, rilevare schemi e attivare suoni o movimenti di motori basandosi su tali schemi, trasformando efficacementmente un gioco in una lezione su software critici per la sicurezza.

Il progetto si concentra su un tabellone di legno pieno di centinaia di chiodi di ottone e un percorso per il rotolamento di palline d'acciaio. Alla base di questo tabellone si trova un piccolo dispositivo elettronico che funge da cervello del gioco e da sua guardia di sicurezza. Questo dispositivo è dotato di sensori in grado di rilevare quando una pallina passa attraverso un canale specifico, colmando un minuscolo spazio in un nastro di rame. I ricercatori hanno configurato il sistema in modo che il dispositivo centrale esegua due compiti separati simultaneamente sui suoi processori interni. Un processore gestisce il lavoro fisico di lettura dei sensori e di comunicazione con altri dispositivi, mentre il secondo processore esegue il "monitor". Questo monitor è un pezzo di software che controlla costantemente il flusso di movimenti delle palline rispetto a un insieme di regole scritte dagli studenti.

Gli studenti, lavorando in piccoli gruppi, avevano il compito di scrivere queste regole utilizzando un linguaggio specializzato progettato per descrivere eventi basati sul tempo. Dovevano decidere quali schemi di movimento delle palline avrebbero attivato una risposta. Ad esempio, uno studente potrebbe scrivere una regola che dice: "Se una pallina passa attraverso questo specifico canale due volte di seguito, invia un segnale a un motore". Quando il monitor rileva che la regola è stata soddisfatta, invia istantaneamente un messaggio wireless ad altri dispositivi sul tabellone. Questi dispositivi controllano motori passo-passo che possono muovere fisicamente parti del gioco o attivare luci e suoni. L'intero processo avviene in tempo reale, creando un ciclo dinamico in cui il comportamento del gioco cambia in base alle regole logiche definite dagli studenti.

I ricercatori hanno scoperto che gli studenti sono stati sorprendentemente bravi a scrivere queste regole formali per controllare il comportamento del gioco. Le difficoltà principali incontrate dagli studenti non riguardavano la logica o il codice, ma la costruzione fisica del gioco. Collegare i sensori, cablare i motori e garantire che la comunicazione wireless tra i diversi circuiti elettronici funzionasse senza problemi si è rivelato la parte più difficile. Questo risultato è stato in realtà una lezione preziosa in sé. Nel mondo reale, il monitoraggio in tempo reale è spesso utilizzato in sistemi complessi in cui l'hardware e il software devono lavorare perfettamente insieme. Faticando con il cablaggio e la configurazione fisica, gli studenti hanno sperimentato lo stesso tipo di sfide di integrazione che i professionisti del settore affrontano quando costruiscono sistemi di sicurezza per droni o velivoli.

C'erano alcuni limiti tecnici a ciò che gli studenti potevano ottenere con gli strumenti forniti. Il software utilizzato per scrivere le regole non supportava alcune operazioni temporali complesse, come il conteggio del numero totale di palline su un lungo periodo. Per aggirare questo problema, gli studenti hanno dovuto essere creativi, utilizzando il processore principale per contare le palline e poi inviare tali totali al monitor. Sebbene questo non fosse il modo ideale per insegnare quei concetti specifici, ha dimostrato che gli studenti potevano comunque ragionare in termini di logica formale per risolvere il problema. I ricercatori hanno notato che stanno lavorando per migliorare il software affinché possa gestire queste operazioni più complesse in futuro.

Il successo di questo progetto suggerisce che l'insegnamento di concetti avanzati di sicurezza non richiede simulazioni astratte o enormi installazioni industriali. Fondando la lezione in un gioco fisico e interattivo, gli educatori hanno reso chiaro e coinvolgente il bisogno del monitoraggio in tempo reale. I materiali per il progetto erano relativamente economici, con un costo di circa settantacinque dollari per tabellone, e la configurazione è stata progettata per essere facilmente replicata in altre classi. Il sistema è abbastanza flessibile che il numero di sensori e motori può essere modificato, permettendo al compito di essere adattato per diverse dimensioni di classe o obiettivi creativi. In definitiva, il progetto ha dimostrato che gli studenti possono comprendere i principi della verifica formale e del monitoraggio della sicurezza in tempo reale quando ricevono un modo concreto e pratico per vedere quelle regole in azione.