梳理自控系统可靠性工程挑战与解决方案路径
Engineering Reliable Autonomous Systems: Challenges and Solutions
- 聚焦验证、实操工程与安全架构三方面挑战
- 提出已知学术技术落地应用的可行方案
- 适合研究者与工业界协同推进自控系统研发
工程化可靠自主系统是计算机科学中的重要且日益增长的议题。随着自主系统愈发普及，开发高效可靠的构建方法变得愈发关键。本文基于2024年6月10日至14日在洛伦兹中心举办的‘工程可靠自主系统’（ERAS）研讨会，整合并扩展了该会议讨论内容。本次研讨会由形式化方法于自主系统工作坊（FMAS）与可靠工程自主代理及机器人工作坊（AREA）联合组织，汇聚了两社区成员、产业实践者及在自主系统具独特工程挑战领域的代表。研讨聚焦三大主题：自主系统验证与确认技术；真实世界中自主系统的工程实现；安全的软件架构设计。主要成果包括三领域挑战清单及解决路径图。部分挑战已有成熟学术方法可解但尚未广泛应用于实践；其余仍需深入研究。该路线图为未来研究与产学研合作提供指引。
原文摘要 · Abstract (English)
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them reliably are increasingly important. This workshop report captures and expands on the discussions at the Lorentz Center Workshop "Engineering Reliable Autonomous Systems" (ERAS), held from 10 to 14 June 2024. The workshop was co-organised by the organisers of the Workshop on Formal Methods for Autonomous Systems (FMAS) and the Workshop on Agents and Robots for reliable Engineered Autonomy (AREA). It brought together members of the FMAS and AREA communities, industry practitioners, and representatives from sectors where autonomous systems pose distinctive engineering challenges. The workshop focused on three main research topics: techniques for verification and validation of autonomous systems; engineering real-world autonomous systems; and software architectures for safe autonomous systems. Its main outcome is a catalogue of challenges in these areas and, most importantly, a pathway to solutions. Some challenges can already be tackled by techniques that are well known in academia but have not yet become regularly used in practice. Other challenges remain unresolved and require further research. This roadmap is intended to support future research and industrial collaboration.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。