Checkout the world's safest open source sumobot (with video)
High Integrity Sumobot is an advanced-level project programmed in Ada/SPARK and Arduino (C++).
Tags: showdev, embedded