Skip to content
Snippets Groups Projects
Commit ad8a0ee9 authored by Alexander Diewald's avatar Alexander Diewald
Browse files

DSE.UI: Documentation for JFX-based Synthesis 


Signed-off-by: default avatarAlexander Diewald <diewald@fortiss.org>
parent 1415b59a
No related branches found
No related tags found
1 merge request!354057
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 9131 additions and 558 deletions
org.fortiss.af3.rcp.help/html/.ratings
+ 1
− 1
View file @ ad8a0ee9
af3_faq.html 716050a8ab2ffce62c426e0bc92b033b37793fa1 GREEN
furtherResources.MainPage.html 25380a8c41872ddfbbae1eaa7197791647397587 GREEN
getting_started.html 12a24454900fa6924930a1ad39426c90bcf9b287 GREEN
getting_started.html 58306f9ba7b85feb5aafa4f9098020e222b8d289 YELLOW
managing_projects.html da6a5f0ccfdf6b7cec5a326b72054021c706fe9c GREEN
rcphelp.gettingstarted.MainPage.html 1bba924efd25fb218caed2fb280844ad4630995d GREEN
tipsAndTricks.html f3df62416508ecb47fefa83c601d2b93f6329b61 GREEN
org.fortiss.af3.rcp.help/html/dse/.ratings
+ 2
− 3
View file @ ad8a0ee9
constraints.html 948a8f4295ab6ded29f72198d5f0c8491c12478c GREEN
deployment_synthesis.html 4abdbb45475be8adfec0b924c44f6c7d579f00e4 GREEN
deployment_synthesis.html ff0fab81079b3d21a063da098a88d7b39221a110 YELLOW
dse.MainPage.html ddd9d0caea8e719eeb2d88b6324eefd69836fed4 GREEN
dse_dashboard.html d58de41a63976aea617a402226e420f41147e24f GREEN
dse_perspective.html 3f55c4af11fd173feb6f78b72024bf282b6de102 GREEN
objectives.html f420e9b63a5410180b18ffe795d0757d5abc1b48 GREEN
platform_synthesis.html 29803251334e2c9a95267531ecff12d30e461012 GREEN
schedule_synthesis.html bdaafdd9c754ac5d3887e6a138aa9ef4687f8d89 GREEN
synthesis.html ff0fab81079b3d21a063da098a88d7b39221a110 YELLOW
visualization.html 1ae24c1ea9700ab31de51d5007d4549fc0b80ec0 GREEN
org.fortiss.af3.rcp.help/html/dse/deployment_synthesis.html
+ 161
− 166
View file @ ad8a0ee9
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!-- Documentation on Deployment Synthesis in AutoFOCUS3. -->
<html>
<head>
<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 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 'deployment_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>Deployment Synthesis</h1>
<button onclick="topFunction()" id="upBtn" title="Go to top">Top</button>
<p> The <b>Deployment Synthesis</b> page is your starting point for generating mappings from tasks to hardware execution units.</p>
<img src="pictures/Deplo1.png", width = "100%"/>
<p>
The view shows the tasks contained in the selected Task Architecture and the execution units of the selected Platform Architecture.
A deployment synthesis can be parameterized by defining rule sets, i.e., sets of constraints and objectives previously defined. In order to do so, press the button denoted by an arrow in the figure above.
</p>
<h2>1. Define constraint sets</h2>
<img src="pictures/ConstraintSetWizard.png", width = "70%"/>
<p>
This leads you to the <b>Constraint Set Wizard</b>. On the left, you can type information concerning the set of constraints that you are going to generate, namely you can assign a name to the set, associate the name of the author and possibly add further information.
</p>
<p>
In the table on the right, the constraints generated so far will be listed. Here you can select the ones that you want to include in your set.
</p>
<p>
Finally press the button <i>Create a new Constraint Set</i> to actually generate the set.
</p>
<p>You can generate more than one constraint set. When you are done, you can press <i>Next</i> to move to the Objective Set Wizard or <i>Finish</i> to conclude.
</p>
<h2>2. Define objective sets</h2>
<img src="pictures/ObjectiveSetWizard.png", width = "70%"/>
<p>Similarly, the <b>Objective Set Wizard</b> allows you to define sets of objectives. On the left you can type information concerning the set, while on the right you can select the objectives to be included in it.</p>
<p>Finally press the button <i>Create a new objective set</i> to actually generate the set.</p>
<p>When you are done with objective set generation, you can press <i>Finish</i> to move on.</p>
<h2>3. Launch the synthesis</h2>
<img src="pictures/Deplo2.png", width = "100%"/>
<p> Finally, you can <b>launch the synthesis</b> by following the four steps indicated in the figure above. In case when a joint schedule synthesis is selected, two optimization options are available:
<ul>
<li>minimization of the latency;</li>
<li>minimization of energy consumption; this option involves also exploration of the optimal frequency for the processors involved.</li>
</ul>
</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>
\ No newline at end of file
<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>
</html>
org.fortiss.af3.rcp.help/html/dse/pictures/Deplo1.png deleted 100644 → 0
+ 0
− 0
View file @ 1415b59a
org.fortiss.af3.rcp.help/html/dse/pictures/Deplo1.png

148 KiB

org.fortiss.af3.rcp.help/html/dse/pictures/Deplo2.png deleted 100644 → 0
+ 0
− 0
View file @ 1415b59a
org.fortiss.af3.rcp.help/html/dse/pictures/Deplo2.png

