Case studies of "DT-STARK: a Tool for the Evaluation the Effectiveness of Digital Twins through Feedback and Perturbations"

The .zip folder contains the essential files and classes for reproducing the DT-Stark models of the case studies presented in the paper

V. Castiglioni, R. Lanotte, M. Loreti, S.Tini. DT-STARK: a Tool for the Evaluation of the Effectiveness of Digital Twins through Feedback and Perturbations. 

currently submitted for publication to International Journal on Software Tools for Technology Transfer, as part of the FMICS 2024 special issue.

The case study specific scripts are included in the "examples" folder: follow the "industrial_plant" folder for the case study on the industrial plant, and the "smart_hospital" follow for the one on the smart hospital. The original files can be found in the DT-STARK repository

In order to reproduce the experiments, please follow the guidlines in the README file in the .zip folder. We remark that you will need
* A text editor or IDE (we used [IntelliJ IDEA](https://www.jetbrains.com/idea/))
* A [Gradle](https://docs.gradle.org/current/userguide/userguide.html) distribution. We used version 7.4.2.
* A JAVA Development Kit (JDK). We used version 19. To ensure compatibility with Gradle, please use any version between 8 and 19.

Moreover, to obtain the plots, Python3 (>= 3.9) is needed.