-
Simon Barner authoredIssue-Ref: 3861 Issue-Url: https://af3-developer.fortiss.org/issues/3861 Signed-off-by:
Simon Barner <barner@fortiss.org>Simon Barner authoredIssue-Ref: 3861 Issue-Url: https://af3-developer.fortiss.org/issues/3861 Signed-off-by:
Simon Barner <barner@fortiss.org>
getting_started.html 12.09 KiB
<!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><!--
Getting started help page.
@author becker
@ConQAT.Rating YELLOW Hash: 5E4F6D0999163FA8E7D1A1CD1A064658
-->
<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="gettingStarted/ie6.css" rel="stylesheet" type="text/css" />
<link href="gettingStarted/main_style.css" rel="stylesheet" type="text/css" />
<style type="text/css">body {
background-image: repeating-linear-gradient(darkgray 5px, gray, darkgray 10px);
margin-top: 20px;
}
</style>
</head>
<body class="main_style"><!-- start #container -->
<div id="container"><!-- start #header -->
<div id="header">
<table border="0" cellpadding="0" cellspacing="0" height="137" width="900">
<tbody>
<tr>
<td valign="top" width="160"><!-- start #logo -->
<div id="logo"><!--
<a href="https://af3.fortiss.org" title="Home" target="_self"></a>
--><!-- end #logo --></div>
</td>
<td valign="top" width="704"><!-- start #topright -->
<div id="topright"><!-- end #topright --></div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end #header --><!-- start #maincontent --><br />
<div id="maincontent">
<table align="center" border="0" cellpadding="0" cellspacing="0" height="100%" width="900">
<tbody>
<tr>
<td valign="top" width="900"><!-- start ,mainfeatures -->
<div class="background">
<table border="0" cellpadding="0" cellspacing="0" width="100%">
<tbody>
<tr>
<td>
<h1>AutoFOCUS3 (AF3) Overview</h1>
</td>
</tr>
<tr>
<td valign="top">
<table align="center" border="0" bordercolor="#7290aa" cellpadding="0" cellspacing="0" style="border-style: solid; border-collapse: collapse; border-spacing: 0;" width="98%">
<tbody>
<tr>
<td height="100%" valign="top">
<table align="center" border="1" bordercolor="#7290aa" cellpadding="0" cellspacing="0" style="border-style: solid; border-collapse: collapse; border-spacing: 0;" width="98%">
<tbody>
<tr>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>Requirements Engineering</h2>
</td>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>Modeling and Simulation</h2>
</td>
</tr>
<tr> <td align="center" valign="top"><br />
<img alt="" border="1" height="200" src="gettingStarted/img/req2.png" width="200" /><br />
<p style="margin-left: 50px;"><a href="MIRA.what_is_MIRA.html">What is MIRA?</a><br />
<a href="MIRA.requirements_analysis.html">Requirements Analysis</a><br />
<a href="MIRA.glossary.html">Glossary</a><br />
<a href="MIRA.requirement_source.html">Requirement Sources</a><br />
<a href="MIRA.requirements.html">Requirements</a><br />
<a href="MIRA.aspects.html">Aspects</a></p>
<p style="margin-left: 320px;"> </p>
</td>
<td align="center" valign="top"><br />
<img alt="" border="1" height="200" src="gettingStarted/img/sim.png" width="200" /><br />
<p style="margin-left: 50px;"><a href="model_element_attributes.html">Introduction to Graphical Modeling Interface</a><br />
<a href="component_architecture.html">Component Architecture Modeling</a><br />
<a href="data_dictionary.html">Data Dictionary: Types and Functions</a><br />
Behavior Modeling<br />
<a href="code_specification.html"> - Code Specifications</a><br />
<a href="state_automaton.html"> - State Automata</a> and <a href="hierarchical_state_automaton.html">Hierarchical State Automata</a><br />
<a href="mode_automaton.html"> - Mode Automata</a><br />
Simulation<br />
<a href="simulation_with_af3.html"> - Simulation</a><br />
<a href="operatorpanels.html"> - Operator Panels</a> (<a href="operatorpanels_advanced.html">advanced interface</a>)<br />
<a href="cosimulation_with_af3.html"> - Co-Simulation and FMI Support</a><font color="#ff0000"> </font><br />
<a href="library.html">Libraries</a><br />
<a href="refactoring.html">Refactoring</a><br />
</p>
</td>
</tr>
<tr>
<td align="center" bgcolor="#c7d2dc" valign="middle">
<h2>Deployment and Code Generation</h2>
</td>
<td align="center" bgcolor="#c7d2dc" valign="middle">
<h2>Design Space Exploration (DSE)</h2>
</td>
</tr>
<tr>
<td align="center" height="271" valign="top"><br />
<img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/codedepl.png" width="200" /><br />
<p style="margin-left: 50px;"><a href="ta/technical_viewpoint.html">Technical Architecture Modeling</a><br />
<a href="ta/platform_architecture.html"> - Platform Architecture</a><br />
<a href="ta/task_architecture.html"> - Task Architecture</a><br />
<a href="ta/partition_architecture.html"> - Partition Architecture</a><br />
<a href="ta/allocations.html"> - Deployments / Allocations</a><br />
<a href="ta/code_generation.html">Code Generation</a></p>
</td>
<td align="center" valign="top"><br />
<img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/DSE.png" width="200" /><br />
<p style="margin-left: 50px;">
<a href="dse/dse_perspective.html">DSE Perspective Overview</a><br/>
<a href="dse/dse_dashboard.html">DSE Dashboard</a><br />
<a href="dse/constraints.html">Constraint Modeling</a><br />
<a href="dse/objectives.html">Objective Modeling</a><br />
<a href="dse/deployment_synthesis.html">Deployment Synthesis</a><br />
<a href="dse/schedule_synthesis.html">Schedule Synthesis</a><br />
<a href="dse/visualization.html">Solution Visualization</a><br />
</p>
</td>
</tr>
<tr>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>Testing and Formal Verification</h2>
</td>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>Assurance Case Modeling</h2> </td>
</tr>
<tr>
<td align="center" valign="top"><br />
<img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/WAF3verification.png" width="200" /><br />
<p style="margin-left: 50px;"><a href="model_markers_view.html">On-the-fly Checks</a><br /> </p>
</td>
<td align="center" valign="top"><br />
<img alt="" border="1" height="200" src="assuranceCases/pictures/SC.23.png" width="200" /><br />
<br />
<p style="margin-left: 320px;"> </p>
<p style="margin-left: 50px;">
<a href="assuranceCases/creation.html">Creation of Modular Assurance Cases</a><br/>
<a href="assuranceCases/assessment.html">Assessment</a><br />
<a href="assuranceCases/maintenance.html">Change Impact Analysis</a><br />
<a href="assuranceCases/reports.html">Reporting</a><br />
</p>
<p style="margin-left: 320px;"> </p>
</td>
</tr>
<tr>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>FOCUSer - FOCUS procEss AwaReness</h2>
</td>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>Further Resources</h2>
</td>
</tr>
<tr>
<td align="center" valign="top"><br />
<a href="process.html"><img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/FOCUSer.png" width="200"/></a><br/>
<br />
<p style="margin-left: 50px;"><a href="process.html">Introduction</a><br/>
<a href="process_definition.html">Defining Processes</a><br/>
<a href="process_usage.html">Using Processes</a><br/>
<a href="process_constraints.html">Supported Constraints</a><br/></p>
</td>
<td align="center" valign="top"><br />
<img alt="" border="1" hspace="80" src="gettingStarted/img/af3_logo.png" width="200" /><br />
<br />
<p style="margin-left: 50px;">Resources for Users<br />
- <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><br />
- <a href="https://af3.fortiss.org/" target="_blank">AF3 Website</a><br />
- <a href="https://af3.fortiss.org/docs/screencasts/" target="_blank">Screencasts</a><br />
- <a href="https://af3.fortiss.org/docs/tutorials/" target="_blank">Tutorials</a><br />
- <a href="https://af3.fortiss.org/research/" target="_blank">Research Papers</a><br />
- <a href="tipsAndTricks.html">Tips & Tricks</a><br />
- <a href="af3_faq.html">FAQ</a><br />
</p>
<p style="margin-left: 50px;">Resources for Developers<br />
- <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><br />
- <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developers_documentation" target="_blank">Developers Documentation Overview</a><br />
- <a href="https://af3-developer.fortiss.org/projects/autofocus3/wiki/AF3_Developer_Installation" target="_blank">AF3 Developer Installation</a><br />
</p>
</td>
</tr>
</tbody>
</table>
</td>
</tr>
</tbody>
</table>
</td>
</tr>
</tbody>
</table>
<center> <p style="text-align:center"><br/>For more details see our <a href="http://af3.fortiss.org/docs/screencasts/" target="_self">screencasts</a> and <a href="http://af3.fortiss.org/docs/tutorials/" target="_self">tutorials</a>.</p>
</center>
<!-- end .mainfeatures --></div>
</td>
</tr>
</tbody>
</table>
<!-- end #mainContent --></div>
<!-- start #footer -->
<div id="footer">
<p style="text-align:center">© 2019 <a href="https://www.fortiss.org/" target="_self">fortiss GmbH</a> - Research Institute of the Free State of Bavaria associated with <a href="https://www.tum.de/" targe="_self">Technical University of Munich</a></p>
<!-- end #footer --></div>
<!-- end #container --></div>
</body>
</html>