Robotics Demonstrator for Safety-Critical & Real-Time Systems
University of Adelaide Australia
A project team from the University of Adelaide was tasked with creating a demonstrator utilising safety critical programming techniques as part of their final year project.
Utilising the latest release of the GNAT for Mindstorms product, their robot supports the Ravenscar profile and is targeted at the ARM 7 based Mindstorms NXT platform.
It traverses the table and when an edge is detected changes direction and continues on a different path. By introducing a randomness into the change in direction, the coverage of the table is guaranteed as demonstrated by sweeping of objects off that table.
