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

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 komp...
Ausführliche Beschreibung

Gespeichert in:
Autor*in:

Hilbrich, Robert [verfasserIn]

Format:

E-Book

Sprache:

Deutsch

Erschienen:

Wiesbaden: Springer Vieweg ; 2015

Ausgabe:

1. Aufl. 2015

Schlagwörter:

Mehrkernprozessor / Eingebettetes System / Funktionssicherheit / Requirements engineering / Komponente, Software / Kontrollfluss / Mapping-Problem / Scheduling / Constraint-Erfüllung / Vorgehensmodell

Mehrkernprozessor / Eingebettetes System / Funktionssicherheit / Requirements engineering / Komponente, Software / Kontrollfluss

Schlagwörter:

Computer science

Computer network architectures

Electronic data processing

Computer Science

Software engineering

Computer organization.

Artificial intelligence.

Formangabe:

Hochschulschrift

Systematik:

Anmerkung:

Description based upon print version of record

Umfang:

Online-Ressource (XIII, 247 S. 33 Abb., 7 Abb. in Farbe, online resource)

Weitere Ausgabe:

Erscheint auch als Druck-Ausgabe Hilbrich, Robert: Platzierung von Softwarekomponenten auf Mehrkernprozessoren - Wiesbaden : Springer Vieweg, 2015

Reihe:

SpringerLink ; Bücher

Links:

Link aufrufen
Link aufrufen
Volltext
Cover

ISBN:

978-3-658-11173-1

DOI / URN:

10.1007/978-3-658-11173-1

Katalog-ID:

165786619X

Nicht das Richtige dabei?

Schreiben Sie uns!