AirSTAR is a dynamically scaled remotely operated vehicle developed at NASA Langley Research Center to validate technologies under conditions that cannot be flight validated with full-scale vehicles.
NIA is conducting research, under NASA's Cooperative Agreement NNX08AE37A with Northeastern University, on the design and verification of a communication protocol between the airborne vehicle and a ground station. The protocol has been specified in formally verified in the Program Verificatio System.