Documentation for the Validation and Verification of the Minnie experiment using GenoM3 and various V&V tools/framework.

This open source project aims at providing a show case for the deployment of V&V techniques within autonomous systems. It is based on a relatively complex robotic setup with a SegWay RMP440LE (named Minnie). All the components are developed and deployed using GenoM3.

Check the GenoM Modules page for a presentation of the various modules as well as a link to individual GenoM3 components documentation.

Figure 1. The Minnie Architecture

Two formal frameworks have been investigated using the Minnie experiment:

  • The BIP experiment is described in the following document.

  • The Hippo/FIACRE/TINA more recent experiment is here.