自主系统的可靠性工程是计算机科学中日益重要且快速发展的领域。随着自动驾驶、智能机器人、无人机等自主系统在社会各领域的广泛应用，如何确保这些系统在复杂、不确定的环境下安全、可靠地运行，已成为学术界和工业界共同关注的焦点问题。2024年6月10日至14日，荷兰莱顿的洛伦兹中心举办了名为“工程化可靠自主系统”（Engineering Reliable Autonomous Systems, ERAS）的专题研讨会，旨在深入探讨这一领域的关键挑战与潜在解决方案。
此次研讨会由形式化方法自主系统研讨会（FMAS）与可靠工程化自主智能体与机器人研讨会（AREA）的组织者联合策划，汇聚了来自全球学术界、工业界以及特殊行业（如航空航天、医疗、交通运输等）的专家学者。与会者包括形式化方法、人工智能、机器人学、软件工程等多个学科的研究人员，以及来自工程一线的实践者。会议的核心议题围绕三大方向展开：自主系统的验证与确认技术、实际自主系统的工程化方法，以及安全自主系统的软件架构设计。
经过密集的讨论与交流，研讨会形成了一项重要成果：一份详尽的挑战目录及其对应的解决方案路线图。该路线图指出，部分挑战（如模型检测、运行时验证、形式化规范等）在学术界已有成熟的理论基础，但尚未在工业实践中得到常规化应用；而其他挑战，如处理环境不确定性、保证人机交互的安全性、以及实现跨领域的可移植性等，则仍属未解难题，亟需进一步的基础研究。这份路线图旨在为未来的研究方向和产业合作提供指导，推动自主系统从理论原型走向可靠的实际部署。
研讨会的组织者强调，自主系统的可靠性不仅仅是一个技术问题，更涉及标准化、认证流程以及行业规范。因此，路线图不仅涵盖了技术层面的改进，还提出了在政策、教育以及跨学科协作方面的建议。例如，建议建立开源验证工具集、制定自主系统安全评估的通用框架，以及推动大学与企业间的人才交流计划。
本次研讨会的成果以技术报告的形式发布，并已在arXiv上公开（编号：2606.23760）。报告由玛莉·法雷尔等30位作者共同撰写，涵盖了机器人学、人工智能、多智能体系统以及软件工程等多个子领域的交叉内容。对于那些致力于构建可靠自主系统的工程师和研究者来说，这份报告提供了宝贵的参考资料和行动指南。