Software Engineering Documentation

If you are in EECS3311/EECS3342/EECS4312, you can install a virtual machine with Eiffel, Rodin, PVS, ETF, and Latex configured as in the Linux workstations in the Prism lab.

Step 1: Download the Image

The SEL Virtual Machine can be downloaded here. It is 9GB so it will take some time and you may want to download it on to a USB while you are at York.

Important: You will need a login and password to enter the above site which you can obtain here (login with your EECS credentials).

Step 2: Install Virtual Box

Install the free VirtualBox software from here.

Also download and install: VirtualBox Oracle VM VirtualBox Extension Pack

Install the Extension Pack.

Step 3: Import the image (appliance)

To import the EECS VirtualBox Appliance into your new VirtualBox installation, simply double click on the downloaded file. If this doesn't work for some reason, follow these steps:

• Start VirtualBox.
• From the “File” menu, select “Import Appliance”.
• Click the “Open Appliance” button, and point VirtualBox to the downloaded appliance file.
• Click “Next”.
• Click “Import”. The EECS VirtualBox Appliance is imported.

To start the EECS appliance, follow these steps:

• Start VirtualBox.
• Click on the Virtual Appliance in list of virtual machines. It's name will be something like “eecs-vbox-sel”.
• Click the “Start” button (or right-click on the virtual machine, and click “Start”). The appliance will boot.

Step 4: Update the image

Finally, once you are up and running you must update your VM.

Transferring files from your VM to Prism

On your VM, right click on the folder foo that you want to transfer and select compress. This will provide you with foo.tar.gz. Then do the following at the command line of the VM:

% scp foo.tar.gz <PRISM-ACCOUNT>@red.eecs.yorku.ca:

Now, use SSH to connect to red:

% ssh <PRISM-ACCOUNT>@red.eecs.yorku.ca

The file will be in the home directory. To uncompress do the following:

% tar xzf foo.tar.gz

You can now submit:

% submit 3311 <ASSIGNMENT> foo

You can also compress with zip and then use unzip foo.zip on Prism. You can also transfer files using sftp, or a USB stick (you may set up your VM to share files with your host).