Skip to content

FluidTrust/ConfidentialityAnalysis-ScalabilityEvaluation

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 

Repository files navigation

ConfidentialityAnalysis-ScalibilityEvaluation

This repository contains the scalibility setup used in this research paper. The analysis can be found here

Installation and Results

The repository contains three major bundles. The scalibility.new bundle contains the code needed to run the Java-based analysis. To run the scalibility evaluation, please follow the Installation guide in the repository of the analysis first. After that you can run the Java Application contained in the bundle.

The scalibility.old bundles contain the code needed to run the Prolog-based analysis. To run this scalibility evaluation, you need to download an old installation of eclipse from here. Afterwards, install the dependencies in oldAnalysis.p2f and install a Prolog interpreter. Then you should be able to run the Java Application contained in the base bundle.

The scalibility.common bundle contains common code that is shared between the evaluation of the new and old analysis. Lastly, the testmodels used in the evaluation will be generated into scalibility.testmodels.

Results of the analysis will be created into a results folder at the root of the project. Before running the analysis, please make sure to adjust the static paths present in the bundels.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages