CRI: CI-New: Collaborative Research: Extensible, Software Enabled Unmanned Aerial Vehicles

CRI：CI-New：协作研究：可扩展、软件支持的无人机

• 批准号: 1823260
• 负责人: Yu David Liu
• 金额: $ 36.63万
• 依托单位: SUNY at Binghamton
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-10-01 至 2022-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1823260&HistoricalAwards=false
• 关键词: CRI; CI; New; Collaborative; Research

Unmanned aerial vehicles (UAVs) are an emerging computing platform increasingly becoming common in our society. Unfortunately, most UAV systems today are either proprietary, or specific to goals of aviation and robotic missions. This project will develop an open-source and extensible software infrastructure for UAVs to promote research and education of this exciting technology.The proposal will result in an infrastructure to allow for extensible UAV software design across the computing stack, spanning operating systems (OS), virtual machines (VM), compilers, programming languages, and applications. This significantly shifts the focus of state of the art of UAV software where refined support is limited to hardware drivers and robotics control, OS/VM support is primitive, and high-level Application Programming Interface is minimal. The resulting infrastructure will promote whole-stack extensibility, portability, resource awareness, and application friendliness of UAV systems. The infrastructure will enable researchers from non-UAV specific domains to conduct research on the platform.The infrastructure will impact researchers spanning areas of avionics, robotics, real-time systems, programming languages, and software engineering. Other beneficiaries of the proposed infrastructure include students and UAV users. The technologies developed under this award will provide training and research opportunities for Ph.D. students, master's students, and advanced undergraduates in UAV education. UAVs, robotics, and aviation are interesting and exciting to k-12 students. The artifacts from this project will be tailored for student outreach.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

无人驾驶汽车（UAV）是一个新兴的计算平台，在我们的社会中越来越普遍。不幸的是，当今大多数无人机系统都是专有的，或者特定于航空和机器人任务的目标。该项目将为无人机开发一个开源和可扩展的软件基础设施，以促进对这项令人兴奋的技术的研究和教育。该提案将导致基础架构允许在整个计算机堆栈中进行可扩展的无人机软件设计，跨越操作系统（OS），虚拟机（VM），编译器，编程语言以及应用程序。这显着转移了无人机软件的艺术状态的重点，在这种情况下，精制支持仅限于硬件驱动程序和机器人控制，OS/VM支持是原始的，高级应用程序编程界面的界面很小。由此产生的基础架构将促进无人机系统的全部堆栈可扩展性，可移植性，资源意识和应用友好性。基础架构将使来自非UAV特定领域的研究人员能够在平台上进行研究。基础架构将影响跨越航空电子，机器人技术，实时系统，编程语言和软件工程领域的研究人员。拟议的基础设施的其他受益人包括学生和无人机用户。根据该奖项开发的技术将为博士提供培训和研究机会。学生，硕士学生和无人机教育的高级本科生。无人机，机器人技术和航空对K-12学生来说很有趣，而且令人兴奋。该项目的工件将针对学生宣传量身定制。该奖项反映了NSF的法定任务，并被认为是值得通过基金会的知识分子优点和更广泛影响的评论标准来评估的。

项目成果

Understanding Bounding Functions in Safety-Critical UAV Software

了解安全关键型无人机软件中的边界功能

• DOI: 10.1109/icse43902.2021.00119
• 发表时间: 2021
• 期刊: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE
• 作者: Liang, Xiaozhou;Burns, John Henry;Sanchez, Joseph;Dantu, Karthik;Ziarek, Lukasz;Liu, Yu David
• 通讯作者: Liu, Yu David

Adaptive Variables for Declarative UAV Planning

• DOI: 10.1145/3422584.3422763
• 发表时间: 2020-07
• 期刊: Proceedings of the 12th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
• 作者: John Henry Burns;Xiaozhou Liang;Yu David Liu