Experiential Learning of Runtime Monitoring Using Pachinko

A classroom assignment utilizing an interactive Pachinko game built on a dual-core ESP32 platform effectively teaches runtime monitoring using formal methods. Students develop and deploy monitors based on RTLola specifications, integrating them with real-time sensor and actuator control. This approach demonstrates a hands-on, project-based method for teaching complex technical concepts.

Why it matters

This development showcases an innovative pedagogical approach to teaching critical technical skills, specifically in formal methods and runtime monitoring for embedded systems. Such hands-on, experiential learning models can significantly improve the acquisition of complex technical knowledge, potentially leading to more skilled professionals in related technology and engineering fields.

Key insights

• Runtime monitoring is taught through an interactive Pachinko game embedded system.
• The assignment uses a dual-core ESP32 workflow.
• Students write RTLola specifications for monitors, compile them to C, and deploy them.
• Monitors integrate with sensor and actuator control logic.
• Game events trigger sound, animation, and motor behavior based on formal temporal logic specifications.
• The approach emphasizes hands-on, project-based learning for formal methods.

Source

arXiv — Computers and Society — https://arxiv.org/abs/2608.16898