182 KiB

org.fortiss.af3.rcp.help/html/dse/pictures/Schedule.png deleted 100644 → 0
+ 0
− 0
View file @ 1415b59a
org.fortiss.af3.rcp.help/html/dse/pictures/Schedule.png

165 KiB

org.fortiss.af3.rcp.help/html/dse/pictures/source/synthesis_creating_rulesets.vsdx 0 → 100644
+ 0
− 0
View file @ ad8a0ee9
File added
org.fortiss.af3.rcp.help/html/dse/pictures/source/synthesis_selection.vsdx 0 → 100644
+ 0
− 0
View file @ ad8a0ee9
File added
org.fortiss.af3.rcp.help/html/dse/pictures/source/synthesis_settings_dialog.vsdx 0 → 100644
+ 0
− 0
View file @ ad8a0ee9
File added
org.fortiss.af3.rcp.help/html/dse/pictures/source/synthesis_start_constraints.vsdx 0 → 100644
+ 0
− 0
View file @ ad8a0ee9
File added
org.fortiss.af3.rcp.help/html/dse/pictures/source/synthesis_start_optimization.vsdx 0 → 100644
+ 0
− 0
View file @ ad8a0ee9
File added
org.fortiss.af3.rcp.help/html/dse/pictures/synthesis_creating_rulesets.svg 0 → 100644
+ 2250
− 0
View file @ ad8a0ee9
Source diff could not be displayed: it is too large. Options to address this: view the blob.
org.fortiss.af3.rcp.help/html/dse/pictures/synthesis_selection.svg 0 → 100644
+ 1812
− 0
View file @ ad8a0ee9
This diff is collapsed.
org.fortiss.af3.rcp.help/html/dse/pictures/synthesis_settings_dialog.svg 0 → 100644
+ 230
− 0
View file @ ad8a0ee9
This diff is collapsed.
org.fortiss.af3.rcp.help/html/dse/pictures/synthesis_start_constraints.svg 0 → 100644
+ 2183
− 0
View file @ ad8a0ee9
Source diff could not be displayed: it is too large. Options to address this: view the blob.
org.fortiss.af3.rcp.help/html/dse/pictures/synthesis_start_optimization.svg 0 → 100644
+ 2143
− 0
View file @ ad8a0ee9
Source diff could not be displayed: it is too large. Options to address this: view the blob.
org.fortiss.af3.rcp.help/html/dse/platform_synthesis.html deleted 100644 → 0
+ 0
− 71
View file @ 1415b59a
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!-- Documentation on Platform Synthesis in AutoFOCUS3. -->
<html>
<head>
<link rel="stylesheet" type="text/css" href="../layout/stylesheet.css"/>
<title>Platform 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">
<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">Design Space Exploration (DSE) <i class="triangle"></i></button>
<div class="dropdown-content">
<a href="dse_perspective.html">DSE Perspective Overview</a>
<a href="dse_dashboard.html">DSE Dashboard</a>
<a href="constraints.html">Constraints Modelling</a>
<a href="objectives.html">Objective Modelling</a>
<a href="deployment_synthesis.html">Deployment Synthesis</a>
<a href="schedule_synthesis.html">Schedule Synthesis</a>
<a href="visualization.html">Visualization of DSE Results</a>
</div>
</div>
<div class="topnav-right">
<a href="mailto:af_user@lists.fortiss.org?subject=Reporting 'platform_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">
<button onclick="topFunction()" id="upBtn" title="Go to top">Top</button>
<h1>Platform Synthesis</h1>
<p> TODO Text.</p>
</div>
<script src="../layout/jsscript/topBtn.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>
\ No newline at end of file
org.fortiss.af3.rcp.help/html/dse/schedule_synthesis.html deleted 100644 → 0
+ 0
− 145
View file @ 1415b59a
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!-- Schedule Synthesis in AutoFOCUS3. -->
<html>
<head>
<link rel="stylesheet" type="text/css" href="../layout/stylesheet.css"/>
<title>Schedule 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 href="objectives.html">Objective Modeling</a>
<a href="deployment_synthesis.html">Deployment Synthesis</a>
<a style="background-color:#f2f2f2;">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 'schedule_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">
<button onclick="topFunction()" id="upBtn" title="Go to top">Top</button>
<h1>Schedule Synthesis</h1>
<p> The <b>Schedule Synthesis</b> page is your starting point for generating a schedule given a deployment.</p>
<h2>Generating Schedules</h2>
<img src="pictures/Schedule.png", width = "100%"/>
<p>As in the figure above, the view will show the currently selected deployment, for which a schedule will be synthesized.</p>
<p>In order to launch the synthesis, please follow the three steps described in the figure.</p>
<p>Two optimization options are available:
<ul>
<li>minimization of the latency;</li>
<li>minimization of energy consumption; this option involves also exploration of the optimal frequency for the processors involved.</li>
</ul>
</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>
\ No newline at end of file
org.fortiss.af3.rcp.help/html/dse/synthesis.html 0 → 100644
+ 163
− 0
View file @ ad8a0ee9
<!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>
</html>
org.fortiss.af3.rcp.help/html/getting_started.html
+ 186
− 172
View file @ ad8a0ee9
<!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="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/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 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
<!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>
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