asbmails2/goda repository overview

This image has the Eclipse Mars 2 (version 4.5) with Goal-Oriented Dependability Analysis (GODA).

The GODA is a extension for Eclipse Mars. Read more in: https://github.com/lesunb/CRGMToPRISM⁠

How to start the application:

1 - Go to terminal (CMD or Power Shell on windows); 2 - Select one page to share with the container running (on linux for example): $ cd /home/shareit 3 - Running the GUI application on your OS:

3.1 - Linux - tested on Ubuntu Mate 17.04 $ docker run -it --rm -e DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix -v PWD":/usr/src/arquivos -w /usr/src/arquivos asbmails2/goda

3.1.1 If you receive the message "could not open the X display" try it:

$ xhost local:root

3.2 - Mac OSX - tested on El Capitan Version - found the solution here: https://gist.github.com/stonehippo/2c2b0972b7d199c78fb94fa9b1be1f5d⁠ First time: $ brew install socat <--- assuming you don't already have socat installed some other way
$ brew cask install xquartz <--- assuming you don't already have XQuartz installed some other way All times: $ open -a XQuarts <--- start an XQuartz session $ socat TCP-LISTEN:6000,reuseaddr,fork UNIX-CLIENT:"$DISPLAY" Check your docker is using Brigde mode, check
$ ifconfig en0 <--- if you are using a cable conection or $ ifconfig en1 <--- if you are using wi-fi conectiong if you ar using other type of net on docker (vboxnet0) check the ip of that interface. This ip value is needed for the GUI app on docker send your image to your monitor. Open other terminal and put it inside of the ... and run the docker start script below: $ docker run -it --rm -e DISPLAY=:0 -v "$PWD":/usr/src/arquivos -w /usr/src/arquivos asbmails2/eclipse_mars_goda_conf Click on Browse workspace A new window will pop-up Click on Arquivos Directory on the left bar of the window, there will apear all your files of the selected directory, chose on of them to put your workspace. OBS - Save your workspace in that directory because the container will be erased when the eclipse will close, and if you don't use a workspace out of the container, all your work will be lost.

3.3 - Windows - not tested 4 - Start the eclipse with the command inside the container:

⁠/eclipse/eclipse

5 - Run as application the project CRGMToPRISM. How do it: 5.1 Click with the mouse's right button; 5.2 Run as > 1 Application Wait open another eclipse window - but do not close the first one - it's a problem with the docker image construction.

OBS: If you have any problems, make a comment bellow. OBS: I tested only on Ubuntu Mate 17.4