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
• 期刊: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS
• 作者: Ore, John-Paul;Elbaum, Sebastian;Detweiler, Carrick
• 通讯作者: Detweiler, Carrick