Platzierung von Softwarekomponenten auf Mehrkernprozessoren

In dieser Arbeit wird ein modellbasiertes Verfahren zur automatisierten Platzierung von Softwarekomponenten unter Berücksichtigung der Echtzeit- und Zuverlässigkeitsanforderungen in der Luft- und Raumfahrt vorgestellt. Es orientiert sich am Leitmotiv -Correctness by Construction- und bildet die komplexe Problematik auf ein Constraint Satisfaction Problem ab. Das Verfahren wird als Softwarewerkzeug realisiert und dessen Einsatz anhand von zwei Fallbeispielen aus der Luft- und Raumfahrt demonstriert. Der Autor zeigt, dass diese aufwändige und fehlerträchtige Aufgabe automatisierbar ist, sodass korrekte Platzierungen für Systeme realer Größe innerhalb weniger Minuten auf regulären Desktop-Computern konstruiert werden können.

Robert Hilbrich arbeitet als Gruppenleiter beim Deutschen Zentrum für Luft- und Raumfahrt e.V. in Berlin-Adlershof. Seine  Forschungsinteressen liegen bei der Entwicklung funktionssicherer eingebetteter Systeme - insbesondere im Bereich der Luft- und Raumfahrt.

Beitrag zur Theorieentwicklung der Platzierung.- Automatisierung der räumlichen Platzierung.- Automatisierung der zeitlichen Platzierung.- Fallbeispiele.- Zusammenfassung undAusblick.