核心概念
オントロジーを使用して、自動運転システムの行動仕様を正式に表現し、指定された行動と利害関係者のニーズの間の追跡可能性を確立する。
要約
本論文では、自動運転車の行動仕様を明示的に文書化するためのオントロジーベースのアプローチである「Semantic Norm Behavior Analysis」を提案する。
このアプローチでは、まず、関連するステークホルダーのニーズを分析し、それらを正式な行動関連ステークホルダー要件に統合する。次に、これらの要件を、オペレーティング環境の一貫した表現と組み合わせて、目標行動を定義する。
オントロジーを使用して、指定された行動と考慮されたステークホルダーのニーズの間の追跡可能性を確立する。さらに、ロジックプログラミングルールを使用して、オントロジーを補完し、行動仕様の一貫性を検証する。
最終的な成果物は、目標行動を正式に表現するオントロジーと、指定された行動を支持する根拠の文書化である。
統計
自動運転車は、安全で、道路規則に準拠し、ユーザーに移動手段を提供することが期待されている。
自動運転システムの開発者は、システムの意図した機能の安全性を確保するために、行動仕様を明示的に文書化する必要がある。
引用
「自動運転車の行動を指定することは、運転手支援システムと運転手の間の安全な相互作用を確保することから、自動運転車と周辺交通の間の安全な行動を確保することへとシフトする必要がある。」
「行動仕様には、仮定と折衷点の必要性が常に含まれる。その結果、そのような行動仕様の不備が、潜在的に安全でない システム行動につながる可能性がある。」