Commit 1010d1e2 authored by Simon Barner's avatar Simon Barner
Browse files

Update deprecated links and open external links in new browser window

* Contact, imprint and fortiss homepage are still opened in the same
  browser window
* Update download link for GCC and two referenced papers
* Update outdated links where possible, remove otherwise

Issue-Ref: 4031
Issue-Url: https://af3-developer.fortiss.org/issues/4031

Signed-off-by: Simon Barner's avatarSimon Barner <barner@fortiss.org>
parent d438c0b5
af3_faq.html d8c75496edc6c9f92de3b6232f5807a098ac6c5e GREEN
example_co-simulation.html bff08158abf7a4da63edccc11110ec0ecd3f3c7e GREEN
examples.MainPage.html 35767ea5322b5fd47a9cca1c5e766b6a08ace244 GREEN
furtherResources.MainPage.html f55b30fcb7f05731f948970e7d8f74ab4c968e52 GREEN
getting_started.html b86d1cd97ff68a01aa55e12b46e7cf7f08c79b70 GREEN
af3_faq.html 991a1c95feb3e10ccae354960cb3559ba464c926 YELLOW
example_co-simulation.html 1cce52fa00d8dc43e0673154ff7777579105f9de YELLOW
examples.MainPage.html bd36db9bf572dead372f6e57bc9252c87054237d YELLOW
furtherResources.MainPage.html 16f77cd6bc73b54e7883fe8574caf8bb4667be98 YELLOW
getting_started.html a5bc4752275cf9a007cdac3981ac2c8975702fce YELLOW
managing_projects.html afd485db68a5d1a30424d5eca4d30b9d918b65b8 GREEN
rcphelp.gettingstarted.MainPage.html 1b8df3cc18a8d63d313dd85bfaa7fc9d9207f846 GREEN
rcphelp.gettingstarted.MainPage.html 0fa43cd2277f38d51455f882a31d2bee62ca290d YELLOW
tipsAndTricks.html 2251b42cdaa02fef0d50b251d2811f94164ad993 GREEN
......@@ -2,7 +2,7 @@ BehaviorMod.ContentPage.html f228117def06e7db0ac0f2da256f17d68e4bf6a0 GREEN
ModandSim.MainPage.html 12da30d73e193c709ebfec5f4f5e9fe639576f31 GREEN
code_specification.html ec62fe76fcbef088203250b449000af4fa683fda GREEN
component_architecture.html 6779e5dc2750a6e037a1944ca876c381e1833359 GREEN
cosimulation_with_af3.html 9b7a38d33d85d2a59a152fc85a1a9a7845bb48db GREEN
cosimulation_with_af3.html 5b49960084feb9083e0efacefb65abab214dbee8 YELLOW
data_dictionary.html 69fbc3444537f3325f07e0976bfee3286a665a3e GREEN
hierarchical_state_automaton.html c57866628d0040b8984203a816d327aadafac9eb GREEN
mode_automaton.html 3e6b2fe79e92d65d204bfe572f8926c521181cbc GREEN
......
......@@ -135,9 +135,9 @@ with other tools in a synchronous manner.
AF3 offers cosimulation functionality in the following two ways:
<ul> <li>
The AF3 model can be exported as an <a href="http://www.fmi-standard.org">FMU</a>, which can be used as one of the components for cosimulation in other tools.</li>
The AF3 model can be exported as an <a target="_blank" rel="noopener noreferrer" href="http://www.fmi-standard.org">FMU</a>, which can be used as one of the components for cosimulation in other tools.</li>
<li>AF3 provides the environment for FMUs cosimulation by utilizing Cosimulation Orchestration Engine (<a href="https://into-cps-association.github.io/simulation/coe.html">COE</a>)
<li>AF3 provides the environment for FMUs cosimulation by utilizing Cosimulation Orchestration Engine (<a target="_blank" rel="noopener noreferrer" href="https://into-cps-association.github.io/simulation/coe.html">COE</a>)
provided by INTO-CPS as a service. Thus, the FMUs from different tools can be imported and cosimulated together along with the AF3 components.</li>
</ul>
......@@ -149,9 +149,12 @@ provided by INTO-CPS as a service. Thus, the FMUs from different tools can be im
This feature supports for now only FMU export satisfying the following constraints:
<ul>
<li>FMI2.0</li>
<li> Windows 32/64bit</li>
<li> GCC compilation - One has to use <a href="http://sourceforge.net/projects/tdm-gcc/files/TDM-GCC%20Installer/tdm64-gcc-5.1.0-2.exe/download"> TDM-GCC MinGW</a> </li>
<li> Input and output values cannot carry NoVal but instead contain default values (0 for integers and reals, false for booleans, first item for enumerations)
<li>Windows 32/64bit</li>
<li>GCC compiler:</li>
<ul>
<li>We recommend <a target="_blank" rel="noopener noreferrer" href="https://jmeubank.github.io/tdm-gcc/">TDM-GCC MinGW</a> (tested with release 9.2.0)</li>
<li>Note: <tt>gcc</tt> has to be in the search <tt>PATH</tt>. Therefore, restart AutoFOCUS3 after installing the <i>TDM-GCC MinGW</i> package.</li>
<li>Input and output values cannot carry NoVal but instead contain default values (0 for integers and reals, false for booleans, first item for enumerations)
Note: This behaviour is different from AF3 <i>simulation</i></li>
</ul>
</p>
......@@ -176,7 +179,7 @@ asked to provide the required frequency (equivalent to sampling time) for the co
<p> You will then be asked where to store the generated FMU.
Once this is done, a message confirming that generation was successful appears and you can find the generated FMU in the directory that you selected.
You can then make use of the <a href="https://www.fmi-standard.org/tools">numerous cosimulation tools</a> along with AF3 itself, supporting FMI to cosimulate the generated AF3 model's FMU.</p>
You can then make use of the <a target="_blank" rel="noopener noreferrer" href="https://www.fmi-standard.org/tools">numerous cosimulation tools</a> along with AF3 itself, supporting FMI to cosimulate the generated AF3 model's FMU.</p>
<h2>Importing FMUs and their cosimulation</h2>
<p>
......
......@@ -172,8 +172,8 @@ There are three possibilities: either <i>right-click</i> in the model navigator
</p>
<h2>How to contribute?</h2>
<p>
AutoFOCUS3 is open source and developed under the <a href="http://www.apache.org/licenses/LICENSE-2.0">Apache 2.0 license</a>.
Please check our <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developers_documentation">developer documentation</a>, or write to our developer mailing list (<a href="mailto:af_devel@lists.fortiss.org">af_devel@lists.fortiss.org</a>).
AutoFOCUS3 is open source and developed under the <a target="_blank" rel="noopener noreferrer" href="http://www.apache.org/licenses/LICENSE-2.0">Apache 2.0 license</a>.
Please check our <a target="_blank" rel="noopener noreferrer" href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developers_documentation">developer documentation</a>, or write to our developer mailing list (<a href="mailto:af_devel@lists.fortiss.org">af_devel@lists.fortiss.org</a>).
</p>
</div>
<script src="../layout/jsscript/topBtn.js"></script>
......
ac.MainPage.html d74375fe589cd878285f2848e86cca9fe083ae08 GREEN
assessment.html d879af44288c6e7646d0750fd9311589000925d1 GREEN
creation.html 825a1fc5745f8f9e0d6f7f7383449f72533652a8 GREEN
assessment.html d7a1f524c9f279d47b3861cff5490ccadced9675 YELLOW
creation.html 243d5a357f2d71b3beed4974811bf82758ffd026 YELLOW
maintenance.html 1924d3927abd8bb629d1dd52bb35c0e715ebe7fe GREEN
......@@ -118,7 +118,7 @@
<button onclick="topFunction()" id="upBtn" title="Go to top">Top</button>
<h1>Quantitative Assessment of Assurance Cases</h1>
<P> We implemented in AutoFOCUS the approached proposed by <a href="https://ieeexplore.ieee.org/document/7423138">Duan et al.</a>, which computes the belief, disbelief and uncertainty of a GSN-argument based on the safety defeaters. A safety defeater is anything that can reduce the confidence on the argument, such as, a software bug. </P>
<P> We implemented in AutoFOCUS the approached proposed by <a target="_blank" rel="noopener noreferrer" href="https://doi.org/10.1109/HASE.2016.52">Duan et al.</a>, which computes the belief, disbelief and uncertainty of a GSN-argument based on the safety defeaters. A safety defeater is anything that can reduce the confidence on the argument, such as, a software bug. </P>
<figure>
<img src="./pictures/quantitative-gsn.png"/>
......@@ -138,7 +138,7 @@ GSN goal is annotated with the number of defeaters outruled and the total number
<P>
Intuitively, the greater the total number of defeaters, the lower the uncertainty is. Moreover, the greater the number of outruled defeaters the greater the belief on the GSN-argument and the lower the disbelief.
The exact values for belief, disbelief and uncertainty can be computed from the values of outruled and total number of defeaters. We refer to the work <a href="https://ieeexplore.ieee.org/document/7423138">Duan et al.</a> on how exactly these values are computed.
The exact values for belief, disbelief and uncertainty can be computed from the values of outruled and total number of defeaters. We refer to the work <a target="_blank" rel="noopener noreferrer" href="https://doi.org/10.1109/HASE.2016.52">Duan et al.</a> on how exactly these values are computed.
</P>
<P>
......
......@@ -119,7 +119,7 @@
<div class="box">
<h1>ExplicitCase Assurance Case Editor</h1>
<p>AutoFOCUS3 contains an editor, named ExplicitCase, which supports the
construction of modular assurance cases, in compliance with the <a href="https://www.goalstructuringnotation.info/">Goal
construction of modular assurance cases, in compliance with the <a target="_blank" rel="noopener noreferrer" href="https://www.goalstructuringnotation.info/">Goal
Structuring Notation (GSN) standard</a>.</p>
......@@ -159,7 +159,7 @@ notation for assurance cases is that it supports the presentation of
assurance cases to non-safety experts in a comprehensive manner.</p>
<h3> GSN-based Assurance Cases in AF3</h3>
<p> ExplictCase is based on a metamodel derived from the
<a href="https://www.goalstructuringnotation.info/">GSN standard</a> and
<a target="_blank" rel="noopener noreferrer" href="https://www.goalstructuringnotation.info/">GSN standard</a> and
offers a graphical editor facilitating the model-based development of
assurance cases. An overview of the editor is shown in Fig. 1. The editor
allows the user to build assurance cases via GSN, as follows:</p>
......@@ -266,7 +266,7 @@ from the <span class="italic">Model Elements View</span> on the right side to yo
<p> <img src="./pictures/add-argument-elements.png"/></p></li>
<li> In order to create relationships between your argument elements,
namely SupportedBy and InContextOf relationships, as specified in the
<a href="https://www.goalstructuringnotation.info/">GSN standard</a>,
<a target="_blank" rel="noopener noreferrer" href="https://www.goalstructuringnotation.info/">GSN standard</a>,
add exit and entry points to the elements correspondingly and then connect the points with each other.
The tool constraints the user to only be able to create valid relationships (as described in the standard).
<p> <img src="./pictures/add-relationships.png"/></p> </li>
......@@ -326,7 +326,7 @@ the <span class="italic">Context Menu</span>.</p>
<h2>Setting states to GSN elements</h2>
<p>According to the <a href="https://www.goalstructuringnotation.info/">GSN standard</a>,
<p>According to the <a target="_blank" rel="noopener noreferrer" href="https://www.goalstructuringnotation.info/">GSN standard</a>,
an argument element may take different states in the
course of the assurance case development. One can right-click on a GSN
element in the <span class="italic">Model Navigator View</span>
......@@ -345,7 +345,7 @@ order to distinguish them from regular argumentation modules. We do not
allow users to color elements by themselves, in order to keep a certain
meaning of each coloring so that anyone can easily "read" the coloring.
This is motivated, by the fact that the
<a href="https://www.goalstructuringnotation.info/">GSN standard</a>
<a target="_blank" rel="noopener noreferrer" href="https://www.goalstructuringnotation.info/">GSN standard</a>
says that, <span class="italic">In
cases where the elements defined in these sections are used in the
development of instantiations of the patterns to produce individual
......@@ -367,7 +367,7 @@ goals. ExplicitCase checks many more constraints to ensure the integrity
of assurance cases (e.g., to prevent the creation of invalid
relationships). For example, another constraint to ensure the integrity of
assurance cases is that only GSN connections permitted by the
<a href="https://www.goalstructuringnotation.info/">GSN standard</a>
<a target="_blank" rel="noopener noreferrer" href="https://www.goalstructuringnotation.info/">GSN standard</a>
can be modeled (e.g., a context node cannot be connected to a
justification node). Avoidance of circular argumentation is another
built-in constraint on the semantic level. </p>
......
......@@ -169,8 +169,8 @@
<h3>Overture</h3>
<ol>
<li><a href="http://overturetool.org/download/">Download</a>, unzip and launch Overture</li>
<li>Install the FMI exporter for Overture following these instructions: <a href="https://into-cps-association.github.io/constituent-model-development/overture/fmi-support.html">FMI support for Overture</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="http://overturetool.org/download/">Download</a>, unzip and launch Overture</li>
<li>Install the FMI exporter for Overture following these instructions: <a target="_blank" rel="noopener noreferrer" href="https://into-cps-association.github.io/constituent-model-development/overture/fmi-support.html">FMI support for Overture</a></li>
<li>Download the following Overture project: <a href="./gettingStarted/dat/overture_environment.zip">Environment Model</a></li>
<li>Import the project: <b>'File &rarr; Import... &rarr; General &rarr; Existing Projects into Workspace &rarr; Select archive file'</b></li>
</ol>
......@@ -178,7 +178,7 @@
<h3>OpenModelica</h3>
<ol>
<li><a href="https://openmodelica.org/">Download</a></td> and install OpenModelica</li>
<li><a target="_blank" rel="noopener noreferrer" href="https://openmodelica.org/">Download</a></td> and install OpenModelica</li>
<li>Download the following OpenModelica model: <a href="./gettingStarted/dat/openmodelica_system.mo">System &amp; Controller Model</a></li>
<li>Launch OMEdit - OpenModelica Connection Editor</li>
<li>Import the project: <b>'File &rarr; Open Model/Library Files(s)'</b> and open it by double-clicking <tt>openmodelica_system</tt></li>
......
......@@ -132,6 +132,7 @@
<img src="./gettingStarted/img/af3_logo.png" />
<ul>
<li><a href="example_co-simulation.html">FMI-based Co-Simulation</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://www.fortiss.org/en/research/living-lab/detail/fortissimo">fortissimo Rover: AD/ADAS &amp; Platooning</a></li>
</ul>
</div>
</div>
......
......@@ -133,12 +133,11 @@
<ul>
<li>Resources for Users
<ul>
<li><a class="email" href="mailto:af_user@lists.fortiss.org">Users Mailing List</a>: subscribe <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23" target="_blank">here</a></li>
<li><a href="https://af3.fortiss.org/" target="_blank">AF3 Website</a></li>
<li><a href="https://af3.fortiss.org/docs/screencasts/" target="_blank">Screencasts</a></li>
<li><a href="https://af3.fortiss.org/docs/tutorials/" target="_blank">Tutorials</a></li>
<li><a href="https://af3.fortiss.org/research/" target="_blank">Research Papers</a></li>
<li>Examples
<li><a class="email" href="mailto:af_user@lists.fortiss.org">Users Mailing List</a>: subscribe <a target="_blank" rel="noopener noreferrer" href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23">here</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://www.fortiss.org/en/publications/software/autofocus-3">AutoFOCUS3 Website</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://www.youtube.com/af3fortiss">Screencasts</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://www.fortiss.org/en/research/living-lab/detail/fortissimo">fortissimo Rover: AD/ADAS &amp; Platooning</a></li>
<li><a href="examples.MainPage.html">Examples</a>
<ul>
<li><a href="example_co-simulation.html">FMI-based Co-Simulation</a></li>
</ul>
......@@ -149,9 +148,9 @@
</li>
<li>Resources for Developers
<ul>
<li><a class="email" href="mailto:af_devel@lists.fortiss.org">Developers Mailing List</a>: subscribe <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23" target="_blank">here</a></li>
<li><a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developers_documentation" target="_blank">Developers Documentation Overview</a></li>
<li><a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/AF3_Developer_Installation" target="_blank">AF3 Developer Installation</a></li>
<li><a class="email" href="mailto:af_devel@lists.fortiss.org">Developers Mailing List</a>: subscribe <a target="_blank" rel="noopener noreferrer" href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23">here</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developers_documentation">Developers Documentation Overview</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/AF3_Developer_Installation">AF3 Developer Installation</a></li>
</ul>
</li>
</ul>
......
......@@ -132,14 +132,13 @@
<ul>
<li>Resources for Users
<ul>
<li><a class="email" href="mailto:af_user@lists.fortiss.org">Users Mailing List</a>: subscribe <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23" target="_blank">here</a></li>
<li><a href="https://af3.fortiss.org/" target="_blank">AF3 Website</a></li>
<li><a href="https://af3.fortiss.org/docs/screencasts/" target="_blank">Screencasts</a></li>
<li><a href="https://af3.fortiss.org/docs/tutorials/" target="_blank">Tutorials</a></li>
<li><a href="https://af3.fortiss.org/research/" target="_blank">Research Papers</a></li>
<li>Examples
<li><a class="email" href="mailto:af_user@lists.fortiss.org">Users Mailing List</a>: subscribe <a target="_blank" rel="noopener noreferrer" href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23">here</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://www.fortiss.org/en/publications/software/autofocus-3">AutoFOCUS3 Website</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://www.youtube.com/af3fortiss">Screencasts</a></li>
<li><a href="examples.MainPage.html">Examples</a>
<ul>
<li><a href="example_co-simulation.html">FMI-based Co-Simulation</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://www.fortiss.org/en/research/living-lab/detail/fortissimo">fortissimo Rover: AD/ADAS &amp; Platooning</a></li>
</ul>
</li>
<li><a href="tipsAndTricks.html">Tips and Tricks</a></li>
......@@ -148,9 +147,9 @@
</li>
<li>Resources for Developers
<ul>
<li><a class="email" href="mailto:af_devel@lists.fortiss.org">Developers Mailing List</a>: subscribe <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23" target="_blank">here</a></li>
<li><a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developers_documentation" target="_blank">Developers Documentation Overview</a></li>
<li><a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/AF3_Developer_Installation" target="_blank">AF3 Developer Installation</a></li>
<li><a class="email" href="mailto:af_devel@lists.fortiss.org">Developers Mailing List</a>: subscribe <a target="_blank" rel="noopener noreferrer" href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/MailinglistSubscription%23">here</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developers_documentation">Developers Documentation Overview</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/AF3_Developer_Installation">AF3 Developer Installation</a></li>
</ul>
</li>
</ul>
......
......@@ -57,9 +57,10 @@
<h2>Getting Started</h2>
<ul>
<li><a href="managing_projects.html">Create, Import, Export and Load AF3-Projects</a></li>
<li>Examples
<li><a href="examples.MainPage.html">Examples</a>
<ul>
<li><a href="example_co-simulation.html">FMI-based Co-Simulation</a></li>
<li><a target="_blank" rel="noopener noreferrer" href="https://www.fortiss.org/en/research/living-lab/detail/fortissimo">fortissimo Rover: AD/ADAS &amp; Platooning</a></li>
</ul>
</li>
<li><a href="tipsAndTricks.html">Tips & Tricks</a></li>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment