Workshop on Software Engineering for Robotics Systems (SE4Robotics)

机器人系统软件工程研讨会(SE4Robotics)

基本信息

  • 批准号:
    2332991
  • 负责人:
  • 金额:
    $ 6.25万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2023
  • 资助国家:
    美国
  • 起止时间:
    2023-07-15 至 2024-06-30
  • 项目状态:
    已结题

项目摘要

This grant supports a workshop on Software Engineering for Robotics (SE4Robotics), which will take place in Detroit in early October, co-located with the International Conference on Intelligent Robots and Systems (IROS 2023). The workshop's purpose is to bring together two communities – Robotics and Software Engineering – to discuss how Software Engineering R&D can be taken into account for Robotics. Software Engineering advances the ability to develop, test and debug software, prove properties of software to verify correctness, automate code understanding, architect systems so that they are modular and maintainable, produce product lines, etc. New programming languages and tool chains may be needed to implement these advances.The field of Robotics is rapidly increasing as an economic sector, making the software engineering issues a paramount concern as robot software becomes increasingly ubiquitous. It is important to take advantage of years of software engineering algorithm development, techniques and tools, platforms, open source ecosystems, and studies of theoretical and practical limitations, rather than have the field of Robotics treat the software engineering issues afresh. Conversely, Robotics software will push the limits of current software engineering capabilities due to the special nature of the field, due to requirements such as uncertainly, new notions of system state, integration of cyber and physical components, real-time needs, and so on. The result of the workshop will be a report outlining an R&D roadmap.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.
这笔赠款支持机器人软件工程(SE 4 Robotics)研讨会,该研讨会将于10月初在底特律举行,与智能机器人和系统国际会议(IROS 2023)共同举办。 该研讨会的目的是将两个社区-机器人和软件工程-聚集在一起,讨论如何将软件工程研发纳入机器人。软件工程提高了开发、测试和调试软件的能力,证明软件的属性以验证正确性,自动化代码理解,架构系统以使其模块化和可维护,生产产品线等。可能需要新的编程语言和工具链来实现这些进步。机器人领域作为一个经济部门正在迅速增长,随着机器人软件变得越来越普遍,使得软件工程问题成为最重要的关注点。重要的是要利用多年的软件工程算法开发,技术和工具,平台,开源生态系统以及理论和实践限制的研究,而不是让机器人领域重新处理软件工程问题。相反,由于该领域的特殊性质,由于诸如不确定性、系统状态的新概念、网络和物理组件的集成、实时需求等要求,机器人软件将推动当前软件工程能力的极限。研讨会的结果将是一份概述&研发路线图的报告。该奖项反映了NSF的法定使命,并被认为值得通过以下方式获得支持:使用基金会的知识价值和更广泛的影响审查标准进行评估。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Sebastian Elbaum其他文献

The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs
  • DOI:
    10.1016/j.scico.2024.103252
  • 发表时间:
    2025-05-01
  • 期刊:
  • 影响因子:
  • 作者:
    Trey Woodlief;Felipe Toledo;Sebastian Elbaum;Matthew B. Dwyer
  • 通讯作者:
    Matthew B. Dwyer
Experimental program analysis
  • DOI:
    10.1016/j.infsof.2009.10.002
  • 发表时间:
    2010-04-01
  • 期刊:
  • 影响因子:
  • 作者:
    Joseph R. Ruthruff;Sebastian Elbaum;Gregg Rothermel
  • 通讯作者:
    Gregg Rothermel

Sebastian Elbaum的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Sebastian Elbaum', 18)}}的其他基金

