Skip to content

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

Notifications You must be signed in to change notification settings

EmreCem/dbl-embedded-systems

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

47 Commits
 
 
 
 

Repository files navigation

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.

About

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

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published