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

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

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.