国立情報学研究所 総合スレッド (50ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
45: 2022/07/14(木)13:48 ID:ipsh/n7z0(1/3) AAS
このスレもう書けない？
46: 2022/07/14(木)13:50 ID:ipsh/n7z0(2/3) AAS
国立情報学研究所、自動運転車の安全性を数学的に証明する手法を開発
リンク貼りは禁止かよ、腐った板だなあ
47: 2022/07/14(木)13:52 ID:ipsh/n7z0(3/3) AAS
全文や図は自力で検索せよ
＞情報・システム研究機構 国立情報学研究所（以下：NII）の蓮尾一郎教授らは、車の自動運転システムの安全性に強い数学的保証を与える技術と基礎理論を明示した。
＞自動運転のような複雑なシステムの安全性を数学的に証明することは一般的に困難だが、RSSは交通安全のためのルールを数式で書き表すことによって、自動運転車の安全性を数学的に証明するという。RSSで示した論理的安全ルールは、メーカー・車種問わず、国際規格や業界標準・交通法規として活用できるため、自動運転の社会受容を大きく加速すると期待されている。
＞RSSは技術的な基盤が発達しておらず、単純な運転シナリオに対する衝突回避のみをターゲットとしていたが、新たな拡張であるGA-RSSを提案した。GA-RSSは、dFHL（differential Floyd-Hoare logic、微分フロイド・ホーア論理）を提案し、論理的安全ルールの導出ワークフローとソフトウェアサポートを設計・実装。「車との衝突を回避しながら安全な地点で非常停止する」といった目標のある複雑な運転シナリオに対しても、論理的安全ルールを策定し、正しさを証明できたという。
＞GA-RSSは、産業界での安全性保証の取り組みや国際規格策定に向けた動きに大きく貢献できると確信したという。GA-RSSの活用で、RSSの考え方が広く適用できるようになり、自動運転の様々な状況下での安全性に数学的証明ができれば、自動運転に対する不安を払拭でき、社会普及と産業発展へ向けた大きな弾みになるとしている。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.006s