Configuration de l'environnement du laboratoire

• Dans Windows :
  • Cliquer sur l'icône Oracle VM VirtualBox sur le bureau (ou menu Démarrer > Tous les programmes > Oracle VM VirtualBox > Oracle VM VirtualBox).
  • Dans la barre de menus, cliquer sur Machines, puis Ajouter... (ou taper le raccourci clavier Ctrl-A).
  • Aller dans le dossier C:\VMachines\Ubuntu, puis sélectionner Ubuntu.vbox (normalement le seul fichier visible). Cliquer ensuite sur le bouton Ouvrir.
  • La machine virtuelle Ubuntu apparaît alors dans la fenêtre de VirtualBox, configurée et prête à l'emploi.
  • Il suffit alors de cliquer Démarrer pour lancer la machine virtuelle.
• Dans Ubuntu :
  • Utiliser l'usager laboinfo et le même mot-de-passe.
  • Choisir dans le tableau de bord (en haut à gauche) Terminal.
  • Dans le terminal exécuter : ssh -X votre_login@chicoree.labunix.uqam.ca, où votre_login est votre code de deux lettres et 6 chiffres (le même que celui du courrier UQAM et du réseau Windows). Votre mot_de_passe est formé des trois premières lettres de votre nom de famille en MAJUSCULES suivies de votre NIP (relevé d'inscription facture en haut à droite).
  • Pour configurer l'environnement exécuter les commandes suivantes (nécessaire que la première fois qu'on accède au système).
    • cp /home/villemaire_r/.bash_profile ~/
    • source ~/.bash_profile
    • cp /home/villemaire_r/.emacs ~/
• Commandes fréquentes :
  • On peut copier les fichiers sources des exemples avec la commande cp source destination, où source est un fichier des répertoires /home/villemaire_r/public_html/7570/exemples/chapitre? et destination peut être un point (.) si l'on veut copier dans le répertoire courant.
  • Avec la commande ls /home/villemaire_r/public_html/7570/exemples/chapitre? on peut explorer ces répertoires.
• Mode EMACS :
  • Le menu NuSMV contient une entrée "run NuSMV". Pour avoir NuSMV en mode interactif remplacer la commande par NuSMV -int fichier.smv.
  • Le tabulateur devrait compléter les commandes.
  • On peut revenir à une commande ancienne avec CTRL flèche_vers_le_haut.
  • On peut faire des recherches avec CTRL-s et des recherches arrière avec CTRL-r.
• Commandes NuSMV fréquentes :
  • help ou encore help nom_commande pour l'aide.
  • Il faut toujours tout d'abord démarrer le système avec go.
  • Pour explorer les états utiliser pick_state et simulate.
  • Pour vérifier des propriétés utiliser check_ltlspec pour LTL et check_ctlspec pour CTL.
  • Si un fichier est modifié, il faut faire reset et go pour incorporer les modifications.
  • quit pour quitter.

Pour tout commentaire, vous adresser à