ai
Experiential Learning of Runtime Monitoring Using Pachinko
- Source
- arXiv — Computers and Society
- Published
- Last verified
- 19 Aug 2026
- Confidence
- High
- Evidence
- Original document retained
- Reading time
- 1 min
- Country
- International
- Relevant to
- Research & Evidence, Executive Leadership, Technology & Data
Executive summary
What happened, and why should leadership care?
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 this matters
Why is this strategically important?
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
What should be noted from the evidence?
- 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.
Evidence and confidence
How far can this assessment be trusted?
High confidence. Named institution, original document retained and analysis corroborated.
Analysis is prepared editorially by Aziz Shuaib Ausi. The original publication remains the authoritative record, and executive judgement remains entirely human.
Source
Where does this originate?
Reported by arXiv — Computers and Society · International. This briefing summarises the publication for executive use; the document itself is not reproduced here.
Read the original publication