信頼性の高い自律システムの工学研究は、コンピュータサイエンスにおいて重要かつ成長中のトピックです。自動運転、スマートロボット、ドローンなどの自律システムが社会のさまざまな分野で普及するにつれ、複雑で不確実な環境下でも安全かつ確実に動作するシステムを構築するための技術がますます重要になっています。このような背景のもと、2024年6月10日から14日まで、オランダ・ライデンのローレンツセンターで「Engineering Reliable Autonomous Systems (ERAS)」ワークショップが開催されました。本ワークショップは、形式手法と自律システムに関するワークショップ（FMAS）および信頼性のある自律性のためのエージェントとロボットワークショップ（AREA）の主催者らによって共同企画され、学界、産業界、そして航空宇宙、医療、交通など自律システムが特有の工学的課題をもたらす分野の代表者が一堂に会しました。
ワークショップでは、三つの主要な研究トピックに焦点が当てられました。第一に、自律システムの検証と妥当性確認の技術、第二に、実世界の自律システムの工学的実現、第三に、安全な自律システムのためのソフトウェアアーキテクチャです。参加者はこれらの分野における既存の課題を洗い出し、優先順位を付けて議論しました。その成果として、課題のカタログと、それらに対する解決策へのロードマップが作成されました。ロードマップによれば、一部の課題（モデル検査、実行時検証、形式仕様記述など）は学界では十分に研究されているものの、産業界ではまだ日常的に活用されていません。一方、環境の不確実性への対処、人間と機械のインタラクションの安全性保証、分野横断的な移植性の確保など、未解決の課題も多く、さらなる基礎研究が必要です。
このロードマップは、今後の研究と産業協力を促進することを目的としており、技術的側面だけでなく、標準化、認証プロセス、教育、政策提言なども含まれています。例えば、オープンソースの検証ツール群の構築、自律システムの安全性評価のための共通フレームワークの策定、大学と企業間の人材交流プログラムの推進などが提案されています。ワークショップの成果は技術報告書としてまとめられ、arXiv（識別番号：2606.23760）で公開されています。本報告書は、30名の著者（筆頭著者はMarie Farrell）により執筆され、ロボティクス、人工知能、マルチエージェントシステム、ソフトウェア工学の各分野にまたがる内容です。信頼性の高い自律システムの構築に取り組むエンジニアや研究者にとって、貴重な指針となるでしょう。