A concurrency and time centered framework for autonomous space systems

Rubriek: Textual/Printed/Reference Materials - Boek

Prijs: € 68.99

Rating: 0/5

☆

☆

☆

☆

☆

Verzending:
2 - 3 weken

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.

• 1 Bekijk alle specificaties

Taal: en

Bindwijze: Paperback

Oorspronkelijke releasedatum: 08 juli 2010

Aantal pagina's: 180

Illustraties: Nee

Hoofdauteur: Damian Dechev

Hoofduitgeverij: Lap Lambert Academic Publishing

Extra groot lettertype: Nee

Product breedte: 152 mm

Product hoogte: 10 mm

Product lengte: 229 mm

Studieboek: Ja

Verpakking breedte: 152 mm

Verpakking hoogte: 11 mm

Verpakking lengte: 229 mm

Verpakkingsgewicht: 272 g

EAN: 9783838377339

---