AutoFOCUS 3

AutoFOCUS 3

Modellbasierte Entwicklung eingebetteter Systeme

AutoFOCUS 3

Das modellbasierte AutoFOCUS 3 Werkzeug ist unsere Forschungsplattform für modellbasiertes Systems-Engineering. Als kostenlose open-source Lösung demonstriert es, wie neueste Forschungsergebnisse nutzerfreundlich in die Praxis transferiert werden können.


Motivation

Um die steigende Komplexität in der Entwicklung moderner softwareintensiver Systeme wie etwa Automobilen, Flugzeugen oder Automatisierungsanlagen zu beherrschen, wird in der industriellen Praxis bereits heute vermehrt modellbasiertes Systems-Engineering (MBSE) eingesetzt. Existierende kommerzielle Werkzeuge erfordern aufgrund ihrer generischen Modellierungsansätze jedoch oftmals weitreichende Anpassungen, um im Kontext eines Unternehmens tatsächlichen Nutzen zu stiften. Gleichzeitig verfügen diese Werkzeuge nur über eingeschränkte Möglichkeiten zur Automatisierung von Entwurfs- und Analyseschritten zur Unterstützung der Systementwickler*innen.
 

Forschungsschwerpunkte

AutoFOCUS 3 (AF3) setzt neueste Forschungsergebnisse von fortiss im Bereich der modellbasierten Entwicklung um und macht diese als Open-Source-Software verfügbar. AF3 dient dabei als Forschungsplattform für die Konzeption, Entwicklung, Erprobung und Demonstration fortschrittlicher modellbasierter Verfahren zur Automatisierung von Entwurfs- und Verifikationsaufgaben, die auf dem hohen Informationsgehalt der zugrundeliegenden Modelle aufbauen. Im Fokus der Forschung stehen hierbei die folgenden computergestützten Ansätze, die die Expertise von Ingenieur*innen mit der Leistungsfähigkeit modernster formaler Methoden (z.B. SMT-Solvern) kombinieren:

  • Analyse und Optimierung von Hard- und Softwarearchitekturen, die industrielle Anforderungen und Entwurfsziele berücksichtigen (z. B. funktionale Sicherheit, Zuverlässigkeit, Effizienz)
  • Systematische Wiederverwendung sowie Management und Analyse von Variabilität
  • Sicherstellung der Konsistenz zwischen Modellen sowie anderen Entwicklungsartefakten
  • Bewertung und Verbesserung der Modellqualität zur Erhöhung der Erweiterbarkeit und Wartbarkeit von Modellen auf der Basis von Metriken
  • Absicherung von Systemen unter Verwendung von simulationsbasiertem Testen


Einsatzszenarien

AutoFOCUS 3 ist ein Open-Source-Prototyp mit einem hohen technologischen Reifegrad, der auf der Eclipse-Plattform basiert und der zweimal im Jahr veröffentlicht wird. Von der akademischen Forschung, über Training und Lehre bis hin zu Fallstudien im industriellen Kontext schlägt es in den folgenden Einsatzszenarien die Brücke zwischen Anwenderfreundlichkeit und neuesten Forschungsergebnissen:

  • Prototypische Umsetzung neuer Modellierungsansätze, Methodiken und Techniken
  • Durchführen von industriellen Fallstudien z. B. in den Domänen Automobil, Luftfahrt oder Industrieautomatisierung
  • Erfolgsgeschichte AutoFOCUS3 – Fahrzeugarchitekturen von morgen optimieren
  • Trainings und Hands-on-Workshops für industrielle Anwender*innen
  • Akademische Praktika und Lehrveranstaltungen, z. B. an der TU-München
AF3 Screenshot

Software Downloads

Systemvoraussetzungen: Windows oder Linux. Bei Problemen beim Starten des Werkzeugs oder für die Verwendung von AF3 auf macOS, verweisen wir Sie auf unsere FAQ.

Aktuelles Release 2.25 (06.05.2024)

Release Notes

WIN 64Linux 64 

 

Nightly Build

WIN 64Linux 64 

Dokumentation

AF3 Videos

Wenn Sie dieses Video aktivieren, werden Daten automatisiert an YouTube übertragen.

Autonomous Parking - fortiss / TUM Project

Wenn Sie dieses Video aktivieren, werden Daten automatisiert an YouTube übertragen.

Develop your own car with AF3

Weitere Informationen

 Simon Barner

Ihr Kontakt

Simon Barner

+49 89 3603522 22
barner@fortiss.org

 Andreas Bayha

Ihr Kontakt

Andreas Bayha

+49 89 3603522 556
bayha@fortiss.org