未来戦闘航空システム開発において、厳格な安全認証要件への適合を支援（関連情報）：組み込み採用事例