af3_faq.html 9.92 KB
Newer Older
1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
2

3
4
<!--  Documentation of Further Resources. -->

5
<html>
Simon Barner's avatar
Simon Barner committed
6
7
8
9
	<head>
		<link rel="stylesheet" type="text/css" href="./layout/stylesheet.css"/>
		<title>AutoFOCUS3 FAQ</title>
	</head>
10

Simon Barner's avatar
Simon Barner committed
11
12
13
14
15
	<body>
		<div class="header">
			<div class="box">
				<div class="navbar">
					<div class="dropdown">
16
						<a href="./getting_started.html" style="padding:0;">
17
							<button class="btn" id="hamburger" onclick="javascript:window.location.href='./getting_started.html'">
18
19
20
21
22
23
24
								<label for="hamburger" class="hamburger">
									<span class="hamburgerLine"></span>
									<span class="hamburgerLine"></span>
									<span class="hamburgerLine"></span>
								</label>
							</button>
						</a>
25
26
27
28
29
30
31
32
33
34
35
36
37
38
						<div class="dropdown-content">
							<button class="dropdown-btn">Getting Started<i class="caret-down"></i></button>
								<div class="dropdown-container">
									<button class="dropdown-btn">Resources for Users<i class="caret-down"></i></button>
										<div class="dropdown-container">
											<a href="managing_projects.html">Managing AutoFOCUS3 Projects</a>
											<a href="examples.MainPage.html">Examples</a>
											<a href="tipsAndTricks.html">Tips &amp; Tricks</a>
											<a href="af3_faq.html">FAQs</a>
										</div>
									<a href="rcphelp.gettingstarted.MainPage.html">Resources for Developers</a>
									<a href="rcphelp.gettingstarted.MainPage.html">Contact</a>
								</div>
							
Saad bin Abid's avatar
Saad bin Abid committed
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
							
							<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/dse_perspective.html">DSE Perspective Overview</a>
									<a href="dse/dse_dashboard.html">DSE Dashboard</a>
									<a href="dse/constraints.html">Constraint Modeling</a>
									<a href="dse/objectives.html">Objective Modeling</a>
Simon Barner's avatar
Simon Barner committed
98
									<a href="dse/synthesis.html">Deployment/Schedule Synthesis (Exploration)</a>
Saad bin Abid's avatar
Saad bin Abid committed
99
100
101
102
103
104
105
									<a href="dse/schedule_synthesis.html">Schedule Synthesis</a>
									<a href="dse/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>
106
									<a href="assuranceCases/maintenance.html">Assurance Case Maintenance</a>
Saad bin Abid's avatar
Saad bin Abid committed
107
							   </div>
Simon Barner's avatar
Simon Barner committed
108
109
						</div>
					</div>
Saad bin Abid's avatar
Saad bin Abid committed
110
111
					</div> 
					
Simon Barner's avatar
Simon Barner committed
112
113
					<div class="topnav-right">
						<a href="mailto:af_user@lists.fortiss.org?subject=Reporting 'af3_faq.html' Documentation Problem!&body= Dear AutoFOCUS3 team, I am reporting an issue related to Further Resources. 
114
       {Please specify the problem precisely here.}.">Report a Problem?</a>
Simon Barner's avatar
Simon Barner committed
115
116
117
118
119
120
					</div>
				</div>
			</div>
		</div>
		<div class="box">
			<button onclick="topFunction()" id="upBtn" title="Go to top">Top</button>
121

Simon Barner's avatar
Simon Barner committed
122
			<h1>AutoFOCUS3 FAQ</h1>
123

Johannes Eder's avatar
Johannes Eder committed
124

Simon Barner's avatar
Simon Barner committed
125
			<h2>Installation and Running</h2>
126

Simon Barner's avatar
Simon Barner committed
127
128
129
130
131
132
133
134
135
136
137
138
139
140
			<p>
				<ul>
					<li> On MacOS
						<ul>
							<li>You need to accept unknown developer certificates.</li>
							<li>You need to move AutoFOCUS3 to your application folder.</li>
							<li>If you get an error message on startup which says that AutoFOCUS3 is broken and cannot be started: open a terminal and use the following command:
								<ul>
									<li>sudo xattr -rd com.apple.quarantine /Applications/AutoFOCUS3.app</li>
									<li>As our software is a scientific prototype, our product is not signed which causes a problem due to the security restrictions of MacOS</li>
								</ul>
							</li>
						</ul>
					</li>
