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

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

基本信息

批准号：
1853374
负责人：
Sebastian Elbaum
金额：
$ 41.6万
依托单位：
University of Virginia Main Campus
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2018
资助国家：
美国
起止时间：
2018-08-01 至 2021-07-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1853374&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）将空间推理插入程序分析中，以帮助开发人员了解并验证系统如何随时间变化和旋转。这些努力通过在软件工程和机器人社区的交集中生成目前缺乏的工件和工具来影响研究社区，为几位研究生做好准备，包括来自代表性不足的群体的研究生，以及有关此类系统中存在的故障和失败的案例研究，以帮助教师，学生和练习者在这些系统中培养这些挑战的信息，以帮助这些系统带来这些挑战。更广泛的目标是提高这些系统越来越多地影响社会各个方面的质量。

项目成果

期刊论文数量（11）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Phys: probabilistic physical unit assignment and inconsistency detection

DOI：
10.1145/3236024.3236035
发表时间：
2018-10
期刊：
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
影响因子：
0
作者：
Sayali Kate;J. Ore;X. Zhang;Sebastian G. Elbaum;Zhaogui Xu
通讯作者：
Sayali Kate;J. Ore;X. Zhang;Sebastian G. Elbaum;Zhaogui Xu

Assessing the Type Annotation Burden

DOI：
10.1145/3238147.3238173
发表时间：
2018-09
期刊：
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)
影响因子：
0
作者：
J. Ore;Sebastian G. Elbaum;Carrick Detweiler;Lambros Karkazis
通讯作者：
J. Ore;Sebastian G. Elbaum;Carrick Detweiler;Lambros Karkazis

World-in-the-Loop Simulation for Autonomous Systems Validation

DOI：
10.1109/icra48506.2021.9561240
发表时间：
2021-05
期刊：
2021 IEEE International Conference on Robotics and Automation (ICRA)
影响因子：
0
作者：
Carl Hildebrandt;Sebastian G. Elbaum
通讯作者：
Carl Hildebrandt;Sebastian G. Elbaum

Towards code-aware robotic simulation: vision paper

迈向代码感知机器人模拟：愿景论文

DOI：
10.1145/3196558.3196566
发表时间：
2018
期刊：
Proceeding RoSE '18 Proceedings of the 1st International Workshop on Robotics Software Engineering
影响因子：
0
作者：
Ore, John-Paul;Detweiler, Carrick;Elbaum, Sebastian
通讯作者：
Elbaum, Sebastian

Automated Environment Reduction for Debugging Robotic Systems

用于调试机器人系统的自动环境减少