國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Platzierung von Softwarekomponenten auf Mehrkernprozessoren/ von Robert Hilbrich.
其他題名:	Automatisierte Konstruktion und Analyse für funktionssichere Systeme /
作者:	Hilbrich, Robert.
面頁冊數:	XIII, 247 S. 33 Abb., 7 Abb. in Farbe.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer organization. -
電子資源:	https://doi.org/10.1007/978-3-658-11173-1
ISBN:	9783658111731

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

Platzierung von Softwarekomponenten auf MehrkernprozessorenAutomatisierte Konstruktion und Analyse für funktionssichere Systeme /[electronic resource] :von Robert Hilbrich. - 1st ed. 2015. - XIII, 247 S. 33 Abb., 7 Abb. in Farbe.online resource.

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. .

ISBN: 9783658111731

Standard No.: 10.1007/978-3-658-11173-1doiSubjects--Topical Terms:

596298
Computer organization.

LC Class. No.: QA76.9.C643

Dewey Class. No.: 004.6

Platzierung von Softwarekomponenten auf Mehrkernprozessoren = Automatisierte Konstruktion und Analyse für funktionssichere Systeme /
LDR:02714nam a22003495i 4500 001 966994
003 DE-He213
005 20200714072645.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|ger d
020 $a 9783658111731 $9 978-3-658-11173-1
024 7 $a 10.1007/978-3-658-11173-1 $2 doi
035 $a 978-3-658-11173-1
050 4 $a QA76.9.C643
050 4 $a TK5105.5-5105.9
072 7 $a UT $2 bicssc
072 7 $a COM043000 $2 bisacsh
072 7 $a UT $2 thema
082 0 4 $a 004.6 $2 23
100 1 $a Hilbrich, Robert. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1262625
245 1 0 $a Platzierung von Softwarekomponenten auf Mehrkernprozessoren $h [electronic resource] : $b Automatisierte Konstruktion und Analyse für funktionssichere Systeme / $c von Robert Hilbrich.
250 $a 1st ed. 2015.
264 1 $a Wiesbaden : $b Springer Fachmedien Wiesbaden : $b Imprint: Springer Vieweg, $c 2015.
300 $a XIII, 247 S. 33 Abb., 7 Abb. in Farbe. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
520 $a 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. .
650 0 $a Computer organization. $3 596298
650 0 $a Software engineering. $3 562952
650 0 $a Artificial intelligence. $3 559380
650 1 4 $a Computer Systems Organization and Communication Networks. $3 669309
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 2 4 $a Artificial Intelligence. $3 646849
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783658111724
856 4 0 $u https://doi.org/10.1007/978-3-658-11173-1
912 $a ZDB-2-STI
950 $a Computer Science and Engineering (German Language) (SpringerNature-11774)