{"product_id":"a-concurrency-and-time-centered-framework-for-autonomous-space-systems-von-damian-dechev","title":"A Concurrency and Time Centered Framework for Autonomous Space Systems","description":"\u003cp\u003eFuture 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783838377339\"\u003e\u003ch3\u003eDesign and application of nonblocking programming techniques, static analysis of C++, and formal methods\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783838377339","offer_id":39469235404893,"sku":"9783838377339","price":68.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/d0fe9514-0469-4617-a796-baf8d73ed508.jpg?v=1758087242","url":"https:\/\/shop.autorenwelt.de\/products\/a-concurrency-and-time-centered-framework-for-autonomous-space-systems-von-damian-dechev","provider":"Autorenwelt Shop","version":"1.0","type":"link"}