A Concurrency and Time Centered Framework for Autonomous Space Systems: Design and Application of Nonblocking Programming Techniques, Static Analysis of C++, and Formal Methods - Damian Dechev - Books - LAP LAMBERT Academic Publishing - 9783838377339 - July 8, 2010
In case cover and title do not match, the title is correct

Damian Dechev
A Concurrency and Time Centered Framework for Autonomous Space Systems: Design and Application of Nonblocking Programming Techniques, Static Analysis of C++, and Formal Methods

Price
HK$ 491
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 31 - Aug 6
Get notified about new Damian Dechev releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 8, 2010
ISBN13 9783838377339
Publishers LAP LAMBERT Academic Publishing
Pages 180
Dimensions 225 × 10 × 150 mm   ·   286 g
Language German  

See all of Damian Dechev ( e.g. Paperback Book )