講師からのメッセージ

航空機に限らず電動化は多くの分野で急速に進んでおり、同時に安全規格への対応も求められるようになってきました。本セミナーでは、航空機の電動化を例に、効率的にソフトウェアを開発するための手法として、形式検証とシステムシミュレーションを用いた検証方法をご紹介します。これらの手法は、他分野でも活用できると思いますので多くのお客様のご参加お待ちしています。