A requirements-based programming approach to developing a NASA autonomous ground control system

Authors:
James L. Rash;Michael G. Hinchey;Christopher A. Rouff;Denis Gračanin;John Erickson
Affiliations:
NASA Goddard Space Flight Center, Greenbelt, USA;NASA Goddard Space Flight Center, Greenbelt, USA;SAIC, McLean, USA;Virginia Tech, Blacksburg, USA;University of Texas at Austin, Austin, USA
Venue:
Artificial Intelligence Review
Year:
2006

Citing 0
Cited 2

Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications

Journal of Systems and Software
Toward a flexible control design framework to automatically generate control code for mechatronic systems

ACC'09 Proceedings of the 2009 conference on American Control Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

A new requirements-based programming approach to the engineering of computer-based systems offers not only an underlying formalism, but also full formal development from requirements capture through to the automatic generation of provably-correct code. The method, Requirements-to-Design-to-Code (R2D2C), is directly applicable to the development of autonomous systems and systems having autonomic properties. We describe both the R2D2C method and a prototype tool that embodies the method, and illustrate the applicability of the method by describing how the prototype tool could be used in the development of LOGOS, a NASA autonomous ground control system that exhibits autonomic behavior. Finally, we briefly discuss other possible areas of application of the approach.