Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications

协作研究：支持可靠 RTSJ 应用程序的程序分析技术

• 批准号: 0429141
• 负责人: John Hatcliff
• 金额: $ 11.25万
• 依托单位: Kansas State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-09-15 至 2007-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0429141&HistoricalAwards=false
• 关键词: Collaborative; Research; Program; Analysis; Techniques

As part of the joint NSF/NASA High-Dependability Computing and CommunicationSystems Research effort, this project is developing, adapting and integrating a variety of program analysis techniques for the Real-timeSpecification for Java (RTSJ). RTSJ is an emerging language extensionfor Java that is designed for implementing concurrent time-criticalembedded software, for example, the control software on NASA'srobotic Mars rovers. This type of software is notoriously difficult totest and debug, and the model-checking, light-weight static and dynamicanalysis techniques being developed as part of this project promise toidentify bugs before software is deployed to the field and to producesystems that function more reliably.A cornerstone of this project is the use of controlled experimentation to judge the effectiveness of new analysis techniques. As part of this effort, RTSJ programs and experimental frameworks will be developed that supportrepeatable experimentation for determining analysis performance and the precision of analysis results. Experiment findings will drive the refinement ofanalysis techniques. Case studies using NASA testbed software will serveto evaluate the scalability and applicability to NASA-relevant softwarechallenges.If successful, this project promises to provide developers of next generation real-time embedded software, both at NASA and throughout the embeddedsystems domain, with a suite of powerful quality-assurance tools that will allow them to more cost-effectively produce higher-quality systems.Given the pace at which software is being embedded in our society'sinfra-structure, this could have broad impacts on the degree to which we can rely on such systems.

作为NSF/NASA高可靠性计算和通信系统研究联合工作的一部分，该项目正在为Java实时规范(RTSJ)开发、调整和集成各种程序分析技术。RTSJ是一种新兴的Java语言扩展，设计用于实现并发的时间关键型嵌入式软件，例如NASA的机器人火星漫游车上的控制软件。众所周知，这种类型的软件很难测试和调试，作为该项目的一部分，正在开发的模型检查、轻量级静态和动态分析技术承诺在软件部署到现场之前识别错误，并生产功能更可靠的系统。该项目的一个基石是使用受控实验来判断新分析技术的有效性。作为这项工作的一部分，将开发RTSJ程序和实验框架，以支持用于确定分析性能和分析结果精度的可重复实验。实验结果将推动分析技术的改进。使用NASA试验床软件的案例研究将用于评估NASA相关软件挑战的可扩展性和适用性。如果成功，该项目有望为NASA和整个嵌入式系统领域的下一代实时嵌入式软件的开发人员提供一套强大的质量保证工具，使他们能够更具成本效益地生产更高质量的系统。考虑到软件嵌入到我们社会的基础结构中的速度，这可能会对我们对此类系统的依赖程度产生广泛的影响。