ADASからHADへ: ロケーションテクノロジーとeホライズン、プラットフォーム機能の自動化に向けた信頼の構築 (英語)