Overview
MAUVE is a validation toolchain based on a Domain Specific Language. This DSL allows to model the software architecture of a robot using a component-based approach. From these models, we provide tools to generate deployable components, as well as a two-step validation phase. This validation first performs a real-time analysis of the component architecture, leading to an evaluation of the software architecture schedulability. Then we can check the validity of some behavioral property on the components.
The new MAUVE toolchain is now available on GitLab at:
https://gitlab.com/MAUVE/mauve_toolchain/wikis
Members
Manager : Charles Lesire, David Doose
Développeur : Christophe Grand, Stéphanie Roussel
Rapporteur : Arnaud Degroote, Augustin Manecy, Eric BENSANA, Invité public Projet R2D2, Mathieu Rognant, User Mauve, Xavier Pucel
Invite: User Mauve