A Concurrency and Time Centered Framework for Autonomous Space Systems Год выпуска: 2010Автор: Damian DechevИздательство: Страниц: 180ISBN: 9783838377339Описание 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.
Похожие книги
Bruce A. Henderson and Jorge L. Larco. Lean Transformation: How to Change Your Business into a Lean Enterprise. – М.: The Oaklea Press, 2003. – 288 с. MAROOF A. KHAN and H M ISLAM. ADVANCEMENT IN RELIABILITY MANAGEMENT. – М.: LAP Lambert Academic Publishing, 2010. – 112 с. Kris Villez,Peter A. Vanrolleghem and Christian Rosen. Data-driven analysis of sequencing batch reactors. – М.: LAP Lambert Academic Publishing, 2010. – 368 с. Hasabelrasol F.A.Elhaj and Mustafa Y.H.Dukeen. Apply Insecticide for Mosquito Control. – М.: LAP Lambert Academic Publishing, 2014. – 80 с. A.M. Sabir,A. Suhail and M. Arshad. Bumblebees and utilization of food resources in northern Pakistan. – М.: LAP Lambert Academic Publishing, 2011. – 224 с. A. Alarcon and X. Oriols. Quantum many-particle electron transport. – М.: LAP Lambert Academic Publishing, 2012. – 136 с. S. Erturk,A. Guvenis and O. Ternar. DETECTOR DESIGN FOR ANIMAL PET SYSTEMS. – М.: LAP Lambert Academic Publishing, 2010. – 176 с. Ashis Maity,R.A. Marathe and V.T. Jadhav. Exploring microbial wealth for pomegranate nutrition. – М.: LAP Lambert Academic Publishing, 2012. – 120 с. A. Ezhilarasu and G. Prabakaran. Antimicrobial and Immunomodulatory Effects of Mirabilis Jalapa L. – М.: LAP Lambert Academic Publishing, 2015. – 200 с. C.N.Hari Prasath,A. Balasubramanian and S. Radhakrishnan. Carbon Capture and Storage. – М.: LAP Lambert Academic Publishing, 2014. – 80 с. Ehab E. Elattar,Tahir A. Mohammed and Abdel Mohsen M. Kinawy. Static State Estimation for Power Systems. – М.: LAP Lambert Academic Publishing, 2014. – 132 с. Prabhadevi C. Maganur,Prabhakar A. R. and Srinivas Namineni. Beverages And Its Effect On Oral Health. – М.: LAP Lambert Academic Publishing, 2012. – 84 с. Saja Amjad,Amer A. Taqa and Nadira A. Hatim. Effect of Temperature, Time and some Additives on Denture Base Material. – М.: LAP Lambert Academic Publishing, 2011. – 168 с. Najwan F. Shehab,Assistant Prof. Nawfal A. Zakaria and Prof. Dr. Mahmoud Y. Taha. Diode laser and NaOCl as root canal disinfectant. – М.: LAP Lambert Academic Publishing, 2011. – 104 с. Bilal Zulfiqar,Muhammad Ali A Shah and Kashif Asghar. Monospecific anti-B antibody and ABO blood group. – М.: LAP Lambert Academic Publishing, 2012. – 120 с. JOLLY KABAGABE BYARUGABA,V. A Bagiire and J. K. Bagorogoza. MANAGER DEVELOPMENT AND SELF EFFICACY IN PUBLIC UNIVERSITIES IN UGANDA. – М.: LAP Lambert Academic Publishing, 2011. – 84 с. Chakravarthy A B and Muthumari K. Information and Communication Technology in Rural Businesses. – М.: LAP Lambert Academic Publishing, 2010. – 76 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Ирина (Москва) Ирина, здравствуйте. Курсовую защитила на отл. Спасибо. До следующего учебного года!