Johannes Eder's avatar
Johannes Eder committed
141
142
143
144
145
146
147
148
149
					<li> On Windows: DSE does not execute and throws exception
						<ul>
							<li> If you encounter the following exception when running a DSE you might be missing required libraries. 
								<br>
								<i>java.lang.UnsatisfiedLinkError: [...]\plugins\com.microsoft.z3_2.18.[...]\lib\x64\msvcp120.dll: Can't find dependent libraries</i>
								<br>
								Installing the Visual C++ Redistributable Packages for Visual Studio 2013 fixes the problem.
						</ul>
					</li>
Simon Barner's avatar
Simon Barner committed
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
					<li> AF3 does not start
						<ul>
							<li> Check, that the path to your AF3 (including the AF3 folder itself) does not contain spaces.</li>
							<li> If the product does not start because the Java Virtual Machine (JVM) could not be created: Please update your Java installation to Java 11.0.7</li>
						</ul>
					</li>
					<li> Unpacking of AF3 zip file fails with 'Path too long' on Windows
						<ul>
							<li> Workaround: Unzip into your drive root, e.g., C:/ and give the folder a short name like 'af3'</li>
						</ul>
					</li>
					<li> Menu icons are not displayed on KDE
						<ul>
							<li> Go to "System settings - Application Style - GNOME Application Style".</li>
							<li> Select "Show symbols of GTK buttons".</li>
							<li> Select "Show symbols in GTK menus".</li>
						</ul>
					</li>
				</ul>
			</p>
Johannes Eder's avatar
Johannes Eder committed
170

Simon Barner's avatar
Simon Barner committed
171
172
173
			<h2>Where can I report bugs or file feature requests?</h2>
			<p> Please direct any kind of feedback to our users mailing list (<a href="mailto:af_user@lists.fortiss.org">af_user@lists.fortiss.org</a>). The AutoFOCUS3 teams is happy to support you.
			</p>
174

Simon Barner's avatar
Simon Barner committed
175
			<h2>How can I connect ports of two components or states of a state automaton?</h2>
176

Simon Barner's avatar
Simon Barner committed
177
			<p>Move the cursor close to a port. The cursor will change and you simply have to <i>click and drag</i> to create a connection. 
178
(The old (Version 2.16 and older) <i>ALT+click and drag</i> behavior has been replaced and does not work anymore.)</p>
179

Simon Barner's avatar
Simon Barner committed
180
181
			<h2>How can I add new elements to a diagram?</h2>
			<p>
182
There are three possibilities: either <i>right-click</i> in the model navigator (left side) or in the diagram editor (center) and select the element from the context menu, or drag the element from the model elements view (right side) into the diagram editor. 
Simon Barner's avatar
Simon Barner committed
183
184
185
			</p>
			<h2>How to contribute?</h2>
			<p>
186
187
AutoFOCUS3 is open source and developed under the <a target="_blank" rel="noopener noreferrer" href="http://www.apache.org/licenses/LICENSE-2.0">Apache 2.0 license</a>.
Please check our <a target="_blank" rel="noopener noreferrer" href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developers_documentation">developer documentation</a>, or write to our developer mailing list (<a href="mailto:af_devel@lists.fortiss.org">af_devel@lists.fortiss.org</a>).
Simon Barner's avatar
Simon Barner committed
188
189
			</p>
		</div>
Saad bin Abid's avatar
Saad bin Abid committed
190
191
		<script src="../layout/jsscript/topBtn.js"></script>
		<script src="./layout/jsscript/submenuScript.js"></script>
Simon Barner's avatar
Simon Barner committed
192
		<div class="footer">
193
			<p>
Simon Barner's avatar
Simon Barner committed
194
					&copy; 2020 <a href="https://www.fortiss.org/">fortiss GmbH</a> &nbsp;&nbsp;&bull;&nbsp;&nbsp;
195
196
197
				<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>
Simon Barner's avatar
Simon Barner committed
198
199
		</div>
	</body>
200
</html>