TP: installation des outils pour travailler de chez soi

OPTION 1: accès aux outils à distance (peu de configuration, mais assez lent à l’usage)

Si vous ne le savez pas déjà, il est possible de se connecter aux machines de l’école à distance en tapant la commande:

ssh -X <login>@ssh.enst.fr

ou en configurant un VPN (voir instructions sous EOLE).

La nomenclature des salles de TP est construite comme suit:

tp-<nom de la salle>-<numéro de machine>

tp-1a201-04
tp-1a201-05
tp-1a201-06

La liste des salles et le nombre de postes est accessible ici.

Sur la machine ssh.enst.fr vous pouvez lancer le script tp_up pour avoir la liste des machines allumées (tapez la commande tp_up une fois connecté sur cette machine).

Vous pourrez ensuite vous connecter à une machine de TP en tapant la commande

ssh -X <login>@<identifiant_machine>

OPTION 2: installation « locale » des outils (plus de configuration au début, mais plus rapide à l’usage)

TP UPPAAL

L’outil UPPAAL n’est pas open source, mais il est en accès libre pour les instituts européens d’enseignement et de recherche.

La procédure d’installation de l’outil UPPAAL est assez simple, il vous suffira de remplir un formulaire en ligne en donnant vos coordonnées. Suivre les instructions sur: http://www.uppaal.org/

TP AADL

Pré-requis: avoir installé une JVM, version >= 1.8

Les indications ci-dessous supposent que vous utilisiez un poste de travail Linux (recommandé). Pour Windows, voir la partie en bleu plus bas.

Osate

Etablissez un VPN puis exécutez la commande suivante pour copier l’archive de osate sur votre machine:

scp <login>@ssh.enst.fr:/infres/s3/borde/Install/osate_dir.tar.gz ./

Une fois téléchargée et placée à l’endroit de votre choix, décompressez l’archive.

AADLInspector

Cet outil est commercialisé par la société Ellidiss. La license du logiciel est donc payante. Des licenses flotantes ont été mises à disposition de Télécom Paris par la société Ellidiss. Pour avoir accès à ces licenses, il faudra être sur le réseaux de l’école, e.g. via un VPN.

Merci de ne pas diffuser/rendre accessible l’archive que vous aurez récupéré.

Etablissez le VPN puis executez la commande suivante pour copier l’archive de AADL Inspector sur votre machine:

scp <login>@ssh.enst.fr:/infres/s3/borde/Install/AADLInspector.tar.gz ./

Une fois téléchargée et placée à l’endroit de votre choix, décompressez l’archive.

NOTE1: il faudra être connecté au réseaux de l’école (e.g. VPN) pour pouvoir bénéficier de la license flotante fournie par Ellidiss.

NOTE2: vous pouvez ignorer le message d’erreur concernant la version de Java, apparu après la mise à jour des systèmes d’exploitation (la version de la jvm utilisée est passée de 8 à 11). Ce problème n’est pas gênant dans la réalisation de ce TP.

Pour windows (pas besoin de VPN, car version d’essai du logiciel):

OSATE est accessible ici. Instructions détaillées ici.

AADL Inspector est disponible en version d’essai sur le site de Ellidiss technologies, ici.

Note: vous pouvez ignorer le message d’erreur concernant la version de Java, apparu après la mise à jour des systèmes d’exploitation (la version de la jvm utilisée est passée de 8 à 11). Ce problème n’est pas gênant dans la réalisation de ce TP.

TP EMF Génération de code

Installation de Eclipse Modeling Tools:

Ajouter OCL (Object Constraints Language):

  • Sélectionner le menu « Help>>Install New Software »
  • Dans la boîte de dialogue qui s’affiche, sélectionner le site de mise à jour « 2020-03… »
  • Sous la catégorie « Modeling », cochez les applications OCL tel qu’indiqué dans la capture d’écran plus bas
  • Terminer l’assistant et relancer Eclipse pour que la mise à jour soit prise en compte

Installer le compilateur C/C++ MinGW (pour ceux qui utilisent Windows):

  • Lancer l’installateur pour installer MinGW

Ajouter CDT (C Development Tools):

  • Sélectionner le menu « Help>>Install New Software »
  • Dans la boîte de dialogue qui s’affiche, sélectionner le site de mise à jour « 2020-03… »
  • Sous la catégorie « Programming Languages », cochez l’application C/C++ Development Tool tel qu’indiqué dans la capture d’écran plus bas
  • Terminer l’assistant et relancer Eclipse pour que la mise à jour soit prise en compte