L'archive du sujet contient :

0/ Les source latex du cahier des charges, du sujet et d'un squelette de rapport.
1/ Le pdf du sujet du projet.
2/ Le ficher TODO
3/ Des sources AltaRica dans le répertoire Alt
4/ Un fichier System.spe de spécification pour le calcul des controleurs dans le répertoire Spec


Pour votre étude, vous pouvez utiliser au choix les commandes :
 $> make
 $> altarica-studio <liste de fichiers>
 $> arc -b <liste de fichiers>

L'option "-b" signifie "-batch" et vous redonne "la main" aussitôt les calculs terminés.
Si vous utiliser "make" les controleurs générés et les résultats seront mis dans les répertoires :
 - Controleurs : pour les fichiers AltaRica générés.
 - ControleursOpt : pour les fichiers AltaRica générés et optimisés.
 - Res : pour les propriétés.


Pour le rapport, je vous suggère d'utiliser le fichier "rapport.tex" comme base.

Le fichier à transmettre par mail est le suivant : FD-2017-2018-M1-CC-rapport.tgz