Hilbrich | Platzierung von Softwarekomponenten auf Mehrkernprozessoren | E-Book | www.sack.de
E-Book

E-Book, Deutsch, 247 Seiten

Reihe: Computer Science and Engineering (German Language)

Hilbrich Platzierung von Softwarekomponenten auf Mehrkernprozessoren

Automatisierte Konstruktion und Analyse für funktionssichere Systeme
1. Auflage 2015
ISBN: 978-3-658-11173-1
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Automatisierte Konstruktion und Analyse für funktionssichere Systeme

E-Book, Deutsch, 247 Seiten

Reihe: Computer Science and Engineering (German Language)

ISBN: 978-3-658-11173-1
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

Hilbrich Platzierung von Softwarekomponenten auf Mehrkernprozessoren jetzt bestellen!

Autoren/Hrsg.

Hilbrich, Robert
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.