The Uncertainty Impact Analysis calculates impact sets of uncertainty sources. This is achieved by internally extracting all data flows and propagating uncertainty through Palladio software architecture models and along those data flows.
More information can be found in this publication: S. Hahner, R. Heinrich, and R. Reussner, "Architecture based Uncertainty Impact Analysis to ensure Confidentiality", in 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), IEEE/ACM, 2023, accepted, to appear.
Warning: Please be aware that this implementation only represents an early prototype. Brace yourself for bad internal quality and code smells :)
- Install the version
2022-12of the Eclipse Modelling Tools from the official site - Clone the confidentiality analysis repository from GitHub. Important: We currently only support an older version of the data flow analysis, please checkout commit 97e1a32.
- Import the dependencies.p2f file into Eclipse to install the dependencies of the project. This is achieved by going to File->Import->General->Install from File
- Import all projects of the data flow analysis and also all projects from the
bundlesandtestsfolders from this repository - Optional: If you wish to run the analysis on the Corona Warn App case study, also clone that repository into the case studies folder. The structure should look like this:
tests/dev.abunai.impact.analysis.testmodels/casestudies/CaseStudy-CoronaWarnApp
- The bundle
dev.abunai.impact.analysis.testscontains several test cases to test the functionality and to run the evaluation - The bundle
dev.abunai.impact.analysis.testmodelscontains models for testing and evaluation - The tests demonstrate how to use the analysis to annotate and to propagate uncertainty
- The test classes in the
evaluationpackage can be used to execute the evaluation, see the optional installation step above
For more information, please refer to https://abunai.dev.