<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
<meta content="This user documentation for AutoFOCUS3, a CASE tool developed by fortiss for the model-based development of embedded systems." name="description" />
<meta content="autofocus,fortiss" name="keywords" />
<title>AutoFOCUS3-Focus On The System</title>
<link href="./layout/stylesheet.css" rel="stylesheet" type="text/css" />
</head>
<body style="background-color:white;"><!-- start #container -->
<!-- start #header -->
<div class="header">
<div class="box">
<div class="navbar">
<div class="dropdown">
<button class="btn" id="hamburger">
<label for="hamburger" class="hamburger">
<span class="hamburgerLine"></span>
<span class="hamburgerLine"></span>
<span class="hamburgerLine"></span>
</label>
</button>
<div class="dropdown-content">
<a href="./ModandSim/model_element_attributes.html">Modeling and Simulation</a>
<a href="./ta/technical_viewpoint.html">Deployment and Code Generation</a>
<a href="./dse/dse_perspective.html">Design Space Exploration (DSE)</a>
<a href="./assuranceCases/creation.html">Assurance Case Modeling</a>
<a href="managing_projects.html">Further Resources</a>
</div>
</div>
<div class="dropdown">
<button class="dropbtn">Further Resources<i class="triangle"></i></button>
<div class="dropdown-content">
<a href="tipsAndTricks.html">Tips and Tricks</a>
<a href="af3_faq.html">AutoFOCUS3 FAQ</a>
<a href="resources_users.html">Resources for Users</a>
<a href="resources_developers.html">Resources for Developers</a>
</div>
</div>
<div class="topnav-right">
<a href="mailto:af_user@lists.fortiss.org?subject=Reporting 'getting_started.html' Documentation Problem!&body= Dear AutoFOCUS3 team, I am reporting an issue related to the main page.
{Please specify the problem precisely here.}.">Report a Problem?</a>
</div>
</div>
</div>
</div>
<!-- end #header -->
<div id="container" style="background-color:white;">
<!-- start #maincontent --><br />
<div id="maincontent" style="background-color:white;">
<button onclick="topFunction()" id="upBtn" title="Go to top">Top</button>
<h1 style="color: black; text-align: center;">AutoFOCUS3 (AF3) Online Help</h1>
<div class="row" style="background-color:white;" height= "500">
<div class="column" style="background-color:white;">
<div class="mainfeature" style="border:none">
<h2 style="color: #004696;">Requirements Engineering</h2><br />
<td align="center" valign="top">
<img alt="" border="1" height="auto" hspace="80" align="center" src="gettingStarted/img/req2.png" width="auto" />
<p style="margin-left: 50px;">
<a href="requirements/MIRA.requirements_analysis.html">Requirements Analysis</a><br />
<a href="requirements/MIRA.requirements.html">Requirements</a><br />
<a href="requirements/MIRA.glossary.html">Glossary</a><br />
</p>
</td>
</div>
</div>
<div class="column" style="background-color:white;">
<div class="mainfeature" style="border:none">
<h2 style="color: #004696; text-align: center;">Modeling and Simulation</h2><br />
<td align="center" valign="top">
<img alt="" border="1" height="auto" hspace="80" align="center" src="gettingStarted/img/sim.png" width="auto" />
<p style="margin-left: 50px;">
<a href="ModandSim/model_element_attributes.html">Introduction to Graphical Modeling Interface</a><br />
<a href="ModandSim/component_architecture.html">Component Architecture Modeling</a><br />
<a href="ModandSim/data_dictionary.html">Data Dictionary: Types and Functions</a><br />
<a href="ModandSim/refactoring.html">Refactoring</a><br />
<a href="ModandSim/model_markers_view.html">On-the-fly Checks</a><br />
<p style="margin-left: 50px; color: black;">Behavior Modeling<br />
- <a href="ModandSim/code_specification.html">Code Specifications</a><br />
- <a href="ModandSim/state_automaton.html">State Automata</a><br />
- <a href="ModandSim/hierarchical_state_automaton.html">Hierarchical State Automata</a><br />
- <a href="ModandSim/mode_automaton.html">Mode Automata</a><br />
</p>
<p style="margin-left: 50px; color: black;">Simulation<br />
- <a href="ModandSim/simulation_with_af3.html">Simulation</a><br />
- <a href="ModandSim/operatorpanels.html">Operator Panels</a> (<a href="ModandSim/operatorpanels_advanced.html">advanced interface</a>)<br />
- <a href="ModandSim/cosimulation_with_af3.html">Co-Simulation and FMI Support</a><font color="#ff0000"> </font><br />
</p>
</p>
</td>
</div>
</div>
</div>
<div class="row" style="background-color:white;">
<div class="column" style="background-color:white;">
<div class="mainfeature" style="border:none">
<h2 style="color: #004696; text-align: center;">Deployment and Code Generation</h2><br />
<td align="center" valign="top">
<img alt="" border="1" height="auto" hspace="80" align="center" src="gettingStarted/img/codedepl.png" width="auto" />
<p style="margin-left: 50px;"><a href="ta/technical_viewpoint.html">Modeling Technical Architecture</a><br />
- <a href="ta/platform_architecture.html">Platform Architecture</a><br />
- <a href="ta/task_architecture.html">Task Architecture</a><br />
- <a href="ta/partition_architecture.html">Partition Architecture</a><br />
- <a href="ta/allocations.html">Deployments / Allocations</a><br />
<a href="ta/code_generation.html">Code Generation</a></p>
</td>
</div>
</div>
<div class="column" style="background-color:white;">
<div class="mainfeature" style="border:none">
<h2 style="color: #004696; text-align: center;">Design Space Exploration (DSE)</h2><br />
<td align="center" valign="top">
<img alt="" border="1" height="auto" hspace="80" align="center" src="gettingStarted/img/DSE.png" width="auto" />
<p style="margin-left: 50px;">
<a href="dse/dse_perspective.html">DSE Perspective Overview</a><br/>
<a href="dse/dse_dashboard.html">DSE Dashboard</a><br />
<a href="dse/constraints.html">Constraint Modeling</a><br />
<a href="dse/objectives.html">Objective Modeling</a><br />
<a href="dse/deployment_synthesis.html">Deployment Synthesis</a><br />
<a href="dse/schedule_synthesis.html">Schedule Synthesis</a><br />
<a href="dse/visualization.html">Solution Visualization</a><br />
</p>
</td>
</div>
</div>
</div>
<div class="row" style="background-color:white;">
<div class="column" style="background-color:white;">
<div class="mainfeature" style="border:none">
<h2 style="color: #004696; text-align: center;">Assurance Case Modeling</h2><br />
<td align="center" valign="top">
<img alt="" border="1" height="auto" hspace="80" align="center" src="assuranceCases/pictures/sc_overview.png" width="auto"/>
<p style="margin-left: 320px;"> </p>
<p style="margin-left: 50px;">
<a href="assuranceCases/creation.html">Modeling GSN-based Assurance Cases</a><br/>
<a href="assuranceCases/assessment.html">Quantitative Assessment of Assurance Cases</a><br />
<a href="assuranceCases/maintenance.html">Change Impact Analysis</a><br />
</p>
<p style="margin-left: 320px;"> </p>
</td>
</div>
</div>
<div class="column" style="background-color:white;">
<div class="mainfeature" style="border:none">
<h2 style="color: #004696; text-align: center;">Further Resources</h2><br />
<td align="center" valign="top">
<img alt="" border="1" height="auto" hspace="80" align="center" src="gettingStarted/img/af3_logo.png" width="auto" />
<p style="margin-left: 50px; color: black;">Resources for Users<br />
- <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><br />
- <a href="https://af3.fortiss.org/" target="_blank">AF3 Website</a><br />
- <a href="https://af3.fortiss.org/docs/screencasts/" target="_blank">Screencasts</a><br />
- <a href="https://af3.fortiss.org/docs/tutorials/" target="_blank">Tutorials</a><br />
- <a href="https://af3.fortiss.org/research/" target="_blank">Research Papers</a><br />
- <a href="tipsAndTricks.html">Tips & Tricks</a><br />
- <a href="af3_faq.html">FAQ</a><br />
</p>
<p style="margin-left: 50px; color: black;">Resources for Developers<br />
- <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><br />
- <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developers_documentation" target="_blank">Developers Documentation Overview</a><br />
- <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/AF3_Developer_Installation" target="_blank">AF3 Developer Installation</a><br />
</p>
</td>
</div>
</div>
</div>
<!-- end #mainContent -->
<!-- start #footer -->
<script src="./layout/jsscript/topBtn.js"></script>
<!-- end #container --></div>
</div>
</body>
<div class="footer">
<p>
© 2020 <a href="https://www.fortiss.org/">fortiss GmbH</a> •
<a href="https://www.fortiss.org/en/publications/software/autofocus-3#c2007">Contact</a> •
<a href="https://www.fortiss.org/en/imprint">Imprint</a>
</p>
</div>
</html>