Google Suche
Prof. Dr.-Ing. habil. Armin Zimmermann
Fachgebietsleiter
E-Mail: Armin.Zimmermann@TU-Ilmenau.De
Telefon (Sekretariat): +49 3677 69-2767
Informatiksysteme in technischen Anwendungen sind heute zunehmend komplex und heterogen. Ihr Betrieb und Entwurf sind aufwändig und stehen unter einem hohen Kosten- und Zeitdruck. Dies gilt für eingebettete Systeme genauso wie für Roboter, Mikroprozessoren oder Automatisierungssysteme.
Dabei spielen neben funktionalen Anforderungen wie Korrektheit durch die Einbettung in eine technische Umgebung auch Fragen der Leistungsfähigkeit, Sicherheit und Fehlertoleranz eine wichtige Rolle. Derartige nichtfunktionale bzw. quantitative Eigenschaften können bei nichttrivialen Systemen nur durch rechnergestützte Methoden anhand eines Modells untersucht, nachgewiesen und ggf. optimiert werden.
Ziel der Forschungsarbeiten ist es, den Entwurf und Betrieb von komplexen Systemen der Technischen Informatik modellbasiert zu unterstützen. Die zunehmende Komplexität der Anwendungen, ihre Verteiltheit, der Einfluss von Ausfällen und die Verschiebung des Aufwands von der Hardware hin zur Software machen spezielle Methoden der Software- und Systemkonstruktion notwendig.
Der Fokus der wissenschaftlichen Arbeit im Bereich System- und Software-Engineering komplexer Systeme am Lehrstuhl liegen auf den folgenden Gebieten: