Project

General

Profile

Overview

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.

Issue tracking

open closed Total
Bug 0 0 0

View all issues | Summary

Main repository access links

This URL has Read-Only access

Members

Project administrator: Fran├žois Ingrand

Developer: Dario Sanalitro