Sujet :
AltaRica et les robots.
Responsable : Alain Griffault
Téléphone : 05 40 00 69 15
e-mail : Alain.Griffault@labri.fr
Présentation du sujet :
Le Master ISC a acheté pour la formation de ses étudiants 4 robots LEGO MINDSTORMS Education NXT.
L'objectif de ce projet est de montrer l'applicabilité du cours de conception formelle à des systèmes programmables comme les robots.
Travail à faire :
Il consistera à :
- Comprendre la programmation des robots NXT.
- Modéliser en AltaRica les différents composants des robots (capteurs, moteur, ...)
- Modéliser en AltaRica les possibilités de communication entre les différents robots.
- Définir une mission non triviale mettant en jeu plusieurs robots, concevoir formellement les contrôleurs et les implémenter.
Mot-clés : Conception formelle, AltaRica, Robots.