From 6aff4ffa30362daf711e2f77e79188e11afe2439 Mon Sep 17 00:00:00 2001
From: Simon Barner <barner@fortiss.org>
Date: Thu, 10 Sep 2020 15:27:37 +0200
Subject: [PATCH] GREEN
* Original formatting restored
* Sanitized HTML
Issue-Ref: 4057
Issue-Url: https://af3-developer.fortiss.org/issues/4057
Signed-off-by: Simon Barner <barner@fortiss.org>
---
.../af3/rcp/application/advisors/.ratings | 2 +-
org.fortiss.af3.rcp.help/html/.ratings | 2 +-
org.fortiss.af3.rcp.help/html/dse/.ratings | 2 +-
.../html/dse/synthesis.html | 344 +++++++++--------
.../html/getting_started.html | 353 +++++++++---------
5 files changed, 357 insertions(+), 346 deletions(-)
diff --git a/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings b/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings
index 224b98f..175e142 100644
--- a/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings
+++ b/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings
@@ -1,3 +1,3 @@
ApplicationActionBarAdvisor.java 881198ff05ab14110efef1673f0914725348442b GREEN
-ApplicationWorkbenchAdvisor.java 19af4bc3262680a283eccccf92c4e2ae4463fa71 YELLOW
+ApplicationWorkbenchAdvisor.java 19af4bc3262680a283eccccf92c4e2ae4463fa71 GREEN
ApplicationWorkbenchWindowAdvisor.java da5cb38300b384579532c678fbc9faa961c2ca6b GREEN
diff --git a/org.fortiss.af3.rcp.help/html/.ratings b/org.fortiss.af3.rcp.help/html/.ratings
index f344443..060f4c9 100644
--- a/org.fortiss.af3.rcp.help/html/.ratings
+++ b/org.fortiss.af3.rcp.help/html/.ratings
@@ -1,6 +1,6 @@
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
diff --git a/org.fortiss.af3.rcp.help/html/dse/.ratings b/org.fortiss.af3.rcp.help/html/dse/.ratings
index b3787aa..753cab7 100644
--- a/org.fortiss.af3.rcp.help/html/dse/.ratings
+++ b/org.fortiss.af3.rcp.help/html/dse/.ratings
@@ -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
diff --git a/org.fortiss.af3.rcp.help/html/dse/synthesis.html b/org.fortiss.af3.rcp.help/html/dse/synthesis.html
index ff0fab8..d4c4eb7 100644
--- a/org.fortiss.af3.rcp.help/html/dse/synthesis.html
+++ b/org.fortiss.af3.rcp.help/html/dse/synthesis.html
@@ -1,163 +1,189 @@
<!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
- & 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&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;"> </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> </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>
- • <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>
+ <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>
+ © 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>
diff --git a/org.fortiss.af3.rcp.help/html/getting_started.html b/org.fortiss.af3.rcp.help/html/getting_started.html
index 58306f9..d2cec69 100644
--- a/org.fortiss.af3.rcp.help/html/getting_started.html
+++ b/org.fortiss.af3.rcp.help/html/getting_started.html
@@ -1,186 +1,171 @@
<!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&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&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>
+ © 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>
\ No newline at end of file
--
GitLab