Institut

Lehre

Abschlussarbeiten

Forschung

Mitarbeiter

Aktuelles


 

IMONIK: Automatischer Entwurf von Avioniksystemen

Das IMONIK-Projekt beschäftigt sich mit der Automatisierung einiger typischer Aufgaben beim Entwurf von Avioniksystemen. Kernstück ist die automatische Sicherheitsberechnung, die das bisherige manuelle Aufstellen von Fehlerbäumen ersetzen soll. Darauf aufbauend sollen einige Entwurfsaufgaben wie Platzierung von Funktionen auf Rechnermodulen, Verlegen von Kabeln et cetera automatisiert werden. Damit sinnvolle Systeme produziert werden, werden bei diesem automatischen Entwurf die Kosten als Zielfunktion optimiert und die Sicherheit geprüft.

screen shot

 
Wir haben mittlerweile einen komfortablen Software-Demonstrator implementiert, und mit diesem mehrere Systeme beispielhaft modelliert, analysiert und den automatischen Entwurf getestet.

Industriepartner

Das Projekt wird in Zusammenarbeit mit Airbus Hamburg durchgeführt.

Ansprechpartner

Uwe Salomon
Zimmer 2.230

+49 (0)711 685-67121