Skip to content

Releases: ge-high-assurance/RACK

Release v0.1

06 Jul 20:00
5586c21
Compare
Choose a tag to compare

This release contains the following features:

  • Ontology to support
    • System structure
    • Requirements
    • Test Cases
    • Test Results
    • Hazards

Please see the README file in the release attachment for instructions to install and run RACK.

Release 0.0

29 Jun 23:43
Compare
Choose a tag to compare
Release 0.0 Pre-release
Pre-release

Download the VMs

If you want the RACK in a Box VirtualBox VM, you need to download two
files: rack-box-virtualbox.z01 and rack-box-virtualbox.zip. Ditto,
you need to download both rack-box-hyperv.z01 and rack-box-hyperv.zip
if you want the RACK in a Box Hyper-V VM. The VMs were too large to
be uploaded to GitHub so we had to split each VM into two files.

You will need Zip 3.0 (July 5th 2008) and UnZip 6.00 of 20 April 2009
by Info-ZIP to unpack the split VM files. They are the standard "zip"
and "unzip" commands available for many Unix-like systems. You will
need to run zip first to put the split zip files back together into an
unsplit zip file, then run unzip to unpack the unsplit zip file as
shown in the two commands below:

$ zip rack-box-virtualbox.zip -s 0 --out rack-box-virtualbox-unsplit.zip
 copying: rack-box-virtualbox/
 copying: rack-box-virtualbox/rack-box-disk001.vmdk
 copying: rack-box-virtualbox/rack-box.ovf
$ unzip rack-box-virtualbox-unsplit.zip
Archive:  rack-box-virtualbox-unsplit.zip
   creating: rack-box-virtualbox/
  inflating: rack-box-virtualbox/rack-box-disk001.vmdk
  inflating: rack-box-virtualbox/rack-box.ovf

Type similar commands (just replace virtualbox with hyperv) if you
want the Hyper-V RACK Box instead. If you unzip the split zip file by
mistake (don't do this) and see some "bad zipfile offset" messages
(shown below), throw away the unpacked files and start over since the
unpacked files won't be complete:

$ unzip rack-box-virtualbox.zip
Archive:  rack-box-virtualbox.zip
warning [rack-box-virtualbox.zip]:  zipfile claims to be last disk of a multi-part archive;
  attempting to process anyway, assuming all parts have been concatenated
  together in order.  Expect "errors" and warnings...true multi-part support
  doesn't exist yet (coming soon).
file #1:  bad zipfile offset (local header sig):  4
file #2:  bad zipfile offset (local header sig):  82
  inflating: rack-box-virtualbox/rack-box.ovf

Install zip and unzip

You may need to add the zip and unzip commands to Mac, Linux, and
Windows computers since they usually aren't installed by default. You
also may find some computers do have the zip and unzip commands but
lack the necessary -s 0 and --out options due to their software's
ancient age (looking at you, Git Bash).

On Mac computers, you can use Homebew to install
the commands. Type homebrew install zip and homebrew install unzip.

On Linux computers, you may need to add the commands if the
distribution didn't include them by default. On Ubuntu, type sudo apt install zip unzip. On other Linux distributions, the commands
you type will be slightly different but nearly always one-liners.

On Windows computers, you need to install either Cygwin or Windows
Subsystem for Linux (WSL). I recommend installing WSL because it is
supported by Microsoft and you can find easy to follow instructions
for installing WSL on Windows 10
here.

Follow the instructions for installing WSL 1, not WSL 2. Only the
newest version of Windows 10, which you probably don't have yet,
supports WSL 2. That means you type the PowerShell command given in
the instructions, restart your computer, skip the “Update to WSL 2”
instructions, and jump to “Install your Linux distribution of choice”.
Choose the “Ubuntu 18.04 LTS” link and click the Get button on the
Microsoft Store page to install Ubuntu. Don’t try to install Ubuntu
20.04 because you need special expertise to fix a problem that will
occur during the installation. Read the “Set up a new distribution”
instructions and follow the link there to read more detailed
instructions how to create a user account and password and install
additional packages. You can enter your Windows username and password
if you prefer to use the same username and password as Windows or you
can pick a Unix-specific username; it’s up to you.

When the install is done, you’ll have Ubuntu 18.04 in your Start Menu
and clicking it will open a new window with a shell prompt. Your C
drive will be mounted in /mnt/c so that’s where you will cd to find
your downloaded split zip files. If you type "zip" right after
installing Ubuntu, you will be advised to type "sudo apt install zip"
since WSL Ubuntu doesn't include zip and unzip by default. Type these
commands and then you'll be ready to run the zip and unzip commands:

sudo apt update
sudo apt install zip unzip

Run the VMs

Here are very brief instructions how to run the VMs. You will find
more detailed instructions in the RACK Wiki.

Hyper-V VM

  1. Start Hyper-V Manager.
  2. Import the Hyper-V VM.
  3. If the Hyper-V VM is connected to the Default Switch, do steps 4
    and 5.
  4. Create an External Switch.
  5. Connect the Hyper-V VM to the External Switch.
  6. Start the VM.

VirtualBox VM

  1. Start VirtualBox.
  2. Import the VirtualBox VM.
  3. Open the VM's Settings.
  4. Click on Network.
  5. Change the first network adapter from NAT to Bridged.
  6. Bind one of your existing network adapters to the bridged network
    adapter.
  7. Start the VM.

View the RACK box's welcome page

You will need to know which IP address the VM is using after it starts
up. If you can't find the IP address any other way, you can use the
VM window to log into the VM and print the IP address:

  1. Click in the VM's window.
  2. Type "ubuntu" at the username prompt.
  3. Type "ubuntu" at the password prompt.
  4. Type "ip a" at the shell prompt.
  5. Look for the IP address in the second adapter.

Type that IP address in your web browser's address bar, hit Enter, and
you should see the RACK box's welcome page appear in your browser.

View the RACK box's SPARQLGraph page

The RACK box's welcome page should have had a clickable link to the
RACK box's SPARQLGraph page, but we made Release 0.0 before we
realized that. You will have to click in your web browser's address bar,
put the cursor at the end of the IP address, concatenate this string
manually, /sparqlGraph/, and hit Enter.

Run the Docker container

Here are very brief instructions how to run the RACK box as a Docker
container instead of running it as a VM. You will find more detailed
instructions in the RACK Wiki.

  1. Open a terminal window where you can run docker.
  2. Type docker pull interran/rack-box:0.0
  3. Type docker run --detach -p 80:80 -p 12050-12092:12050-12092 interran/rack-box:0.0
  4. Visit http://localhost/ in your browser to view the RACK box's welcome page.
  5. Visit http://localhost/sparqlGraph/ in your browser to view the RACK box's SPARQLGraph page.