AF3_Overview.md

+![](https://af3.fortiss.org/attachments/download/66/icon2.jpg) AF3 Overview
+===========================================================================
+
+<table>
+<tbody>
+<tr class="odd">
+<td>1. [[AF3_Overview#Distributed,Timed,Reactive Systems</td>
+<td>Distributed, Timed, Reactive Systems]]<br />
+2. [[AF3_Overview#TheTool</td>
+<td>The Tool]]<br />
+    2.1 [[AF3_Overview#Modeling</td>
+<td>Modeling ]]<br />
+    2.2 [[AF3_Overview#SimulationAndAnalysis</td>
+<td>Simulation and Analysis]]<br />
+3. [[AF3_Overview#MaintainersAndContributors</td>
+<td>Maintainers and Contributors ]]</td>
+</tr>
+</tbody>
+</table>
+
+Distributed,Timed,Reactive Systems
+==================================
+
+Computer-based systems provide a plethora of services to its user. In
+the field of embedded systems, the system is directly integrated into
+its environment and interacts with it by reacting on stimuli. In
+particular such systems are usually distributed over a set of execution
+units placed at different locations in the environment. Furthermore,
+time is a critical resource in these systems: data produced or consumed
+too late might result in fatal system reactions. Typical target
+applications span from airplane and automotive electronics over medical
+applications to factory automation and energy provision systems.
+
+TheTool
+=======
+
+AutoFOCUS 3 has been designed to support the modeling of distributed,
+timed, reactive systems and support differents layers of models, their
+simulation and analysis.
+
+Modeling
+========
+
+The following aspects can be captured by AutoFOCUS 3:
+
+-   hierarchical component decomposition of the system
+-   behavior of application parts of the system
+-   modeling of technical architectures including control units and
+    communication busses
+
+SimulationAndAnalysis
+=====================
+
+The following tasks are supported by AutoFOCUS 3:
+
+-   simulation of the modeled application
+-   simulation using interactive elements
+-   generation of code for computational parts
+-   verification of specified properties
+
+MaintainersAndContributors
+==========================
+
+-   [Florian Hölzl](http://www4.in.tum.de/~hoelzlf/)
+-   [Wolfgang Schwitzer](http://www4.in.tum.de/~schwitze/)
+-   [Martin Feilkas](http://www4.in.tum.de/~feilkas/)
+-   Christoph Döbber
+-   Andreas Wandinger
+