-
Simon Barner authoredIssue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
Simon Barner <barner@fortiss.org>Simon Barner authoredIssue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
Simon Barner <barner@fortiss.org>
getting_started.html 8.34 KiB
<!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="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; margin:auto">
<!-- start #maincontent -->
<div id="maincontent" style="background-color:white;">
<button onclick="topFunction()" id="upBtn" title="Go to top">Top</button>
<h1 style="text-align: center; margin:20px">AutoFOCUS3 - Focus on the System</h1>
<div class="row">
<div class="column">
<div class="mainfeature">
<h2>Requirements Engineering</h2>
<img src="gettingStarted/img/req2.png"/>
<ul>
<li><a href="requirements/MIRA.requirements_analysis.html">Requirements Analysis</a></li>
<li><a href="requirements/MIRA.requirements.html">Requirements</a></li>
<li><a href="requirements/MIRA.glossary.html">Glossary</a></li>
<ul>
</div>
</div>
<div class="column">
<div class="mainfeature">
<h2>Modeling and Simulation</h2>
<img src="gettingStarted/img/sim.png">
<ul>
<li><a href="ModandSim/model_element_attributes.html">Introduction to Graphical Modeling Interface</a></li>
<li><a href="ModandSim/component_architecture.html">Component Architecture Modeling</a></li>
<li><a href="ModandSim/data_dictionary.html">Data Dictionary: Types and Functions</a></li>
<li><a href="ModandSim/refactoring.html">Refactoring</a></li> <li><a href="ModandSim/model_markers_view.html">On-the-fly Checks</a></li>
<li>Behavior Modeling
<ul>
<li><a href="ModandSim/code_specification.html">Code Specifications</a></li>
<li><a href="ModandSim/state_automaton.html">State Automata</a></li>
<li><a href="ModandSim/hierarchical_state_automaton.html">Hierarchical State Automata</a></li>
<li><a href="ModandSim/mode_automaton.html">Mode Automata</a></li>
</ul>
</li>
<li>Simulation
<ul>
<li><a href="ModandSim/simulation_with_af3.html">Simulation</a></li>
<li><a href="ModandSim/operatorpanels.html">Operator Panels</a> (<a href="ModandSim/operatorpanels_advanced.html">advanced interface</a>)</li>
<li><a href="ModandSim/cosimulation_with_af3.html">Co-Simulation and FMI Support</a><font color="#ff0000"> </font></li>
</ul>
</li>
</ul>
</div>
</div>
</div>
<div class="row">
<div class="column">
<div class="mainfeature">
<h2>Deployment and Code Generation</h2>
<img src="gettingStarted/img/codedepl.png"/>
<ul>
<li>Modeling Technical Architectures</li>
<ul>
<li><a href="ta/platform_architecture.html">Platform Architecture</a></li>
<li><a href="ta/task_architecture.html">Task Architecture</a></li>
<li><a href="ta/partition_architecture.html">Partition Architecture</a></li>
<li><a href="ta/allocations.html">Deployments / Allocations</a></li>
</ul>
<li><a href="ta/code_generation.html">Code Generation</a></li>
</ul>
</div>
</div>
<div class="column">
<div class="mainfeature">
<h2>Design Space Exploration (DSE)</h2>
<img src="gettingStarted/img/DSE.png"/>
<ul>
<li><a href="dse/dse_perspective.html">DSE Perspective Overview</a></li>
<li><a href="dse/dse_dashboard.html">DSE Dashboard</a></li>
<li><a href="dse/constraints.html">Constraint Modeling</a></li>
<li><a href="dse/objectives.html">Objective Modeling</a></li>
<li><a href="dse/deployment_synthesis.html">Deployment Synthesis</a></li>
<li><a href="dse/schedule_synthesis.html">Schedule Synthesis</a></li>
<li><a href="dse/visualization.html">Solution Visualization</a></li>
</ul>
</div>
</div>
</div>
<div class="row">
<div class="column">
<div class="mainfeature">
<h2>Assurance Case Modeling</h2>
<img src="assuranceCases/pictures/sc_overview.png"/>
<ul>
<li><a href="assuranceCases/creation.html">Modeling GSN-based Assurance Cases</a></li>
<li><a href="assuranceCases/assessment.html">Quantitative Assessment of Assurance Cases</a></li>
<li><a href="assuranceCases/maintenance.html">Change Impact Analysis</a></li>
</ul>
</div>
</div> <div class="column">
<div class="mainfeature">
<h2>Further Resources</h2>
<img src="gettingStarted/img/af3_logo.png" />
<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><a href="tipsAndTricks.html">Tips & Tricks</a></li>
<li><a href="af3_faq.html">FAQ</a></li>
</ul>
</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>
</ul>
</li>
</ul>
</div>
</div>
</div>
<!-- end #mainContent -->
<!-- start #footer -->
<script src="./layout/jsscript/topBtn.js"></script>
<!-- end #container --></div>
</div>
</body>
<div class="footer" style="margin-top:20px">
<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>