TY - GEN
T1 - Experiences with a requirements-based programming approach to the development of a NASA autonomous ground control system
AU - Rash, James L.
AU - Hinchey, Michael G.
AU - Gračanin, Denis
AU - Rouff, Christopher A.
AU - Erickson, John
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=28344449073&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:28344449073
SN - 0769523080
SN - 9780769523088
T3 - Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
SP - 490
EP - 497
BT - Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
A2 - Rozenblit, J.
A2 - O'Neill, T.
A2 - Peng, J.
T2 - Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
Y2 - 4 April 2005 through 7 April 2005
ER -