Minnie project to show how GenoM based robots can use V&V tools.¶
This project puts together various GenoM3 components to get Minnie moving and show how formal tools and framework can be used to verify interesting properties, or to enforce them at run time.
The targeted architecture (functional level) is the one below. All GenoM3 modules are available in the corresponding repositories. For each of them, if available, you need to take the
minnie git branch. For the
velodyne module, use the
genom3_thread branch, which implement all the threads as GenoM3 tasks.
Check https://redmine.laas.fr/projects/minnie/gollum for the documentation.