Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System
- Gracanin, Denis
- Physical Description:
- 1 electronic document
- Additional Creators:
- Hinchey, Michael G., Erickson, John, Rouff, Christopher A., and Rash, James L.
- Restrictions on Access:
- Unclassified, Unlimited, Publicly available. and Free-to-read Unrestricted online access
- 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.
- NASA Technical Reports Server (NTRS) Collection.
- Document ID: 20050179382., IEEE Conference o Engineering Computer Based Systems (ECBS-05); 6 Apr. 2005; Greenbelt, MD; United States., and EASe-05 Workshop on Engineering Autonomic Systems; 6 Apr. 2005; Greenbelt, MD; United States.
- Copyright, Distribution as joint owner in the copyright.
View MARC record | catkey: 15963463