近年、航空機電動化をはじめ、近距離コミュータやドローンの設計・開発が活発になっています。この電動化の流れは、装備品メーカーにとっては新規参入のチャンスだと言えます。しかし、新規参入の高い障壁となり得るのが、認証への対応ではないでしょうか。現在、航空機電動化は、先行研究の段階にあります。先行研究の段階では、認証を意識する必要はないとお考えになるかもしれませんが、先行研究の段階から認証に対応可能なツールを用いることで、量産設計への移行や認証への対応がスピーディかつスムーズに実行されるものと思います。また、ツールの導入だけではなく、認証プロセスの構築も重要になります。

　本セミナーでは、電動化された航空機や航空機装備品を設計・開発するという段階から、認証に対応したツールを使うことによるソフトウェア開発や仕様検討におけるメリット、システムシミュレーションを用いた検討手法についてご紹介します。特に、DO-178C/DO-331に対応したソフトウェア開発におこける、形式モデルと形式検証を用いた設計開発手法についてご説明します。さらに、システムシミュレーションとSearch Based Testingを活用した発見的手法についてもご紹介します。

プログラム・講演内容(予定)

※スケジュールは予告なく変更になる場合がございます。何卒ご了承賜わりますようお願い申し上げます。