-
Anglický jazyk
A Concurrency and Time Centered Framework for Autonomous Space Systems
Autor: Damian Dechev
Future robotic space missions suggest the engineering of some of the most complex man-rated autonomous software systems. Time and concurrency are the most critical notions in an autonomous embedded system. In this work we present the design and implementation... Viac o knihe
Na objednávku
66.50 €
bežná cena: 70.00 €
O knihe
Future robotic space missions suggest the engineering of some of the most complex man-rated autonomous software systems. Time and concurrency are the most critical notions in an autonomous embedded system. In this work we present the design and implementation of the first concurrency and time centered framework for design and certification of autonomous space systems. We achieve this by implementing and applying a number of innovative techniques for lock-free concurrent synchronization and utilizing advanced program static analysis and formal verification.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2010
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Anglický jazyk
- ISBN: 9783838377339
Nemecký jazyk 
