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 Eclipse Modeling Framework

Installing Eclipse Modeling Tools:

Adding OCL (Object Constraints Language):

  • Select menu « Help>>Install New Software »
  • From the dialog box that pops up, select the « 2022-12… » update site
  • Under the « Modeling » category, check the OCL features as indicated on the screenshot below
  • Complete the wizard and restart Eclipse to activate the update

 

For those using Windows, install the MinGW C/C++ compiler:

Adding CDT (C Development Tools):

  • Select menu « Help>>Install New Software »
  • From the dialog box that pops up, select the « 2022-12… » update site
    • Under the « Programming Languages » category, select the C/C++ Development Tool feature as shown from the screenshot below
  • Complete the wizard  and restart Eclipse to activate the update