Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Platzierung von Softwarekomponenten auf Mehrkernprozessoren

59,99 €*

Versandkostenfrei

Produktnummer: 18e6c51ee8df5a427fa0581e212fc3dc04
Autor: Hilbrich, Robert
Themengebiete: Constraint Programmierung Formale Methoden Platzierung von Softwarekomponenten Safety Systems Engineering
Veröffentlichungsdatum: 03.09.2015
EAN: 9783658111724
Sprache: Deutsch
Seitenzahl: 247
Produktart: Kartoniert / Broschiert
Verlag: Springer Fachmedien Wiesbaden GmbH
Untertitel: Automatisierte Konstruktion und Analyse für funktionssichere Systeme
Produktinformationen "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.
Bücherregal gefüllt mit juristischen Werken

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen