Download e-book for kindle: Platzierung von Softwarekomponenten auf Mehrkernprozessoren: by Robert Hilbrich

By Robert Hilbrich

ISBN-10: 3658111720

ISBN-13: 9783658111724

ISBN-10: 3658111739

ISBN-13: 9783658111731

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 through building“ und bildet die komplexe Problematik auf ein Constraint pride challenge 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.

Show description

Read Online or Download Platzierung von Softwarekomponenten auf Mehrkernprozessoren: Automatisierte Konstruktion und Analyse für funktionssichere Systeme PDF

Best german_15 books

Download e-book for iPad: Wohnungsversorgung für unterstützungsbedürftige Haushalte: by Joachim Kirchner

Die Zahl der Sozialwohnungen wird von Jahr zu Jahr geringer: In den alten Bundesländern betrug ihre Zahl 1978 noch 4,2 Mio. (alle Förderungswege); 2002 gab es schätzungsweise nur mehr 2,1 Mio. förderrechtlich gebundene Wohnungen. Durch das Auslaufen der Sozialbindungen wird die Zahl der Sozialwohnungen vermutlich auch in Zukunft abnehmen.

Risiko Energiewende: Wege aus der Sackgasse - download pdf or read online

Der Ausstieg aus der Nutzung der Kernenergie in Deutschland wurde im Sommer 2011 im Eiltempo beschlossen. Jetzt zeigt sich, dass es keinen realistischen Plan für den Umbau der Energieversorgung in der vorgesehenen Frist von zehn Jahren gibt. Für die Umstellung unserer gesamten Stromversorgung und damit unserer Wirtschaft ist der Zeitraum zu kurz.

Spannungen in Gletschern: Verfahren zur Berechnung - download pdf or read online

In diesem Buch wird zum ersten Mal eine bislang unbekannte allgemeine Lösung der zuverlässig bekannten Spannungsbedingungen vorgestellt. Diese allgemeine Lösung bildet eine zuverlässige und neue Ausgangsbasis, um bei Spannungsberechnungen weiter zu kommen als bisher. So lassen sich annähernd realistische Lösungen finden trotz eines immer wiederkehrenden difficulties: der Informationsdefizite, die wegen der schwierigen Erkundung von Gletschern unvermeidlich sind.

Download e-book for iPad: Klimawandel und Sicherheit in der Arktis: Hintergründe, by Golo M. Bartsch

Golo M. Bartsch betrachtet die sicherheitspolitischen Auswirkungen des Klimawandels in der Arktis auf in der deutschsprachigen Forschung bislang einmalige Weise. Aus einem interdisziplinären Blickwinkel verbindet er aktuelle natur- und gesellschaftswissenschaftliche Erkenntnisse zum tiefgreifenden Wandel des Hohen Nordens miteinander und vergleicht politische Strategien der acht Anrainerstaaten, der NATO und der european.

Additional info for Platzierung von Softwarekomponenten auf Mehrkernprozessoren: Automatisierte Konstruktion und Analyse für funktionssichere Systeme

Example text

Der Ansatz von A. Metzner und C. Herde [MH06] ist hinsichtlich des prinzipiellen Vorgehens und der Modellierungstiefe der Hardwareund Softwarearchitektur mit dem vorherigen Ansatz [DME+ 06] vergleichbar. Auch hier wird die r¨ aumliche und zeitliche Platzierung von Kontrollfl¨ ussen auf Prozessoren mit eigenem Speicher in einem Schritt usse sind unterbrechbar und vorgenommen. Die periodischen Kontrollfl¨ k¨onnen untereinander u ¨ ber ein Netzwerk Nachrichten austauschen. Allerdings k¨onnen hier auch Dislokalit¨ atsgruppen von Kontrollfl¨ ussen spezifiziert werden, die nicht gemeinsam auf einem Prozessor platziert urfen.

Bei funktionssicheren eingebetteten Systemen muss eine Platzierung zudem auch die Erf¨ ullung nicht-funktionaler Anforderungen gew¨ ahrleisten. Das Ziel der Platzie- 24 2. Grundlagen rung von Softwarekomponenten bei der Entwicklung eines funktionssicheren eingebetteten Systems besteht daher sowohl im effizienten Multiplexen der verf¨ ugbaren Ressourcen als auch in der Gew¨ahrleistung der Erf¨ ullung aller relevanten funktionalen und nicht-funktionalen Anforderungen. 5. 2 vorgestellt. Es besteht in der Entwicklung eines Verfahrens zur automa” tisierten Konstruktion, Bewertung und Optimierung einer Platzierung von Softwarekomponenten“.

Jedem Kontrollfluss ist eine eigene Priorit¨ at, eine Periodendauer, eine Ausf¨ uhrungsdauer, eine Frist und ein Speicherbedarf zugeordnet. Tasks mit h¨ oherer Priorit¨at k¨onnen die Ausf¨ uhrung von Tasks mit geringerer Priorit¨at an beliebigen diskreten Zeitpunkten in ihrer Ausf¨ uhrung unterbrechen. Tasks k¨onnen untereinander Nachrichten mit einer variablen L¨ange u ¨ber eine Kommunikationsverbindung austauschen. Mit Hilfe eines erweiterten MILP Verfahrens werden bei diesem Ansatz die Platzierungen generiert.

Download PDF sample

Platzierung von Softwarekomponenten auf Mehrkernprozessoren: Automatisierte Konstruktion und Analyse für funktionssichere Systeme by Robert Hilbrich


by Edward
4.3

Rated 4.75 of 5 – based on 5 votes