A Concurrency and Time Centered Framework for Autonomous Space Systems: Design and application of nonblocking programming techniques, static analysis of C++, and formal methods - Couverture souple

Dechev, Damian

 
9783838377339: A Concurrency and Time Centered Framework for Autonomous Space Systems: Design and application of nonblocking programming techniques, static analysis of C++, and formal methods
Couverture souple
ISBN 10 : 3838377338 ISBN 13 : 9783838377339
Editeur : LAP LAMBERT Academic Publishing, 2010

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Biographie de l'auteur

Damian Dechev is an Assistant Professor at the EECS Department at the University of Central Florida in Orlando, Florida. Damian completed his dissertation work in 2009 with Bjarne Stroustrup, the inventor of the C++ programming language. Damian has lead research initiatives in collaboration with NASA JPL and the Sandia National Laboratories.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
LAP LAMBERT Academic Publishing
Date d'édition
2010
Langue
anglais
ISBN 10 
3838377338
ISBN 13 
9783838377339
Reliure
Broché
Nombre de pages
180
Coordonnées du fabricant
non disponible
Personne responsable
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Allemagne