SHF:Small: Holistic Analysis: integrating the semantics of the world and the code

SHF:Small：整体分析：整合世界语义和代码

• 批准号: 1718040
• 负责人: Sebastian Elbaum
• 金额: $ 48.47万
• 依托单位: University of Nebraska-Lincoln
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-08-01 至 2019-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1718040&HistoricalAwards=false
• 关键词: SHF; Small; Holistic; Analysis; integrating

Systems interacting with the physical world (e.g., robots, embedded systems, cyber-physical systems) depend on the interplay of code and the physical environment. Yet, techniques and tools to support quality assurance efforts on such systems typically decouple code from the physical world to simplify the process. This research effort attempts to unlock the potential of reuniting these separate worlds, integrating the rules of the physical world with the logic of code to improve the quality of the systems we build.The key intellectual challenges of this investigation include: 1) integrating the rules of the physical world into program analysis to help developers identify faults associated with the manipulation of physical units; 2) incorporating physical attributes manifested in code into simulation scenarios so that system designers can better explore the interplay between physical software and potential environments; and 3) inserting spatial reasoning into program analysis to help developers understand and verify how a system may translate and rotate in space over time. These efforts impact research communities by generating artifacts and tools currently lacking at the intersection of the software engineering and robotic communities, preparing several graduate students including those from underrepresented groups, and developing case studies on the faults and failures present in such systems to assist instructors, students, and practitioners to cultivate an informed perspective about the unique challenges these systems bring. The longer, broader aim is to improve the quality of these systems that increasingly affect all aspects of society.

与物理世界交互的系统（例如机器人、嵌入式系统、网络物理系统）取决于代码和物理环境的相互作用。然而，支持此类系统质量保证工作的技术和工具通常将代码与物理世界分离以简化流程。这项研究工作试图释放重新统一这些独立世界的潜力，将物理世界的规则与代码逻辑相结合，以提高我们构建的系统的质量。这项研究的关键智力挑战包括：1）整合规则将物理世界的信息融入程序分析中，以帮助开发人员识别与物理单元操作相关的故障； 2）将代码中体现的物理属性融入到模拟场景中，以便系统设计者能够更好地探索物理软件与潜在环境之间的相互作用； 3) 将空间推理插入程序分析中，以帮助开发人员理解和验证系统如何随时间在空间中平移和旋转。 这些努力通过生成软件工程和机器人社区目前缺乏的工件和工具来影响研究社区，培养包括来自代表性不足群体的研究生在内的几名研究生，并对此类系统中存在的故障和故障进行案例研究以协助教师，学生和从业者培养对这些系统带来的独特挑战的知情视角。 更长期、更广泛的目标是提高这些系统的质量，这些系统日益影响社会的各个方面。

项目成果

Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code

代码和 ROS 消息中的维度不一致：对 590 万行代码的研究

• DOI: 10.1109/iros.2017.8202229
• 发表时间: 2017-09
• 期刊: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS
• 作者: Ore, John;Elbaum, Sebastian;Detweiler, Carrick
• 通讯作者: Detweiler, Carrick