<!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&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>