The GNAT GPL 2015 release by AdaCore includes a cross-compiler for a new platform: Raspberry Pi 2. We have used this platform to drive and control a real model train in Ada. SPARK was used to prove absence of collisions. I will present the hardware part as well as the software part, and show a video of the model train in action.