/dbl-embedded-systems

A robot built with Fischer Technik and Raspberry Pi. Formal verification using Verum's Dezyne.

Counting Robot

This is a Robot designed with Fischer Technik, implemented on Raspberry Pi with C++. Verified with Dezyne. The C++ code can be found in the software branch.

Behavior

The robot represents 3-bit values as white and black disks on a conveyor belt. The disks are picked from a factory floor thats shared with other robots.

Communication

Robot communicates with other robots on the factory floor via mqtt with an agreed upon protocol.