AirSTAR Research

AirSTAR is a dynamically scaled remotely operated vehicle developed at NASA Langley Research Center to validate technologies under conditions that cannot be validated during flight with full-scale vehicles.

Research has been conducted at the National Institute of Aerospace (NIA), 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 Verification System.

Downloads

• Specification and Verification in PVS 5.0.

Publications

• Alwyn Goodloe and César Muñoz, Compositional Verification of a Communication Protocol for a Remotely Operated Aircraft, Science of Computer Programming, DOI: 10.1016/j.scico.2011.10.011, 2011. BibTeX Reference. This paper is an extended version of the conference publication in Lecture Notes in Computer Science, Volume 5825, November 2009.
• Alwyn Goodloe and César Muñoz, Design and Verification of a Distributed Communication Protocol, Lecture Notes in Computer Science, Volume 5825, November 2009. BibTeX Reference.
  A preliminary version appears as Contractor Report, NASA/CP-2009-215703, April 2009. BibTeX Reference.

The tag identifies links that are outside the NASA domain