|
|
![](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
|
|
|
|