Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System

  • Authors:

  • James L. Rash;Michael G. Hinchey;Christopher A. Rouff;Denis Gracanin;John Erickson

  • Affiliations:

  • NASA Goddard Space Flight Center;NASA Goddard Space Flight Center;SAIC;Virginia Tech;University of Texas at Austin

  • Venue:
  • ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Requirements-to-Design-to-Code (R2D2C) is an approach to the engineering of computer-based systems that embodies the idea of requirements-based programming in system development. It goes further, however, in that the approach offers not only an underlying formalism, but full formal development from requirements capture through to the automatic generation of provably-correct code. As such, the approach has direct application to the development of systems requiring autonomic properties. We describe a prototype tool to support the method, and illustrate its applicability to the development of LOGOS, a NASA autonomous ground control system, which exhibits autonomic behavior. Finally, we briefly discuss other areas where the approach and prototype tool are being considered for application.