保存先:
| 主要な著者: | , , , , , |
|---|---|
| フォーマット: | Recurso digital |
| 言語: | 英語 |
| 出版事項: |
Zenodo
2026
|
| 主題: | |
| オンライン･アクセス: | https://doi.org/10.5281/zenodo.18637402 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
目次:
- <p>This is the replication package for our paper "UnCertaGator: Propagation of Uncertainty Information in Development Processes Using Consistency Automation". This package contains the source code for the UnCertaGator implementation and the case-studies used in the evaluation in a ready-to-run configuration.</p> <h2>Requirements</h2> <p>- Java JDK 17<br>- Maven 3</p> <h2>Installation and Execution</h2> <p>Ensure Java and Maven are installed.<br>Unpack the zip file and navigate into each of the two directories <code>CPS-brakeSystemCaseStudy/</code> or <code>SA-TeaStore/</code>. Run <code>mvn clean verify</code>. The tests corresponding to the scenarios in the evaluation are executed after the projects have built.</p> <h2>Overview</h2> <p>This artefact contains the resources for the 3 case studies used in the UnCertaGator paper and contains its implementation.</p> <p>It is provided as a docker image, with all required dependencies installed. For local development, maven and Java are required.</p> <h3>Autonomous Vehicle</h3> <p><code>AV-1-AutonomousVehicle/</code> To evaluate the applicability of the uncertainty metamodel on in the autonomous vehicle domain. Consulte <code>AV-1-AutonomousVehicle/model</code> for the concrete model files.</p> <h3>Cyber-Physical Systems</h3> <p><code>CPS-brakeSystemCaseStudy/</code> For the cyber-physical systems case study, using a simplified brake-system and perform an applicability study that covers different scenarios of a potential application of the UnCertaGator to show its functional correctness.</p> <p>Go to <code>CPS-brakeSystemCaseStudy/</code> and run <code>mvn clean verify</code> to rerun the scenarios. The scenarios are for reproducibility implemented in unit tests. The prefix of each test (e.g., CPS1) corresponds to the scenarios in the paper. </p> <p>Go to <code>CPS-brakeSystemCaseStudy/vsum/src/test/java/tools/vitruv/methodologisttemplate/vsum/uncertainty</code> to inspect the scenarios or extend them as needed.</p> <p>Go to <code>CPS-brakeSystemCaseStudy/model/src/main/ecore/</code> to inspect the metamodels and the uncertainty metamodel used.</p> <p>Go to <code>CPS-brakeSystemCaseStudy/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> to inspect the case-studies consistency rules, as well as the UnCertaGators code, which implements the generic uncertainty propagation and consistency rules presented in the paper.</p> <p><code>CPS-brakeSystemCaseStudy/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> provides the consistency presevervation rules used to implement the features of the UnCertaGator. This implementation is integrated into the Vitruvius framework. Therefore, building the project, creates the required artifacts, generates the model code, etc. to make it usable (i.e., execute the tests, which implement the scenarios presented.)</p> <h3>Software Architecture TeaStore</h3> <p><code>SA-TeaStore</code> For the software-engineering / Architecture TeaStore case study, using models of development artifacts and performance models.</p> <p>Go to <code>SA-TeaStore/</code> and run <code>mvn clean verify</code> to rerun the scenarios. The scenarios are for reproducibility implemented in unit tests. The prefix of each test (e.g., SA1 to SA4) corresponds to the scenarios in the paper. </p> <p>o to <code>SA-TeaStore/vsum/src/test/java/tools/vitruv/methodologisttemplate/vsum/scenarios </code>to inspect the scenarios or extend them at your convenience.</p> <p>Go to <code>SA-TeaStore/model/src/main/ecore/</code> to inspect the metamodels and the uncertainty metamodel used.</p> <p>Go to <code>SA-TeaStore/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> to inspect the case-studies consistency rules which create correspondence automatically, as well as the UnCertaGators code, which implements the generic uncertainty propagation and consistency rules presented in the paper.</p> <p><code>SA-TeaStore/consistency/src/main/reactions/tools/vitruv/methodologisttemplate/consistency</code> provides the consistency presevervation rules used to implement the features of the UnCertaGator. This implementation is integrated into the Vitruvius framework. Therefore, building the project, creates the required artifacts, generates the model code, etc. to make it usable (i.e., execute the tests, which implement the scenarios presented.)</p>