Brussels / 30 & 31 January 2016


Controlling a Train Model with GNAT GPL for Raspberry Pi 2

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.


Photo of Tristan Gingold Tristan Gingold