SHF: Medium: More Reliable Image Networks through Scene-based Specification, Neuro-symbolic Training, and Systematic Specification-driven Testing
SHF:中:通过基于场景的规范、神经符号训练和系统规范驱动测试实现更可靠的图像网络
  • 批准号:
    2312487
  • 财政年份:
    2023
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
NRI: INT: COLLAB: Raining Drones: Mid-Air Release & Recovery of Atmospheric Sensing Systems
NRI:INT:协作:无人机下雨:空中发布
  • 批准号:
    1924777
  • 财政年份:
    2019
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
SHF:Small: Holistic Analysis: integrating the semantics of the world and the code
SHF:Small:整体分析:整合世界语义和代码
  • 批准号:
    1853374
  • 财政年份:
    2018
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
SHF:Small: Holistic Analysis: integrating the semantics of the world and the code
SHF:Small:整体分析:整合世界语义和代码
  • 批准号:
    1718040
  • 财政年份:
    2017
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
SHF: Small:Testing in the Presence of Continuous Change
SHF:小:在持续变化的情况下进行测试
  • 批准号:
    1526652
  • 财政年份:
    2015
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
SHF: Small: Solving the Search for Relevant Code in Large Repositories with Lightweight Specifications
SHF:小:用轻量级规范解决大型存储库中相关代码的搜索
  • 批准号:
    1218265
  • 财政年份:
    2012
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
SHF: Small: T2T: A Framework for Amplifying Testing Resources
SHF:小型:T2T:扩大测试资源的框架
  • 批准号:
    0915526
  • 财政年份:
    2009
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
CAREER: Leveraging Field Data to Test Highly-Configurable and Rapidly-Evolving Pervasive Systems
职业:利用现场数据测试高度可配置且快速发展的普及系统
  • 批准号:
    0347518
  • 财政年份:
    2004
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
ITR: Collaborative Research: Dependable End-User Software
ITR:协作研究:可靠的最终用户软件
  • 批准号:
    0324861
  • 财政年份:
    2003
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Continuing Grant
ITR: Collaborative Research: A New Generation of Scalable, Cost-Effective Regression Testing Techniques
ITR:协作研究:新一代可扩展、经济高效的回归测试技术
  • 批准号:
    0080898
  • 财政年份:
    2000
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Continuing Grant

相似海外基金

Travel: NSF Student and Researcher Travel and Registration Grant for 2023 NITRD/SEI Workshop on US Leadership in Software Engineering and AI Engineering
旅费:NSF 学生和研究人员旅费和注册资助 2023 年 NITRD/SEI 美国软件工程和人工智能工程领导力研讨会
  • 批准号:
    2330370
  • 财政年份:
    2023
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
Workshop on Deep Learning and Software Engineering
深度学习与软件工程研讨会
  • 批准号:
    1945999
  • 财政年份:
    2019
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
ENCS Faculty Software Engineering Research Center - Industry Connect Workshop
ENCS教师软件工程研究中心-行业连接研讨会
  • 批准号:
    511835-2017
  • 财政年份:
    2017
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Connect Grants Level 2
Workshop: Engineering Research Communication 2020 - Data and Software Curation and the Relationship to Reproducible Research. November 5,6, 2016, Washington D.C.
研讨会:2020 年工程研究交流 - 数据和软件管理以及与可重复研究的关系。
  • 批准号:
    1641014
  • 财政年份:
    2016
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
Interdisciplinary Workshop on Statistical Natural Language Processing Methods for Software Engineering
软件工程统计自然语言处理方法跨学科研讨会
  • 批准号:
    1551318
  • 财政年份:
    2015
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
Inter-agency Workshop for Computational Science & Engineering Software Sustainability and Productivity Challenges (CSESSP Challenges)
计算科学机构间研讨会
  • 批准号:
    1551592
  • 财政年份:
    2015
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
Travel Grant to Support Participation in the 2013 International Workshop on Software Engineering for Computational Science and Engineering
支持参加 2013 年计算科学与工程软件工程国际研讨会的旅费补助
  • 批准号:
    1321448
  • 财政年份:
    2013
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
NSF Workshop on Software Development Environment for Science & Engineering Applications
NSF 科学软件开发环境研讨会
  • 批准号:
    1048964
  • 财政年份:
    2010
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
Workshop: International Conference on Software Engineering 2009: Student Travel Support
研讨会:2009 年软件工程国际会议:学生旅行支持
  • 批准号:
    0840392
  • 财政年份:
    2008
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
US-Europe Cooperative Workshop: Compatability and Integration of Software Engineering Tools
美欧合作研讨会:软件工程工具的兼容性与集成
  • 批准号:
    0437281
  • 财政年份:
    2004
  • 资助金额:
    $ 6.25万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了