Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm

• Item type: Trans(1)
• 公開日: 2025-10-17
• タイトル / 言語: ja
• タイトル: Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm
• タイトル / 言語: en
• タイトル: Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: leader election, formal verification, redundancy, autonomous driving
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: TIER IV, Inc.
• 著者所属: TIER IV, Inc.
• 著者所属: TIER IV, Inc.
• 著者所属: TIER IV, Inc.
• 著者所属: TIER IV, Inc.
• 著者所属(英): en
• 著者所属(英): TIER IV, Inc.
• 著者所属(英): en
• 著者所属(英): TIER IV, Inc.
• 著者所属(英): en
• 著者所属(英): TIER IV, Inc.
• 著者所属(英): en
• 著者所属(英): TIER IV, Inc.
• 著者所属(英): en
• 著者所属(英): TIER IV, Inc.
• 著者名: Ryuta,Kambe; Makoto,Kurihara; Tetsuhiro,Kawaguchi; Ryohei,Kawabuchi; Yuuki,Takano
• 著者名(英): Ryuta Kambe; Makoto Kurihara; Tetsuhiro Kawaguchi; Ryohei Kawabuchi; Yuuki Takano
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Fault tolerance in autonomous driving systems is important for ensuring safe operation even under hazardous conditions, and is therefore a key consideration for deployment. In an autonomous driving system with redundant devices, it is necessary to maintain consistency across the system regarding which devices should handle processing at any given time. This paper introduces a new leader election algorithm tailored for autonomous driving systems and proposes a redundant system architecture that leverages this algorithm. To ensure practicality in autonomous driving scenarios, the algorithm is designed to handle any single failure, including network link crashes. Given the safety-critical nature of the environment and the inherent challenges in testing distributed algorithms, formal verification methods were employed to ensure both safety and liveness. In designing the redundant system, we propose a mechanism that enables safe stopping, even under constraints of limited computational resources. Experimental results show that the leader election algorithm operates within reasonable time frames in a simulated environment, and that the proposed redundant autonomous driving system successfully achieves in-lane stopping in scenarios requiring safe stops, such as navigating curved road segments.; ------------------------------; This is a preprint of an article intended for publication Journal of; Information Processing(JIP). This preprint should not be cited. This; article should be cited as: Journal of Information Processing Vol.33(2025) (online); ------------------------------
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Fault tolerance in autonomous driving systems is important for ensuring safe operation even under hazardous conditions, and is therefore a key consideration for deployment. In an autonomous driving system with redundant devices, it is necessary to maintain consistency across the system regarding which devices should handle processing at any given time. This paper introduces a new leader election algorithm tailored for autonomous driving systems and proposes a redundant system architecture that leverages this algorithm. To ensure practicality in autonomous driving scenarios, the algorithm is designed to handle any single failure, including network link crashes. Given the safety-critical nature of the environment and the inherent challenges in testing distributed algorithms, formal verification methods were employed to ensure both safety and liveness. In designing the redundant system, we propose a mechanism that enables safe stopping, even under constraints of limited computational resources. Experimental results show that the leader election algorithm operates within reasonable time frames in a simulated environment, and that the proposed redundant autonomous driving system successfully achieves in-lane stopping in scenarios requiring safe stops, such as navigating curved road segments.; ------------------------------; This is a preprint of an article intended for publication Journal of; Information Processing(JIP). This preprint should not be cited. This; article should be cited as: Journal of Information Processing Vol.33(2025) (online); ------------------------------
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11833852
• 書誌情報: 情報処理学会論文誌コンピューティングシステム（ACS）; 巻 18, 号 2, 発行日 2025-10-17
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7829
• 出版者 / 言語: ja
• 出版者: 情報処理学会