Workshop on Software Engineering for Robotics Systems (SE4Robotics)

这笔拨款支持机器人软件工程研讨会（SE4Robotics），该研讨会将于10月初在底特律举行，与智能机器人和系统国际会议（IROS 2023）同地举行。研讨会的目的是将两个社区——机器人技术和软件工程——聚集在一起，讨论如何将软件工程研发纳入机器人技术。软件工程提高了开发、测试和调试软件的能力，证明软件的属性以验证正确性，自动化代码理解，架构系统以使其模块化和可维护，生产产品线等。可能需要新的编程语言和工具链来实现这些进步。机器人技术领域作为一个经济部门正在迅速增长，随着机器人软件变得越来越普遍，软件工程问题成为人们最关心的问题。重要的是利用多年来软件工程算法开发、技术和工具、平台、开源生态系统以及对理论和实践限制的研究，而不是让机器人领域重新处理软件工程问题。相反，由于该领域的特殊性，由于诸如不确定性、系统状态的新概念、网络和物理组件的集成、实时需求等要求，机器人软件将推动当前软件工程能力的极限。研讨会的结果将是一份概述研发路线图的报告。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

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.