民間航空機搭載用ソフトウェア開発で国内初のFAA認証取得審査に合格