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

被引：6
作者：
Rash, James L. [1 ]
Hinchey, Michael G. [1 ]
Rouff, ChristopherA. [2 ]
Gracanin, Denis [3 ]
Erickson, John [4 ]
机构：
[1] NASA, Goddard Space Flight Ctr, Greenbelt, MD 20771 USA
[2] SAIC, Mclean, VA USA
[3] Virginia Tech, Blacksburg, VA USA
[4] Univ Texas Austin, Austin, TX 78712 USA
来源：
ARTIFICIAL INTELLIGENCE REVIEW | 2006年 / 25卷 / 04期
基金：
美国国家航空航天局;
关键词：
validation; verification; formal methods; automatic code generation; NASA; autonomous systems; autonomic systems;
D O I：
10.1007/s10462-007-9029-2
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：285 / 297
页数：13
相关论文
共 25 条
[1]  
Bauer F. L., 1980, Software Engineering. Proceedings of the Software Engineering Workshop, P1
[2]   7 MORE MYTHS OF FORMAL METHODS [J].
BOWEN, JP ;
HINCHEY, MG .
IEEE SOFTWARE, 1995, 12 (04) :34-41
[3]  
GASLING J, 2000, JAVA LANGUAGE SPECIF
[4]   From play-in scenarios to code: An achievable dream [J].
Harel, D .
COMPUTER, 2001, 34 (01) :53-+
[5]  
HAREL D, 2004, ISOLA04 1 INT C LEV
[6]  
Hinchey M., 2004, TM2005212774 NASA GO
[7]  
Hinchey M.G., 1999, IND STRENGTH FORMAL
[8]  
Hinchey M.G., 1995, CONCURRENT SYSTEMS F
[9]  
HINCHEY MG, 2005, P IEEE WORKSH INFORM
[10]  
HINCHEY MG, 2005, P IEEE INT C WORKSH
123