Robert Hilbrich
Springer Fachmedien Wiesbaden
e druk, 2015
9783658111724
Platzierung von Softwarekomponenten auf Mehrkernprozessoren
Automatisierte Konstruktion und Analyse für funktionssichere Systeme
Specificaties
Paperback, blz.
|
Duits
Springer Fachmedien Wiesbaden |
e druk, 2015
ISBN13: 9783658111724
Rubricering
Juridisch
:
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9783658111724
Taal:Duits
Bindwijze:paperback
Uitgever:Springer Fachmedien Wiesbaden
Hoofdrubriek:Netwerken, Computer en informatica
Inhoudsopgave
Beitrag zur Theorieentwicklung der Platzierung.- Automatisierung der räumlichen Platzierung.- Automatisierung der zeitlichen Platzierung.- Fallbeispiele.- Zusammenfassung undAusblick.
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht