Skip to content
Snippets Groups Projects
Normal view Permalink
furtherResources.MainPage.html 7.71 KiB
Newer Older
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
1 2 3 4 5 6 7 8 
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">

<!-- Documentation of MIRA - Model-based Integrated Requirements. -->

<html>
	<head>
		<link rel="stylesheet" type="text/css" href="./layout/stylesheet.css"/>
		<title>Further Resources Main-Page</title>
Simon Barner's avatar
Fix links  
Simon Barner committed
9 
		<style>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
10 11 12 13 14 
  .center {
  margin: auto;
  width: 60%;
  padding: 10px;
}
Simon Barner's avatar
Fix links  
Simon Barner committed
15 
		</style>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 
	</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">
								<label for="hamburger" class="hamburger">
									<span class="hamburgerLine"></span>
									<span class="hamburgerLine"></span>
									<span class="hamburgerLine"></span>
								</label>
							</button>
						</a>
Simon Barner's avatar
Fix links  
Simon Barner committed
32 33 
						<div class="dropdown-content"> 
							<button class="dropdown-btn">Getting Started<i class="caret-down"></i></button>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
34 
							<div class="dropdown-container">
Simon Barner's avatar
Fix links  
Simon Barner committed
35 36 37 
								<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>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
38 
							</div>
Simon Barner's avatar
Fix links  
Simon Barner committed
39
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
40 41 
							<button class="dropdown-btn">Requirements Engineering<i class="caret-down"></i></button>
							<div class="dropdown-container">
Simon Barner's avatar
Fix links  
Simon Barner committed
42 43 44 
								<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>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
45 46 
							</div>
Simon Barner's avatar
Fix links  
Simon Barner committed
47
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
48 
							<button class="dropdown-btn">Modeling and Simulation<i class="caret-down"></i></button>
Simon Barner's avatar
Fix links  
Simon Barner committed
49 50 51 52 53 54 
							<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>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
55 
								<button class="dropdown-btn">Behavior Modeling<i class="caret-down"></i></button>
Simon Barner's avatar
Fix links  
Simon Barner committed
56 57 58 59 60 61 
								<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>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
62 
								<button class="dropdown-btn">Simulation<i class="caret-down"></i></button>
Simon Barner's avatar
Fix links  
Simon Barner committed
63 64 65 66 67 68 69 70 
								<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>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
71 72 

							<button class="dropdown-btn">Deployment and Code Generation<i class="caret-down"></i></button>
Simon Barner's avatar
Fix links  
Simon Barner committed
73 
							<div class="dropdown-container">
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
74 
								<button class="dropdown-btn">Modeling Technical Architectures<i class="caret-down"></i></button>
Simon Barner's avatar
Fix links  
Simon Barner committed
75 76 77 
								<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>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
78 
									<div class="dropdown-container">
Simon Barner's avatar
Fix links  
Simon Barner committed
79 80 81 
										<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>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
82 
									</div>
Simon Barner's avatar
Fix links  
Simon Barner committed
83 84 85 86 87 88 89 90 
									<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>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
91 92 

							<button class="dropdown-btn">Design Space Exploration (DSE)<i class="caret-down"></i></button>
Simon Barner's avatar
Fix links  
Simon Barner committed
93 
							<div class="dropdown-container">
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
94
Simon Barner's avatar
Fix links  
Simon Barner committed
95 96 97 98 99 100 101 102 
								<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>
								<a href="dse/deployment_synthesis.html">Deployment Synthesis</a>
								<a href="dse/schedule_synthesis.html">Schedule Synthesis</a>
								<a href="dse/visualization.html">Solution Visualization</a>
							</div>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
103 
							<button class="dropdown-btn">Assurance Case Modeling<i class="caret-down"></i></button>
Simon Barner's avatar
Fix links  
Simon Barner committed
104 105 106 107 108 
							<div class="dropdown-container">
								<a href="creation.html">Modeling GSN-based Assurance Cases</a>
								<a href="assessment.html">Quantitative Assessment of Assurance Cases</a>
								<a href="maintenance.html">Change Impact Analysis</a>
							</div>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
109 110 111 112 
							<a style="background-color:#f2f2f2;">Further Resources</a>
						</div>
					</div>
Simon Barner's avatar
Fix links  
Simon Barner committed
113 
					<div class="topnav-right">
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
114 115 116 117 118 119 120 121 122 123 
						<a href="mailto:af_user@lists.fortiss.org?subject=Reporting 'furtherResources.MainPage.html' Documentation Problem!&body= Dear AutoFOCUS3 team, I am reporting an issue related to further resources Main Page. 
       {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>
Simon Barner's avatar
Fix links  
Simon Barner committed
124 125 126 127 128 129 130 
			<div class="row  center">
				<div class="column">
					<div class="mainfeature">
						<h2>Further Resources</h2>
						<img src="./gettingStarted/img/af3_logo.png" />
						<ul>
							<li>Resources for Users
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
131 
								<ul>
Simon Barner's avatar
Fix links  
Simon Barner committed
132 133 134 135 136 137 138 
									<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 &amp; Tricks</a></li>
									<li><a href="af3_faq.html">FAQ</a></li>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
139 
								</ul>
Simon Barner's avatar
Fix links  
Simon Barner committed
140 141 142 143 144 145 146 147 148 
							</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>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
149 150 
					</div>
				</div>
Simon Barner's avatar
Fix links  
Simon Barner committed
151 
			</div>
Saad bin Abid's avatar
Fixed Johannes Feedback
Saad bin Abid committed
152 153 154 155 156 157 158 159 160 161 162 163 164 
		</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>