Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications

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

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.