О том, как устроена архитектура софтвера, управляющего марсоходом Curiosity.
K. Havelund, A. Groce, M. Smith, H. Barringer - Monitoring the Execution of Space Craft Flight Software
А так же: Jet Propulsion Laboratory - Стандарт программирования на С JPL - это институт, который разрабатывал данный софт.
взято со StackExchange