- Aktuell

- Suche

- Kontakt

Dr. Frank Ortmeier

frank

Akad. Rat

E-Mail: ortmeier@informatik.uni-augsburg.de
Telefon: +49 821 598 - 21 76


Forschungsinteressen:

Seit 2001 beschäftige ich mich mit formalen Methoden und Sicherheitsanalyse. In meiner Promotion zum Thema "Formale Sicherheitsanalyse" sind diese beiden Welten zusammengebracht worden. Das Resultat sind Methoden zur Analyse sicherheitskritischer Systeme, die wesentlich präziser und aussagekräftiger sind als herkömmliche Techniken zur Gefahreneinschätzung kritischer, eingebetteter Systeme. Eine Zusammenfassung findet sich hier.

Seit dem Jahr 2006 gilt mein Interesse auch stark dem Gebiet der Organic Computing Systeme. Diese Systeme zeichnen sich durch ihre Eigenschaften zur Selbstorganisation, -konfiguration, -heilung und -optimierung aus. Mein wesentlicher Forschungsschwerpunkt ist hier Verhaltensgarantien über Systeme abgeben zu können, obwohl diese sich zur Laufzeit rekonfigurieren können. Der zweite zentrale Aspekt in diesem Projekt ist es neue Konstruktionsprozesse für Self-X Systeme zu entwickeln bzw. bestehende Ansätze so zu erweitern, dass sie auch auf diese Klasse von Systemen angewendet werden können. Eine wesentliche Herausforderung ist es hier eine Softwarearchitektur so zu gestalten, dass Technologie aus den verschiedensten Bereich miteinander interagieren können. In dem DFG-geförderten Forschungsprojekt SAVEORCA kommen dabei momentan das Multiagentensystem JADEX, der Constraint Solver KodKod und eine service-orientierte Simulationsumgebung von Microsoft (DSS) zum Einsatz.

Im Bereich der software-orientierten Robotik leitete ich als Konsortialführer das vom StMWIVT geförderte Projekt SoftRobot. Ziel dieses Projektes ist es die Programmierung von Industrierobotern als "normale" Software Engineering Aufgabe durchzuführen. Eine besondere, wissenschaftliche Herausforderung stellt hierbei die Interaktion zwischen hart echtzeit-kritischen (Hardware-)Komponenten und einer service-orientierten Programmierung der Anwendungen. Ziel ist es eine Softwarerchitektur zu entwickeln, die es erlaubt diese Trennung durchzuführen. Die grundlegende Idee zur Lösung dieses Problems besteht darin einen kleinen Satz an grundlegenden, roboterspezifischen Programmierprimitiven festzulegen mit denen sich das echtzeitkritische Steuerungsverhalten beschreiben lässt. Die Anwendungen können dann für eine nicht echtzeit-fähigen Umgebung (im Projekt C# kompiliert in einer Windows .NET Runtime) entwickelt werden. Dadurch wird die Entwicklung von Robotikapplikationen zu einer standardisierten Aufgabe des Software Engineering (statt wie bisher eine Aufgabe die nur von Spezialisten in proprietären Programmiersprachen gelöst werden kann).

Organisatorische Tätigkeiten:

  • 2001-2003    Projektmitarbeiter im DFG-Projekt "Formal models and safety analysis" (ForMoSA)
  • 2003-2005    Projektleitung im DFG-Projekt "Formal models and safety analysis" (ForMoSA)
  • 2006-            Projektleitung im DFG-Projekt "Formal modeling, safety analysis and verification of Organic Computing applications" (SAVE ORCA)
  • 2007-           Projektleitung im StMWIVT geförderten Projekt SoftRobot
  • 2007-           Konsortialführer des StMWIVT geförderten Projekts SoftRobot (Konsortialpartner: Lehrstuhl für Softwaretechnik (Prof. Reif), KUKA Roboter GmbH, MRK Systeme GmbH)

Lehrtätigkeiten:

  • SS04: Internetsicherheit (Seminar)
  • SS05: Internetsicherheit (Seminar)
  • SS07: Modell-basierte Sicherheitsanalyse (Vorlesung - Elitestudiengang Softwaretechnik)
  • WS07/08: Systemmodellierung und Verifikation (Seminar)
  • WS07/08: Multiagentensysteme (Seminar)
  • SS08: Modell-basierte Sicherheitsanalyse (Vorlesung - Elitestudiengang Softwaretechnik)
  • SS08: Service-orientierte Programmierung mobiler Roboter (interaktive Vorlesung - Elitestudiengang Softwaretechnik)
  • SS08: Software Engineering für Organic Computing (Seminar)

Betreute Diplom-, Bachelor- und Masterarbeiten:

  • Matthias Güdemann (2005)
  • Andreas Tremmel (2006)
  • Markus Hager (2007)
  • Andreas Angerer (2008)
  • Andreas Schierl (2008)
  • Michael Vistein (2008)