Blick ins Buch

Platzierung von Softwarekomponenten auf Mehrkernprozessoren

Automatisierte Konstruktion und Analyse für funktionssichere Systeme

Robert Hilbrich (Autor)

Buch | Softcover

XIII, 247 Seiten

2015 | 1. Aufl. 2015
Springer Fachmedien Wiesbaden GmbH (Verlag)
978-3-658-11172-4 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

Erscheinungsdatum	17.02.2016
Zusatzinfo	XIII, 247 S. 33 Abb., 7 Abb. in Farbe.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	148 x 210 mm
Gewicht	345 g
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
	Informatik ► Weitere Themen ► Hardware
Schlagworte	Computer Science • Computing Methodologies • Constraint Programmierung • Formale Methoden • Platzierung von Softwarekomponenten • Safety • Software • Systems Engineering
ISBN-10	3-658-11172-0 / 3658111720
ISBN-13	978-3-658-11172-4 / 9783658111724
Zustand	Neuware