自律システムの信頼性確保は、コンピュータサイエンス分野における重要かつ急速に拡大している課題である。自律システムがより一般的になるにつれて、それらを確実に構築するための使いやすい技術の重要性が高まっている。 本報告書は、2024年6月10日から14日にロレンツセンターで開催された「Engineering Reliable Autonomous Systems（ERAS）」ワークショップでの議論を記録し、さらに拡張したものである。このワークショップは、Formal Methods for Autonomous Systems（FMAS）ワークショップと Agents and Robots for reliable Engineered Autonomy（AREA）ワークショップの主催者により共同で組織された。FMASおよびAREAコミュニティのメンバー、業界実務者、ならびに自律システムが特徴的なエンジニアリング課題をもたらす分野の代表者を一堂に集めた。 ワークショップは三つの主要な研究テーマに焦点を当てた。すなわち、自律システムの検証および妥当性確認の技術、実世界の自律システムのエンジニアリング、そして安全な自律システムのソフトウェアアーキテクチャである。ワークショップの主要な成果は、これらの領域における課題カタログの作成と、最も重要なことに解決策への道筋の提示である。学界では既に確立された技術のうち、実務にはまだ定期的に採用されていない手法で対処可能な課題も多い一方で、まだ未解決のままで、さらなる研究が必要とされる課題も残されている。本ロードマップは、将来の研究と産学協働を支援することを意図している。