ATRIUM analysis with AD-EYE and RCV-E

<h1>ATRIUM analysis with AD-EYE and RCV-E</h1> <p> </p> <p>This repository contains code for the <em><strong>AD-EYE testbed for Automated Driving and Intelligent Transportation Systems</strong></em>, located at KTH Campus Valhallavägen, designed and developed by Naveen Mohan and others.<br><br></p> <p>This particular respository serves as a store for the work performed during the first application made by AD-EYE to become an authorised test site for AD testing in Stockholm, Sweden. This application used AD-EYE code integrated with the Research Concept Vehicle from the ITRL lab at KTH.<br><br>This repository contains work from the</p> <ul> <li>ITRL team in the form of the RCV-E Capella library</li> <li>AD-EYE team in modelling the ADI in Capella</li> <li>AD-EYE team in performing the analysis of the integrated system using the ATRIUM process.</li> </ul> <p><br><br></p> <p> </p> <ul> <li><strong>Webpage:</strong> <a href="https://www.adeye.se/" rel="nofollow">https://www.adeye.se</a><br><br></li> </ul> <p> </p> <ul> <li><strong>Documentation:</strong> <a href="https://github.com/AD-EYE/AD-EYE_Core/wiki">https://github.com/AD-EYE/AD-EYE_Core/wiki</a><br><br></li> <li><strong>Full list of contributors:</strong> <a href="https://www.adeye.se/contributors" rel="nofollow">https://www.adeye.se/contributors</a><br><br></li> <li><strong>Funding Projects:</strong> <a href="https://www.adeye.se/home" rel="nofollow">https://www.adeye.se/home</a><br><br></li> </ul> <p> </p> <p>The ATRIUM process was first defined in the paper: <strong>"ATRIUM — Architecting under uncertainty: For ISO 26262 compliance"_</strong></p> <ul> <li> <p><strong>Original Publication</strong>: <a href="https://doi.org/10.1109/SYSCON.2017.7934819" rel="nofollow">https://doi.org/10.1109/SYSCON.2017.7934819</a></p> </li> <li> <p><strong>Preprint:</strong>: <a href="https://arxiv.org/a/mohan_n_2.html" rel="nofollow">https://arxiv.org/a/mohan_n_2.html</a></p> </li> <li> <p><strong>Citation:</strong> N. Mohan, P. Roos, J. Svahn, M. Törngren and S. Behere, "ATRIUM — Architecting under uncertainty: For ISO 26262 compliance," 2017 Annual IEEE International Systems Conference (SysCon), Montreal, QC, Canada, 2017, pp. 1-8, doi: 10.1109/SYSCON.2017.7934819.<br><br></p> </li> </ul> <p><strong>Note:</strong> The folder "Capella" contains the base software capella MBSE and requires java jre-8u221.</p> <p>Once launched, by chosing the workspace "workspace", the user will be able to see and modify the model of ADI and its related library : RCVE.</p> <p>The Atrium VP v1.0.0 has been added in the dropins folder of the base capella software. Although it can be used in both branches, the branch ADI_and_RCVE does not contain any Atrium elements. The Capella model in the branch Atrium_process contains the start an Atrium iteration, and can be continued by opening the Atrium UI on the diagram "Atrium process diagram" of ADI.</p&gt