{"links":{},"id":2004821,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:02004821","sets":["934:1119:1747204337269:1757990427474"]},"path":["1757990427474"],"owner":"80578","recid":"2004821","title":["Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2025-10-17"},"_buckets":{"deposit":"c0371add-d1fb-43eb-8344-3a1fd8886487"},"_deposit":{"id":"2004821","pid":{"type":"depid","value":"2004821","revision_id":0},"owners":[80578],"status":"published","created_by":80578},"item_title":"Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm","author_link":[],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm","subitem_title_language":"ja"},{"subitem_title":"Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"leader election, formal verification, redundancy, autonomous driving","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2025-10-17","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"TIER IV, Inc."},{"subitem_text_value":"TIER IV, Inc."},{"subitem_text_value":"TIER IV, Inc."},{"subitem_text_value":"TIER IV, Inc."},{"subitem_text_value":"TIER IV, Inc."}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"TIER IV, Inc.","subitem_text_language":"en"},{"subitem_text_value":"TIER IV, Inc.","subitem_text_language":"en"},{"subitem_text_value":"TIER IV, Inc.","subitem_text_language":"en"},{"subitem_text_value":"TIER IV, Inc.","subitem_text_language":"en"},{"subitem_text_value":"TIER IV, Inc.","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/2004821/files/IPSJ-TACS1802002.pdf","label":"IPSJ-TACS1802002.pdf"},"date":[{"dateType":"Available","dateValue":"2027-10-17"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TACS1802002.pdf","filesize":[{"value":"988.4 KB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"16"},{"tax":["include_tax"],"price":"0","billingrole":"11"},{"tax":["include_tax"],"price":"0","billingrole":"14"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"cd8d4f46-01dd-444c-b1c4-25586e95e9c7","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2025 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Ryuta,Kambe"}]},{"creatorNames":[{"creatorName":"Makoto,Kurihara"}]},{"creatorNames":[{"creatorName":"Tetsuhiro,Kawaguchi"}]},{"creatorNames":[{"creatorName":"Ryohei,Kawabuchi"}]},{"creatorNames":[{"creatorName":"Yuuki,Takano"}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Ryuta Kambe","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"Makoto Kurihara","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"Tetsuhiro Kawaguchi","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"Ryohei Kawabuchi","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"Yuuki Takano","creatorNameLang":"en"}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11833852","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7829","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"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.\n------------------------------\nThis is a preprint of an article intended for publication Journal of\nInformation Processing(JIP). This preprint should not be cited. This\narticle should be cited as: Journal of Information Processing Vol.33(2025) (online)\n------------------------------","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.\n------------------------------\nThis is a preprint of an article intended for publication Journal of\nInformation Processing(JIP). This preprint should not be cited. This\narticle should be cited as: Journal of Information Processing Vol.33(2025) (online)\n------------------------------","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌コンピューティングシステム（ACS）"}],"bibliographicIssueDates":{"bibliographicIssueDate":"2025-10-17","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicVolumeNumber":"18"}]},"relation_version_is_last":true,"weko_creator_id":"80578"},"created":"2025-10-14T07:36:26.270091+00:00","updated":"2025-10-24T08:24:45.701658+00:00"}