Skip to content
Snippets Groups Projects
Commit 6aff4ffa authored by Simon Barner's avatar Simon Barner
Browse files

GREEN 

* Original formatting restored
* Sanitized HTML

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



Signed-off-by: default avatarSimon Barner <barner@fortiss.org>
parent ad8a0ee9
No related branches found
No related tags found
1 merge request!354057
This commit is part of merge request !35. Comments created here will be created in the context of that merge request.
Hide whitespace changes
Inline Side-by-side
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings
+ 1
− 1
View file @ 6aff4ffa
ApplicationActionBarAdvisor.java 881198ff05ab14110efef1673f0914725348442b GREEN
ApplicationWorkbenchAdvisor.java 19af4bc3262680a283eccccf92c4e2ae4463fa71 YELLOW
ApplicationWorkbenchAdvisor.java 19af4bc3262680a283eccccf92c4e2ae4463fa71 GREEN
ApplicationWorkbenchWindowAdvisor.java da5cb38300b384579532c678fbc9faa961c2ca6b GREEN
org.fortiss.af3.rcp.help/html/.ratings
+ 1
− 1
View file @ 6aff4ffa
af3_faq.html 716050a8ab2ffce62c426e0bc92b033b37793fa1 GREEN
furtherResources.MainPage.html 25380a8c41872ddfbbae1eaa7197791647397587 GREEN
getting_started.html 58306f9ba7b85feb5aafa4f9098020e222b8d289 YELLOW
getting_started.html d2cec69b06162d9b63687b4b8e9cadedabe168a7 GREEN
managing_projects.html da6a5f0ccfdf6b7cec5a326b72054021c706fe9c GREEN
rcphelp.gettingstarted.MainPage.html 1bba924efd25fb218caed2fb280844ad4630995d GREEN
tipsAndTricks.html f3df62416508ecb47fefa83c601d2b93f6329b61 GREEN
org.fortiss.af3.rcp.help/html/dse/.ratings
+ 1
− 1
View file @ 6aff4ffa
......@@ -4,5 +4,5 @@ dse.MainPage.html ddd9d0caea8e719eeb2d88b6324eefd69836fed4 GREEN
dse_dashboard.html d58de41a63976aea617a402226e420f41147e24f GREEN
dse_perspective.html 3f55c4af11fd173feb6f78b72024bf282b6de102 GREEN
objectives.html f420e9b63a5410180b18ffe795d0757d5abc1b48 GREEN
synthesis.html ff0fab81079b3d21a063da098a88d7b39221a110 YELLOW
synthesis.html d4c4eb74d6331b20c6a3803d085086f26c933ae9 GREEN
visualization.html 1ae24c1ea9700ab31de51d5007d4549fc0b80ec0 GREEN
org.fortiss.af3.rcp.help/html/dse/synthesis.html
+ 185
− 159
View file @ 6aff4ffa
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!-- Documentation on Deployment Synthesis in AutoFOCUS3. -->
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=windows-1252">
<link rel="stylesheet" type="text/css" href="../layout/stylesheet.css">
<title>Deployment Synthesis</title>
</head>
<body>
<div class="header">
<div class="box">
<div class="navbar">
<div class="dropdown"> <a href="../getting_started.html" style="padding:0;">
<button class="btn" id="hamburger" onclick="javascript:window.location.href='../getting_started.html'">
<label for="hamburger" class="hamburger"> <span class="hamburgerLine"></span>
<span class="hamburgerLine"></span> <span class="hamburgerLine"></span>
</label> </button> </a>
<div class="dropdown-content"> <button class="dropdown-btn">Getting
Started<i class="caret-down"></i></button>
<div class="dropdown-container"> <a href=".././managing_projects.html">
Create, Import, Export and Load AF3-Projects</a> <a href=".././tipsAndTricks.html">Tips
&amp; Tricks</a> <a href=".././af3_faq.html">FAQs</a> </div>
<button class="dropdown-btn">Requirements Engineering<i class="caret-down"></i></button>
<div class="dropdown-container"> <a href="../requirements/MIRA.requirements_analysis.html">
Requirements Analysis Node</a> <a href="../requirements/MIRA.glossary.html">Glossary</a>
<a href="../requirements/MIRA.requirements.html">Requirements</a>
</div>
<button class="dropdown-btn">Modeling and Simulation<i class="caret-down"></i></button>
<div class="dropdown-container"> <a href="../ModandSim/model_element_attributes.html">Introduction
to Graphical Modeling Interface</a> <a href="../ModandSim/component_architecture.html">Component
Architecture Modeling</a> <a href="../ModandSim/data_dictionary.html">Data
Dictionary: Types and Functions</a> <a href="../ModandSim/refactoring.html">Refactoring</a>
<a href="../ModandSim/model_markers_view.html">On-the-fly Checks</a>
<button class="dropdown-btn">Behavior Modeling<i class="caret-down"></i></button>
<div class="dropdown-container"> <a href="../ModandSim/code_specification.html">Code
Specification</a> <a href="../ModandSim/state_automaton.html">State
Automata</a> <a href="../ModandSim/hierarchical_state_automaton.html">Hierarchical
State Automata</a> <a href="../ModandSim/mode_automaton.html">
Mode Automata</a> </div>
<button class="dropdown-btn">Simulation<i class="caret-down"></i></button>
<div class="dropdown-container"> <a href="../ModandSim/simulation_with_af3.html">Simulation</a>
<a href="../ModandSim/operatorpanels.html">Operator Panels</a>
<a href="../ModandSim/operatorpanels_advanced.html">Advanced
Operator Panels</a> <a href="../ModandSim/cosimulation_with_af3.html">
Co-Simulation and FMI Support</a> </div>
</div>
<button class="dropdown-btn">Deployment and Code Generation<i class="caret-down"></i></button>
<div class="dropdown-container"> <button class="dropdown-btn">Modeling
Technical Architectures<i class="caret-down"></i></button>
<div class="dropdown-container"> <a href="../ta/platform_architecture.html">Platform
Architecture</a> <button class="dropdown-btn">Supported
Platform Architectures<i class="caret-down"></i></button>
<div class="dropdown-container"> <a href="../ta/platform_architecture_generic.html">Generic
Platform Architecture</a> <a href="../ta/platform_architecture_hierarchical.html">Hierarchical
Platform Architecture</a> <a href="../ta/platform_architecture_raspberrypi.html">RaspberryPi
Platform Architecture</a> </div>
<a href="../ta/task_architecture.html">Task Architecture</a> <a
href="../ta/partition_architecture.html"> Partition
Architecture</a> <a href="../ta/allocations.html">
Deployments/Allocations</a> <a href="../ta/system_schedule.html">
System Schedule</a> </div>
<a href="../ta/code_generation.html">Code Generation</a> </div>
<button class="dropdown-btn">Design Space Exploration (DSE)<i class="caret-down"></i></button>
<div class="dropdown-container"> <a href="dse_perspective.html">DSE
Perspective Overview</a> <a href="dse_dashboard.html">DSE
Dashboard</a> <a href="constraints.html">Constraint Modeling</a>
<a href="objectives.html">Objective Modeling</a> <a style="background-color:#f2f2f2;">Deployment
Synthesis</a> <a href="schedule_synthesis.html">Schedule
Synthesis</a> <a href="visualization.html">Solution
Visualization</a> </div>
<button class="dropdown-btn">Assurance Case Modeling<i class="caret-down"></i></button>
<div class="dropdown-container"> <a href="../assuranceCases/creation.html">Modeling
GSN-based Assurance Cases</a> <a href="../assuranceCases/assessment.html">Quantitative
Assessment of Assurance Cases</a> <a href="../assuranceCases/maintenance.html">Change
Impact Analysis</a> </div>
<a href=".././furtherResources.MainPage.html">Further Resources</a>
</div>
</div>
<div class="topnav-right"> <a href="mailto:af_user@lists.fortiss.org?subject=Reporting%20%27deployment_synthesis.html%27%20Documentation%20Problem%21&amp;body=%20Dear%20AutoFOCUS3%20team,%20I%20am%20reporting%20an%20issue%20related%20to%20Design%20Space%20Exploration%20%28DSE%29.%20%0A%20%20%20%20%20%20%20%7BPlease%20specify%20the%20problem%20precisely%20here.%7D.">Report
a Problem?</a> </div>
</div>
</div>
</div>
<div class="box">
<h1>Synthesis</h1>
<button onclick="topFunction()" id="upBtn" title="Go to top">Top</button>
<p> The <b>Synthesis</b> page is your starting point for generating
mappings from tasks to hardware execution units or to generate strictly
time-triggered task schedules. Therefore, it allows to select
constraints and objectives to define the design space and optimization
goals that can be launched from this view.</p>
<br>
<h2>1. Selecting a Synthesis Type</h2>
<br>
<img src="pictures/synthesis_selection.svg" alt="" title="Synthesis Type Selection"
style="width: 1098px; height: 600px;">&nbsp;</div>
<div class="box">First, a synthesis type such as deployment (of tasks onto
execution units) or (task) scheduling is selected at the top of the view.
Afterwards, the constraints and objectives that are applicable for the
selected synthesis types become visible. If multiple synthesis types are
selected, the selected solver performs a joint syntheses.</div>
<div class="box"><br>
<h2>2. Creating Rule Sets</h2>
<p><br>
</p>
<img src="pictures/synthesis_creating_rulesets.svg" alt="" title="Creating RuleSets"
style="width: 1101px; height: 600px;"></div>
<div class="box"><br>
</div>
<div class="box">Before a synthesis is launched, so-called rule sets are
typically created. They group constraints and objectives, respectively.
For instance, constraints on the allocation of tasks to execution units
can be grouped together.</div>
<div class="box">To create a rule set, the constraints or objectives
constituting a rule set must be selected in the left-hand tables. Then,
the "Create Rule Set" button must be pressed to create one and let it
appear in the corresponding table on the right-hand side. There, it can be
renamed to carry an expressive name.</div>
<div class="box"><br>
<h2>3. Launching a Synthesis</h2>
<p><br>
</p>
<p>Two different exploration types to perform a synthesis are supported: A
constraint-satisfying synthesis and an optimizing one that optimizes the
system towards the selected design goals (i.e., objectives). </p>
<p><br>
</p>
<img src="pictures/synthesis_start_constraints.svg" alt="" title="Start a Synthesis Considering Constraints"
style="width: 1100px; height: 600px;"><br>
A constraint-satisfying synthesis is started by selecting rules sets from
the table in the blue box. In the green box, a solver must be selected
that actually performs the synthesis. By clicking the button "Configure",
the solver can be configured and termination criteria such as timeouts can
be defined (see below). By clicking "Check Feasibility", a
constraint-satisfying synthesis is launched.</div>
<div class="box"><img src="pictures/synthesis_settings_dialog.svg" alt="" title="Solver Settings Dialog"></div>
<div class="box"><br>
</div>
<div class="box">To launch an optimizing synthesis, similar steps apply that
are described in the following.</div>
<div class="box"><br>
</div>
<div class="box"><img src="pictures/synthesis_start_optimization.svg" alt=""
title="Launch an Optimizing Synthesis" style="width: 1168px; height: 600px;"></div>
<div class="box"><br>
</div>
<div class="box">In order to define the design space and goals for an
optimizing, rule sets from both tables that are surrounded by the blue box
must be selected. Again, a solver must be selected that can also be
configured (green box). By clicking "Optimize", the optimizing synthesis
is launched.</div>
<br>
<p>&nbsp;</p>
<p>
<script src="../layout/jsscript/topBtn.js"></script>
<script src="../layout/jsscript/submenuScript.js"></script> </p>
<div class="footer">
<p> 2020 <a href="https://www.fortiss.org/">fortiss GmbH</a>
&nbsp;&nbsp;&nbsp;&nbsp; <a href="https://www.fortiss.org/en/publications/software/autofocus-3#c2007">Contact</a>&nbsp;&nbsp;&nbsp;&nbsp;
<a href="https://www.fortiss.org/en/imprint">Imprint</a> </p>
</div>
</body>
<head>
<meta http-equiv="content-type" content="text/html; charset=windows-1252"/>
<link rel="stylesheet" type="text/css" href="../layout/stylesheet.css"/>
<title>Deployment Synthesis</title>
</head>
<body>
<div class="header">
<div class="box">
<div class="navbar">
<div class="dropdown">
<a href="../getting_started.html" style="padding:0;">
<button class="btn" id="hamburger" onclick="javascript:window.location.href='../getting_started.html'">
<label for="hamburger" class="hamburger">
<span class="hamburgerLine"></span>
<span class="hamburgerLine"></span>
<span class="hamburgerLine"></span>
</label>
</button>
</a>
<div class="dropdown-content">
<button class="dropdown-btn">Getting Started<i class="caret-down"></i></button>
<div class="dropdown-container">
<a href=".././managing_projects.html"> Create, Import, Export and Load AF3-Projects</a>
<a href=".././tipsAndTricks.html">Tips & Tricks</a>
<a href=".././af3_faq.html">FAQs</a>
</div>
<button class="dropdown-btn">Requirements Engineering<i class="caret-down"></i></button>
<div class="dropdown-container">
<a href="../requirements/MIRA.requirements_analysis.html"> Requirements Analysis Node</a>
<a href="../requirements/MIRA.glossary.html">Glossary</a>
<a href="../requirements/MIRA.requirements.html">Requirements</a>
</div>
<button class="dropdown-btn">Modeling and Simulation<i class="caret-down"></i></button>
<div class="dropdown-container">
<a href="../ModandSim/model_element_attributes.html" >Introduction to Graphical Modeling Interface</a>
<a href="../ModandSim/component_architecture.html">Component Architecture Modeling</a>
<a href="../ModandSim/data_dictionary.html">Data Dictionary: Types and Functions</a>
<a href="../ModandSim/refactoring.html">Refactoring</a>
<a href="../ModandSim/model_markers_view.html">On-the-fly Checks</a>
<button class="dropdown-btn">Behavior Modeling<i class="caret-down"></i></button>
<div class="dropdown-container">
<a href="../ModandSim/code_specification.html">Code Specification</a>
<a href="../ModandSim/state_automaton.html">State Automata</a>
<a href="../ModandSim/hierarchical_state_automaton.html">Hierarchical State Automata</a>
<a href="../ModandSim/mode_automaton.html"> Mode Automata</a>
</div>
<button class="dropdown-btn">Simulation<i class="caret-down"></i></button>
<div class="dropdown-container">
<a href="../ModandSim/simulation_with_af3.html">Simulation</a>
<a href="../ModandSim/operatorpanels.html">Operator Panels</a>
<a href="../ModandSim/operatorpanels_advanced.html">Advanced Operator Panels</a>
<a href="../ModandSim/cosimulation_with_af3.html"> Co-Simulation and FMI Support</a>
</div>
</div>
<button class="dropdown-btn">Deployment and Code Generation<i class="caret-down"></i></button>
<div class="dropdown-container">
<button class="dropdown-btn">Modeling Technical Architectures<i class="caret-down"></i></button>
<div class="dropdown-container">
<a href="../ta/platform_architecture.html">Platform Architecture</a>
<button class="dropdown-btn">Supported Platform Architectures<i class="caret-down"></i></button>
<div class="dropdown-container">
<a href="../ta/platform_architecture_generic.html">Generic Platform Architecture</a>
<a href="../ta/platform_architecture_hierarchical.html">Hierarchical Platform Architecture</a>
<a href="../ta/platform_architecture_raspberrypi.html">RaspberryPi Platform Architecture</a>
</div>
<a href="../ta/task_architecture.html">Task Architecture</a>
<a href="../ta/partition_architecture.html"> Partition Architecture</a>
<a href="../ta/allocations.html"> Deployments/Allocations</a>
<a href="../ta/system_schedule.html"> System Schedule</a>
</div>
<a href="../ta/code_generation.html">Code Generation</a>
</div>
<button class="dropdown-btn">Design Space Exploration (DSE)<i class="caret-down"></i></button>
<div class="dropdown-container">
<a href="dse_perspective.html">DSE Perspective Overview</a>
<a href="dse_dashboard.html">DSE Dashboard</a>
<a href="constraints.html">Constraint Modeling</a>
<a style="background-color:#f2f2f2;">Objective Modeling</a>
<a href="deployment_synthesis.html">Deployment Synthesis</a>
<a href="schedule_synthesis.html">Schedule Synthesis</a>
<a href="visualization.html">Solution Visualization</a>
</div>
<button class="dropdown-btn">Assurance Case Modeling<i class="caret-down"></i></button>
<div class="dropdown-container">
<a href="../assuranceCases/creation.html">Modeling GSN-based Assurance Cases</a>
<a href="../assuranceCases/assessment.html">Quantitative Assessment of Assurance Cases</a>
<a href="../assuranceCases/maintenance.html">Change Impact Analysis</a>
</div>
<a href=".././furtherResources.MainPage.html">Further Resources</a>
</div>
</div>
<div class="topnav-right">
<a href="mailto:af_user@lists.fortiss.org?subject=Reporting 'synthesis.html' Documentation Problem!&body= Dear AutoFOCUS3 team, I am reporting an issue related to Design Space Exploration (DSE).
{Please specify the problem precisely here.}.">Report a Problem?</a>
</div>
</div>
</div>
</div>
<div class="box">
<h1>Synthesis</h1>
<button onclick="topFunction()" id="upBtn" title="Go to top">Top</button>
<p> The <b>Synthesis</b> page is your starting point for generating
mappings from tasks to hardware execution units or to generate strictly
time-triggered task schedules. Therefore, it allows to select
constraints and objectives to define the design space and optimization
goals that can be launched from this view.
</p>
<h2>1. Selecting a Synthesis Type</h2>
<img src="pictures/synthesis_selection.svg" alt="" title="Synthesis Type Selection" style="width: 1098px; height: 600px;"/>
<p>First, a synthesis type such as deployment (of tasks onto
execution units) or (task) scheduling is selected at the top of the view.
Afterwards, the constraints and objectives that are applicable for the
selected synthesis types become visible. If multiple synthesis types are
selected, the selected solver performs a joint synthesis.
</p>
<h2>2. Creating Rule Sets</h2>
<img src="pictures/synthesis_creating_rulesets.svg" alt="" title="Creating RuleSets" style="width: 1101px; height: 600px;"/>
<p>Before a synthesis is launched, so-called rule sets are
typically created. They group constraints and objectives, respectively.
For instance, constraints on the allocation of tasks to execution units
can be grouped together.
</p>
<p>To create a rule set, the constraints or objectives
constituting a rule set must be selected in the left-hand tables. Then,
the "Create Rule Set" button must be pressed to create one and let it
appear in the corresponding table on the right-hand side. There, it can be
renamed to carry an expressive name.
</p>
<h2>3. Launching a Synthesis</h2>
<p>Two different exploration types to perform a synthesis are supported: A
constraint-satisfying synthesis and an optimizing one that optimizes the
system towards the selected design goals (i.e., objectives).
</p>
<img src="pictures/synthesis_start_constraints.svg" alt="" title="Start a Synthesis Considering Constraints" style="width: 1100px; height: 600px;"/>
<p>
A constraint-satisfying synthesis is started by selecting rules sets from
the table in the blue box. In the green box, a solver must be selected
that actually performs the synthesis. By clicking the button "Configure",
the solver can be configured and termination criteria such as timeouts can
be defined (see below). By clicking "Check Feasibility", a
constraint-satisfying synthesis is launched.
</p>
<img src="pictures/synthesis_settings_dialog.svg" alt="" title="Solver Settings Dialog"/>
<p>
To launch an optimizing synthesis, similar steps apply that are described in the following.
</p>
<img src="pictures/synthesis_start_optimization.svg" alt="" title="Launch an Optimizing Synthesis" style="width: 1168px; height: 600px;"/>
<p>
In order to define the design space and goals for an
optimizing, rule sets from both tables that are surrounded by the blue box
must be selected. Again, a solver must be selected that can also be
configured (green box). By clicking "Optimize", the optimizing synthesis
is launched.
</p>
</div>
<script src="../layout/jsscript/topBtn.js"></script>
<script src="../layout/jsscript/submenuScript.js"></script>
<div class="footer">
<p>
&copy; 2020 <a href="https://www.fortiss.org/">fortiss GmbH</a> &nbsp;&nbsp;&bull;&nbsp;&nbsp;
<a href="https://www.fortiss.org/en/publications/software/autofocus-3#c2007">Contact</a>&nbsp;&nbsp;&bull;&nbsp;&nbsp;
<a href="https://www.fortiss.org/en/imprint">Imprint</a>
</p>
</div>
</body>
</html>
org.fortiss.af3.rcp.help/html/getting_started.html
+ 169
− 184
View file @ 6aff4ffa
<!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 http-equiv="content-type" content="application/xhtml+xml; charset=utf-8" />
<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="topnav-right"> <a href="mailto:af_user@lists.fortiss.org?subject=Reporting%20getting_started.html%20Documentation%20Problem&amp;body=%20Dear%20AutoFOCUS3%20team,%20I%20am%20reporting%20an%20issue%20related%20to%20getting_started.html%20page.">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><a href="ta/technical_viewpoint.html">Modeling Technical
Architectures</a></li>
<ul>
<li><a href="ta/platform_architecture.html">Platform
Architecture</a></li>
<ul>
<li><a href="ta/platform_architecture_generic.html">Generic
Platform Architecture</a></li>
<li><a href="ta/platform_architecture_hierarchical.html">Hierarchical
Platform Architecture</a></li>
<li><a href="ta/platform_architecture_raspberrypi.html">RaspberryPi
Platform Architecture</a></li>
</ul>
<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>
<li><a href="ta/system_schedule.html">System Schedule</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/synthesis.html">Deployment/Schedule Synthesis
(Exploration)</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 and 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>
<script src="./layout/jsscript/submenuScript.js"></script>
<!-- end #container --></div>
</div>
<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>
</body>
</html>
<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="topnav-right">
<a href="mailto:af_user@lists.fortiss.org?subject=Reporting getting_started.html Documentation Problem&amp;body= Dear AutoFOCUS3 team, I am reporting an issue related to getting_started.html page.">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><a href="ta/technical_viewpoint.html">Modeling Technical Architectures</a></li>
<ul>
<li><a href="ta/platform_architecture.html">Platform Architecture</a></li>
<ul>
<li><a href="ta/platform_architecture_generic.html">Generic Platform Architecture</a></li>
<li><a href="ta/platform_architecture_hierarchical.html">Hierarchical Platform Architecture</a></li>
<li><a href="ta/platform_architecture_raspberrypi.html">RaspberryPi Platform Architecture</a></li>
</ul>
<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>
<li><a href="ta/system_schedule.html">System Schedule</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/synthesis.html">Deployment/Schedule Synthesis (Exploration)</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 and 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>
<script src="./layout/jsscript/submenuScript.js"></script>
<!-- end #container --></div>
</div>
</body>
<div class="footer" style="margin-top:20px">
<p>
&copy; 2020 <a href="https://www.fortiss.org/">fortiss GmbH</a> &nbsp;&nbsp;&bull;&nbsp;&nbsp;
<a href="https://www.fortiss.org/en/publications/software/autofocus-3#c2007">Contact</a>&nbsp;&nbsp;&bull;&nbsp;&nbsp;
<a href="https://www.fortiss.org/en/imprint">Imprint</a>
</p>
</div>
</html>
\ No newline at end of file
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