MDP Module

This is the open source software project MBT-module for testing under uncertainty. The repo contains sources and working examples.

How do I get set up?

The package contains a Java software project having the following external dependencies:

• Java Development Kit JDK version 1.8
• R environment version >= 4.0
• additional R packages: rJava, gtools, HDInterval.

Note: in case the installation of rJava fails, run the following command and then install the package again:

sudo R CMD javareconf

For mac users: the usage of jenv is recommended:

brew install jenv
echo 'export PATH="$HOME/.jenv/bin:$PATH"' >> ~/.bash_profile
echo 'eval "$(jenv init -)"' >> ~/.bash_profile
source ~/.bash_profile
jenv add /Library/Java/JavaVirtualMachines/jdk1.8.0_162.jdk/Contents/Home
jenv global oracle64-1.8.0_162

Once the dependencies have been installed, set up the following system-dependent variables:

• set your JRI path in the build.gradle file (line 48) as JVM option java.library.path;
• set your R_HOME environment variable (e.g., export R_HOME=/my/r_home/path).

To get your JRI path open a R console and execute .libPaths(). The rJava/jri should be contained in one of the listed directories. For instance,

# R console
> .libPaths()
[1] "/usr/local/lib/R/3.5/site-library"        
[2] "/usr/local/Cellar/r/3.5.2_2/lib/R/library"

# Bash
> cd /usr/local/lib/R/3.5/site-library/rJava/jri
> pwd
/usr/local/lib/R/3.5/site-library/rJava/jri <-- My JRI path!

To get your R_HOME open a R console and execute R.home(). For instance,

# R console
> R.home()
[1] "/usr/local/Cellar/r/3.5.2_2/lib/R" <-- My R_HOME path!

To build the application execute:

./gradlew clean build

The above line requires the Gradle build tool. If you don't have it you can use the Gradle wrapper supplied inside the project.

How do I run it?

After build, you can run the application by executing the following line:

./gradlew run -PappArgs="['-i', 'src/main/resources/rescuerobot.jmdp']"

By default, this runs the MBT module using the distance strategy (and bounds termination condition) to test the RescueRobot running example.

To change the test selection strategy and the adopted scenario, change:

• the model file (i.e., rescuerobot.jmdp); and
• the test harness file (i.e., EventHandler.aj).

Other models and test harness files are available inside the folder src/main/resources.

License

See the LICENSE file for license rights and limitations (GNU GPLv3).

Who do I talk to?

Matteo Camilli