Custom cover image
Custom cover image

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

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: German Series: SpringerLink BücherPublisher: Wiesbaden : Springer Vieweg, 2015Edition: 1. Aufl. 2015Description: Online-Ressource (XIII, 247 S. 33 Abb., 7 Abb. in Farbe, online resource)ISBN:
  • 9783658111731
Subject(s): Genre/Form: Additional physical formats: 9783658111724 | Erscheint auch als: Platzierung von Softwarekomponenten auf Mehrkernprozessoren. Druck-Ausgabe Wiesbaden : Springer Vieweg, 2015. XII, 247 SeitenDDC classification:
  • 004.6
RVK: RVK: ST 153 | ST 234 | ZO 8200 | ST 151LOC classification:
  • QA76.9.C643 TK5105.5-5105.9
  • QA76.9.C643
  • TK5105.5-5105.9
DOI: DOI: 10.1007/978-3-658-11173-1Online resources:
Contents:
Inhaltsverzeichnis; Abbildungsverzeichnis; Tabellenverzeichnis; 1. Einführung; 1.1. Problemstellung; 1.2. Ziel der Arbeit und eigener Beitrag; 1.3. Aufbau der Arbeit; 2. Grundlagen; 2.1. Hardwarearchitekturen funktionssicherer eingebetteter Systeme; 2.2. Softwarearchitekturen funktionssicherer eingebetteter Systeme; 2.2.1. Besonderheiten der Softwarearchitekturen in der Luft- und Raumfahrt; 2.2.2. Besonderheiten der Softwarearchitekturen im Automobilbereich; 2.3. Isolationsmechanismen für Softwarekomponenten; 2.4. Platzierung von Softwarekomponenten; 2.5. Präzisierung der Zielstellung
2.6. Zusammenfassung des Kapitels3. Verwandte Arbeiten; 3.1. Entwicklungsmethoden und Werkzeuge für komplexe Systeme; 3.2. Werkzeugunterst¨utzung bei der Softwareentwicklung für Mehrprozessorund Mehrkernprozessor-Systeme; 3.3. Automatisierte Platzierungsverfahren für Softwarekomponenten; 3.3.1. Konzeptuelle Beiträge; 3.3.2. Platzierungsverfahren in eingebetteten Systemen; 3.3.3. Platzierungsverfahren in Multiprocessor System-on-Chip Systemen; 3.3.4. Platzierungsverfahren in Großrechnern; 3.4. Vergleich der bestehenden Platzierungsverfahren
4. Beitrag zur Theorieentwicklung der Platzierung von Softwarekomponenten4.1. Bedeutung der Platzierung im Entwicklungsprozess; 4.2. Vorteile einer automatisierten Platzierung; 4.3. Korrektheit von Platzierungen; 4.3.1. Korrekte und Optimale Platzierungen; 4.3.2. Korrektheit unter Echtzeitanforderungen; 4.3.3. Korrektheit unter Zuverlässigkeitsanforderungen; 4.4. Vorgehen zur Konstruktion einer Platzierung; 4.4.1. Anforderungen an ein Entwicklungsvorgehen; 4.4.2. Vorstellung eines Vorgehensmodells zur Platzierung von Softwarekomponenten; 4.4.3. Erfüllung der Anforderungen
4.5. Zusammenfassung des Kapitels5. Automatisierung der räumlichen Platzierung; 5.1. Aufgabenstellung und Lösungsansatz; 5.2. Eingabe- und Ausgabedaten; 5.2.1. Eingabedaten; 5.2.2. Ausgabedaten; 5.3. Synthese von räumlichen Platzierungen; 5.3.1. Grundlegende Modellierung des Systems; 5.3.2. Belegung der Rechenzeit auf den Prozessoren; 5.3.3. Belegung von RAM und ROM Kapazitäten; 5.3.4. Einhaltung von Performance-Anforderungen; 5.3.5. Einhaltung der Kritikalitätsstufen; 5.3.6. Einhaltung von Zuverlässigkeitsanforderungen; 5.3.7. " Unterschiedlichkeit" von Lösungen
5.3.8. Berücksichtigung von Geräteabhängigkeiten5.4. Strategien zur Optimierung der Suche; 5.4.1. Strategie 1: Sortierung der Lösungsvariablen; 5.4.2. Strategie 2: Heterogene Lösungen; 5.5. Bewertung von räumlichen Platzierungen; 5.5.1. Einführung eines Sortierkriteriums; 5.5.2. Bewertung von Qualitätseigenschaften; 5.5.3. Berechnung eines " Scores"; 5.5.4. Beispiele für Metriken; 5.6. Zusammenfassung des Kapitels; 6. Automatisierung der zeitlichen Platzierung; 6.1. Aufgabenstellung und Lösungsansatz; 6.2. Eingabe- und Ausgabedaten; 6.2.1. Eingabedaten; 6.2.2. Ausgabedaten
6.3. Synthese von zeitlichen Platzierungen
Summary: 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. Der Inhalt Formalisierung und Operationalisierung von Zuverlässigkeits- und Echtzeitanforderungen einer Platzierung Modellierung der Platzierungsproblematik als Constraint Satisfaction Problem Analyse und Bewertung von Platzierungen Die Zielgruppen Dozierende und Studierende der Informatik und Ingenieurwissenschaften Praktiker aus dem Bereich der Entwicklung von funktionssicheren Systemen Der Autor 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. .PPN: PPN: 165786619XPackage identifier: Produktsigel: ZDB-2-SEB | ZDB-2-STI
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT