CRI: CI-New: Collaborative Research: Extensible, Software Enabled Unmanned Aerial Vehicles
CRI: CI-New: Collaborative Research: Extensible, Software Enabled Unmanned Aerial Vehicles
批准号:
1823230
负责人:
Lukasz Ziarek
金额:
$55.09万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-10-01 至 2022-09-30
中文摘要
无人机(UAV)是一种新兴的计算平台,在我们的社会中越来越普遍。不幸的是,今天的大多数无人机系统要么是专有的,要么是专门针对航空和机器人任务的目标。该项目将为无人机开发一个开源和可扩展的软件基础设施,以促进对这项令人兴奋的技术的研究和教育。该提议将产生一个基础设施,允许跨计算堆栈、跨越操作系统(OS)、虚拟机(VM)、编译器、编程语言和应用程序的可扩展无人机软件设计。这极大地转移了无人机软件技术的重点,在这些软件中,精细化的支持仅限于硬件驱动程序和机器人控制,OS/VM支持是原始的,高级应用编程接口是最低限度的。由此产生的基础设施将促进无人机系统的全栈可扩展性、便携性、资源感知和应用友好性。该基础设施将使来自非无人机特定领域的研究人员能够在平台上进行研究。基础设施将影响跨越航空电子、机器人、实时系统、编程语言和软件工程领域的研究人员。拟议基础设施的其他受益者包括学生和无人机用户。该奖项下开发的技术将为无人机教育领域的博士生、硕士生和高级本科生提供培训和研究机会。无人机、机器人和航空对K-12的学生来说既有趣又令人兴奋。这个项目中的文物将为学生的外出活动量身定做。这个奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
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.
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
JCopter: Reliable UAV Software Through Managed Languages
JCopter:通过托管语言提供可靠的无人机软件
DOI:
10.1109/iros51168.2021.9636617
发表时间:
2021
期刊:
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS
影响因子:
--
作者:
[Czerniejewski, Adam, Burns, John Henry, Ghanei, Farshad, Dantu, Karthik, Liu, Yu David, Ziarek, Lukasz]
通讯作者:
Ziarek, Lukasz
DOI:
10.1145/3561972
发表时间:
2020-06
期刊:
ACM Transactions on Embedded Computing Systems
影响因子:
2
作者:
[Ali J. Ben Ali-Ali-J.-Ben-Ali-46653644;Z. S. Hashemifar;Karthik Dantu]
通讯作者:
Ali J. Ben Ali-Ali-J.-Ben-Ali-46653644;Z. S. Hashemifar;Karthik Dantu
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
Collaborative Research: SHF: Medium: Integrated Verification of IoT and Real-time Communication Protocols
-
批准号:2211997
-
项目类别:Standard Grant
-
资助金额:$57.18万
-
财政年份:2022
-
负责人:Lukasz Ziarek
-
依托单位:
CAREER: Enabling Adaptable, Object Oriented, Real-time Systems
-
批准号:1749539
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Lukasz Ziarek
-
依托单位:
II-NEW: Collaborative Research: An Extensible Software Infrastructure for Unmanned Aerial Vehicles
-
批准号:1513006
-
项目类别:Standard Grant
-
资助金额:$4.23万
-
财政年份:2015
-
负责人:Lukasz Ziarek
-
依托单位:
II-EN: Collaborative Research: Positioning MLton for Next-Generation Programming Languages Research
-
批准号:1405614
-
项目类别:Standard Grant
-
资助金额:$38.16万
-
财政年份:2014
-
负责人:Lukasz Ziarek
-
依托单位:
国内基金
海外基金
登录
查看更多内容
醒脑静多靶点调控PI3K/Akt通路抑制CI/RI氧化应激—基于网络药理学及体内、外实验研究
-
批准号:2025JJ90117
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:李秋云
-
依托单位:
脱氧胆酸经TGR5/mTORC1途径调控小胶质细胞脂噬促进 T2DM-CI的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:
-
依托单位:
基于“免疫-神经”网络探讨眼针活化CI/RI大鼠MC靶向H3R调节“免疫监视”的抗炎机制
-
批准号:82374375
-
项目类别:面上项目
-
资助金额:51万元
-
批准年份:2023
-
负责人:马贤德
-
依托单位:
通过单细胞转录组测序揭示Wolbachia诱导果蝇CI的分子机制
-
批准号:32170497
-
项目类别:面上项目
-
资助金额:58万元
-
批准年份:2021
-
负责人:孙宝发
-
依托单位:
ci-Eln促进亲本基因Eln介导的缺氧肺动脉平滑肌细胞增殖的机制研究
-
批准号:82100066
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:郝雪微
-
依托单位:
森林垂直分层LAI和CI时空变异特征、LiDAR遥感反演与验证研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:59万元
-
批准年份:2021
-
负责人:方红亮
-
依托单位:
CI 994对SLC25A46相关线粒体病的治疗及机制研究
-
批准号:82001449
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:羊蠡
-
依托单位:
近邻星系中[CI]线作为新分子气体质量探针的观测研究
-
批准号:12003070
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:焦倩
-
依托单位:
lncRNA343/miR-509-3p/STC1轴在CI-AKI肾小管上皮细胞线粒体质量控制失衡中的作用与机制
-
批准号:81873607
-
项目类别:面上项目
-
资助金额:57.0万元
-
批准年份:2018
-
负责人:段绍斌
-
依托单位:
α2肾上腺素受体活化促ESCRT-III膜聚集在肾CI/RI致肺程序性坏死中的机制研究
-
批准号:81801900
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2018
-
负责人:陈倩
-
依托单位: