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.
Two formal frameworks have been investigated using the Minnie experiment: