We are working in collaboration with Morehead State University and NASA's Goddard Space Flight Center on a 6U CubeSat that will orbit the moon and study lunar volatiles. In particular the spacecraft will look for water in all its phases. Accordingly the mission is informally called "Lunar IceCube."
This mission involves a number of interesting technologies. For example: an iodine ion thruster being developed by Busek, an infrared spectrometer (the science instrument) being developed by Goddard, a radio being developed by JPL, and interaction with NASA's Deep Space Network.
Our role in this mission is the construction of the flight control software, using and extending the SPARK/Ada technologies we employed in our BasicLEO mission. Because of its mission critical nature, it is imperative that the flight control software be robust. We aim to demonstrate the effectiveness of SPARK at helping us achieve our reliability goals.