Small, light flying robots designed for use in pressurized space environments.  Main propulsion should be fans (though there may be problems with micro-gravity and inertial moments of fans).  The first phase systems will use micro-controller development platforms (probably Arduino); later phases may transition to faster ARM architectures.  The intent is sensing, so cameras, temp/humidity/pressure, light, etc. sensors are fair game.