Platzierung von Softwarekomponenten auf Mehrkernprozessoren

Automatisierte Konstruktion und Analyse für funktionssichere Systeme
1. Auflage 2015
ISBN: 978-3-658-11172-4
Verlag: Springer

Buch, Deutsch, 247 Seiten, Format (B × H): 148 mm x 210 mm, Gewicht: 346 g

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.

Zielgruppe

Research

Autoren/Hrsg.

Hilbrich, Robert

Fachgebiete

• Technische Wissenschaften Verkehrstechnik | Transportgewerbe Luft- und Raumfahrttechnik, Luftverkehr
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering

Inhaltsverzeichnis

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

Über Autor(innen)

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.